BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
base (338)
softwar (325)
design (313)
model (308)
support (258)

Stem tool$ (all stems)

2898 papers:

CASECASE-2015-ChenHLL #development #ontology #tool support
Development of a Hybrid-Cloud-based Wheel-Manufacturing Service with Ontology inference for machine tools (CCC, MHH, YCL, PYL), pp. 1440–1445.
CASECASE-2015-FrigerioSM #energy #programming #tool support
Dynamic programming for energy control of machine tools in manufacturing (NF, JGS, AM), pp. 39–44.
CASECASE-2015-HaufMPF #energy #modelling
Energy consumption modeling within the virtual commissioning tool chain (DH, DM, P, JF), pp. 1357–1362.
CASECASE-2015-LiangSQLY #agile #assessment #development #using
Criteria for lean practice selection: Development an assessment tool using the rooted arborescence (YL, SS, LQ, YL, GY), pp. 237–242.
CASECASE-2015-LinHWC #development #multitenancy #novel #tool support
Development of a novel cloud-based multi-tenant model creation scheme for machine tools (YCL, MHH, CFW, FTC), pp. 1448–1449.
CASECASE-2015-LinYCLL #constraints #scheduling
A master-axis-based feedrate scheduling with jerk constraints for five-axis tool center point trajectory (MTL, NTY, WTC, CYL, YML), pp. 111–116.
CASECASE-2015-LiYTC #architecture #fault
Extracting relevant features for diagnosing machine tool faults in cloud architecture (YYL, HCY, HT, FTC), pp. 1434–1439.
CASECASE-2015-PanZQ #clustering #how #process #tool support
How to start-up dual-arm cluster tools involving a wafer revisiting process (CP, MZ, YQ), pp. 1194–1199.
CASECASE-2015-SchafaschekQC #clustering #composition #scheduling #tool support
Local modular supervisory control applied to the scheduling of cluster tools (GS, MHdQ, JERC), pp. 1381–1388.
CASECASE-2015-TiengYC #precise #tool support
Total precision inspection of machine tools with virtual metrology (HT, HCY, FTC), pp. 1446–1447.
CASECASE-2015-ZafarKSMJA #health #monitoring #process #using
Tool health monitoring for wood milling process using airborne acoustic emission (TZ, KK, ZS, SM, AJ, UA), pp. 1521–1526.
CASECASE-2015-ZhuQZ #clustering #modelling #multi #petri net #scheduling #tool support
Petri net modeling and one-wafer scheduling of single-arm tree-like multi-cluster tools (QZ, YQ, MZ), pp. 292–297.
DACDAC-2015-SztipanovitsBNK #cyber-physical #design #lessons learnt
Design tool chain for cyber-physical systems: lessons learned (JS, TB, SN, XDK, EKJ), p. 6.
DACDAC-2015-WangR #design #tool support
Design tools for oscillator-based computing systems (TW, JR), p. 6.
DATEDATE-2015-AfacanBPDB #hybrid #monte carlo
A hybrid Quasi Monte Carlo method for yield aware analog circuit sizing tool (EA, GB, AEP, GD, IFB), pp. 1225–1228.
DATEDATE-2015-BillointSRVBFRC #2d #3d #design #using
A comprehensive study of monolithic 3D cell on cell design using commercial 2D tool (OB, HS, IR, MV, PB, CFB, OR, GC, FD, AF, JM, OF, OT, JFC, ST, FC), pp. 1192–1196.
DATEDATE-2015-BrennaBBL #design
A tool for the assisted design of charge redistribution SAR ADCs (SB, AB, AB, ALL), pp. 1265–1268.
DATEDATE-2015-PorembaMLVX #3d #modelling #named
DESTINY: a tool for modeling emerging 3D NVM and eDRAM caches (MP, SM, DL, JSV, YX), pp. 1543–1546.
DATEDATE-2015-SaifhashemiHBB #equivalence #logic #tool support #using
Logical equivalence checking of asynchronous circuits using commercial tools (AS, HHH, PB, PAB), pp. 1563–1566.
DRRDRR-2015-ChenSWLHI #analysis #dataset #documentation #layout
Ground truth model, tool, and dataset for layout analysis of historical documents (KC, MS, HW, ML, JH, RI), p. 940204.
HTHT-2015-BeckerSLHHS #named #visualisation
VizTrails: An Information Visualization Tool for Exploring Geographic Movement Trajectories (MB, PS, FL, AH, DH, MS), pp. 319–320.
SIGMODSIGMOD-2015-MorcosAIOPS #data transformation #interactive #named
DataXFormer: An Interactive Data Transformation Tool (JM, ZA, IFI, MO, PP, MS), pp. 883–888.
SIGMODSIGMOD-2015-SalihogluSKTW #debugging #named
Graft: A Debugging Tool For Apache Giraph (SS, JS, VK, BQT, JW), pp. 1403–1408.
SIGMODSIGMOD-2015-WangDM #fault
Data X-Ray: A Diagnostic Tool for Data Errors (XW, XLD, AM), pp. 1231–1245.
VLDBVLDB-2015-KoutraJNF #graph #interactive #mining #named #scalability #visualisation
Perseus: An Interactive Large-Scale Graph Mining and Visualization Tool (DK, DJ, YN, CF), pp. 1924–1935.
ITiCSEITiCSE-2015-ChengSH #named #online
TOPT: A Tree-based Online Presentation Tool (YC, JS, JH), p. 342.
ITiCSEITiCSE-2015-GreenbergR #tool support
Tools for Outreach Presentations (RIG, DR), p. 331.
ITiCSEITiCSE-2015-KarpovaDHP #algebra #named #parsing #relational #tool support
RAPT: Relational Algebra Parsing Tools (OK, ND, DH, AP), p. 334.
ITiCSEITiCSE-2015-LiMTMSKW #named #visualisation
VIGvisual: A Visualization Tool for the Vigenère Cipher (CL, JM, JT, JM, CKS, MSK, CW), pp. 129–134.
ITiCSEITiCSE-2015-WangMSLCW #data access #education #named #using #visualisation
RBACvisual: A Visualization Tool for Teaching Access Control using Role-based Access Control (MW, JM, CKS, TL, SC, CW), pp. 141–146.
ITiCSEITiCSE-2015-WangZQS #programming
A TUI-based Programming Tool for Children (DW, LZ, YQ, FS), pp. 219–224.
TACASTACAS-2015-BrazdilCFK #multi #named #synthesis
MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives (TB, KC, VF, AK), pp. 181–187.
TACASTACAS-2015-DemasiCRMA #fault tolerance #named #source code #specification
syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications (RD, PFC, NR, TSEM, NA), pp. 188–193.
TACASTACAS-2015-DuggiralaMVP #modelling #named #verification
C2E2: A Verification Tool for Stateflow Models (PSD, SM, MV, MP), pp. 68–82.
TACASTACAS-2015-Nguyen0TP #bound #c #contest #lazy evaluation #source code
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches — (Competition Contribution) (TLN, BF, SLT, GP), pp. 461–463.
TACASTACAS-2015-Thierry-Mieg #model checking #using
Symbolic Model-Checking Using ITS-Tools (YTM), pp. 231–237.
ICSMEICSME-2015-AggarwalHS #energy #evolution #named
GreenAdvisor: A tool for analyzing the impact of software evolution on energy consumption (KA, AH, ES), pp. 311–320.
ICSMEICSME-2015-JongelingDS #analysis #re-engineering #research #sentiment #tool support
Choosing your weapons: On sentiment analysis tools for software engineering research (RJ, SD, AS), pp. 531–535.
ICSMEICSME-2015-LuciaDGRP #behaviour #design pattern #detection #named
ePadEvo: A tool for the detection of behavioral design patterns (ADL, VD, CG, MR, CP), pp. 327–329.
ICSMEICSME-2015-RomanoS
DUM-Tool (SR, GS), pp. 339–341.
ICSMEICSME-2015-SvajlenkoR #clone detection #detection #tool support
Evaluating clone detection tools with BigCloneBench (JS, CKR), pp. 131–140.
SANERSANER-2015-DamevskiSP #code search #developer #evaluation #metric #scalability #tool support
Scaling up evaluation of code search tools through developer usage metrics (KD, DCS, LLP), pp. 181–190.
SANERSANER-2015-HayashiHMSOM #named #refactoring
Historef: A tool for edit history refactoring (SH, DH, JM, MS, TO, KM), pp. 469–473.
SANERSANER-2015-MondalRS #mining #named #refactoring
SPCP-Miner: A tool for mining code clones that are important for refactoring or tracking (MM, CKR, KAS), pp. 484–488.
SANERSANER-2015-MurakamiHK #named #set #visualisation
ClonePacker: A tool for clone set visualization (HM, YH, SK), pp. 474–478.
SANERSANER-2015-MuskeB #on the #static analysis #tool support
On implementational variations in static analysis tools (TM, PB), pp. 512–515.
SANERSANER-2015-NairJNH #analysis
A static code analysis tool for control system software (SN, RJ, ARN, SHS), pp. 459–463.
SANERSANER-2015-PanichellaAPA #code review #developer #question #static analysis #tool support
Would static analysis tools help developers with code reviews? (SP, VA, MDP, GA), pp. 161–170.
SCAMSCAM-2015-DarizRS #analysis #programmable
A static microcode analysis tool for programmable load drivers (LD, MR, MS), pp. 265–270.
CIAACIAA-2015-BorsottiBCM15a #ambiguity #named #parsing #regular expression
BSP: A Parsing Tool for Ambiguous Regular Expressions (AB, LB, SCR, AM), pp. 313–316.
ICALPICALP-v1-2015-AronovK #algebra #diagrams #tool support
Batched Point Location in SINR Diagrams via Algebraic Tools (BA, MJK), pp. 65–77.
SEFMSEFM-2015-CarvalhoBCCMS #csp #natural language #requirements #testing
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP (GC, FAB, AC, AC, AM, AS), pp. 283–290.
ICGTICGT-2015-LeblebiciAS #graph grammar #multi #tool support
Tool Support for Multi-amalgamated Triple Graph Grammars (EL, AA, AS), pp. 257–265.
CHICHI-2015-AmershiCDLSS #analysis #machine learning #named #performance #tool support
ModelTracker: Redesigning Performance Analysis Tools for Machine Learning (SA, MC, SMD, BL, PYS, JS), pp. 337–346.
CHICHI-2015-BakerML #named
StructJumper: A Tool to Help Blind Programmers Navigate and Understand the Structure of Code (CMB, LRM, REL), pp. 3043–3052.
CHICHI-2015-ChettyKSBFE #data transformation #internet #named
uCap: An Internet Data Management Tool For The Home (MC, HK, SS, SB, NF, WKE), pp. 3093–3102.
CHICHI-2015-JacobsZ #collaboration #design #hybrid #tool support
Hybrid Practice in the Kalahari: Design Collaboration through Digital Tools and Hunter-Gatherer Craft (JJ, AZ), pp. 619–628.
CHICHI-2015-KayPK #bibliography #classification #evaluation #how
How Good is 85%?: A Survey Tool to Connect Classifier Evaluation to Acceptability of Accuracy (MK, SNP, JAK), pp. 347–356.
CHICHI-2015-KuznetsovDWMHP #biology #hybrid #open source #tool support
DIYbio Things: Open Source Biology Tools as Platforms for Hybrid Knowledge Production and Scientific Participation (SK, CD, NW, SM, SEH, EP), pp. 4065–4068.
CHICHI-2015-PlimmerHZKYJBD #interactive #tool support
New Interaction Tools for Preserving an Old Language (BP, LH, TZ, KK, AWY, GJ, RB, EYLD), pp. 3493–3502.
CHICHI-2015-WangGXZYB #interactive #named #privacy #using #visualisation
VeilMe: An Interactive Visualization Tool for Privacy Configuration of Using Personality Traits (YW, LG, AX, MXZ, HY, HB), pp. 817–826.
CSCWCSCW-2015-GonzalesFB #lessons learnt #towards
Towards an Appropriable CSCW Tool Ecology: Lessons from the Greatest International Scavenger Hunt the World Has Ever Seen (JAG, CF, AB), pp. 946–957.
CSCWCSCW-2015-HalbertN #design #interactive #tool support
Designing for Discomfort: Supporting Critical Reflection through Interactive Tools (HH, LPN), pp. 349–360.
CSCWCSCW-2015-TrainerCKH #community #question #what
From Personal Tool to Community Resource: What’s the Extra Work and Who Will Do It? (EHT, CC, AK, JDH), pp. 417–430.
HCIDHM-EH-2015-BordegoniCCC #design #experience #generative
Body Tracking as a Generative Tool for Experience Design (MB, SC, GC, UC), pp. 122–133.
HCIDHM-HM-2015-KikuchiSZTGH #quantifier
Effects of Quantified Instructional Tool on Spray-up Fabrication Method (TK, ES, YZ, YT, AG, HH), pp. 104–113.
HCIDUXU-DD-2015-AsthanaS #modelling #named #testing #usability #using #xml
Maareech: Usability Testing Tool for Voice Response System Using XML Based User Models (SA, PS), pp. 101–112.
HCIDUXU-DD-2015-ChasanidouGL #design #tool support
Design Thinking Methods and Tools for Innovation (DC, AAG, EL), pp. 12–23.
HCIDUXU-DD-2015-OliveiraMMM #analysis #behaviour #design
Scenario Analysis as a Tool for Informing the Design of Behaviour Change Interventions (LCRdO, MCM, VM, AJM), pp. 535–547.
HCIDUXU-IXD-2015-FioriniFASWRL #3d #education #interactive #modelling #simulation #tool support
Three-Dimensional Models and Simulation Tools Enabling Interaction and Immersion in Medical Education (STF, LF, BAdA, JRLdS, HW, ABR, CJPdL), pp. 662–671.
HCIDUXU-UI-2015-Bahr #mobile #prototype #requirements #tool support #towards #user interface
Towards a Requirements Catalogue for Prototyping Tools of Mobile User Interfaces (BB), pp. 495–507.
HCIDUXU-UI-2015-ChammasQM
Children’s Mental Model as a Tool to Provide Innovation in Digital Products (AC, MQ, CRM), pp. 23–33.
HCIDUXU-UI-2015-Chen15b #adaptation #interactive
Adapting Smart Textiles to Develop Soft Interactive Tool Kits for Applying in Sewing Projects (ACYC), pp. 611–621.
HCIHCI-UC-2015-BorsciLBJ #assessment #prototype
Early Prototype Assessment of a New Virtual System for Training Procedural Skills of Automotive Service Operators: LARTE Tool (SB, GL, MB, BJ), pp. 135–143.
HCIHIMI-IKD-2015-ArgyleLG #evaluation #predict
Evaluation of Data Display Methods in a Flash Flood Prediction Tool (EMA, CL, JJG), pp. 15–22.
HCILCT-2015-Alvarez-Montero #bibliography #concept #feedback #perspective #tool support
Feedback in Computer-Based Concept Mapping Tools: A Short Review (FJÁM, HJG, ERR), pp. 187–198.
HCILCT-2015-GonzalezHGS #interactive #learning #student #tool support
Exploring Student Interactions: Learning Analytics Tools for Student Tracking (MÁCG, ÁHG, FJGP, MLSE), pp. 50–61.
HCILCT-2015-SoleimaniGHWG #empirical
CyberPLAYce, A Cyber-Physical-Spatial Storytelling Tool: Results from an Empirical Study with 8-10-Year-Old Storytellers (AS, KEG, DCH, IDW, CGM), pp. 438–446.
ICEISICEIS-v1-2015-AlhammadiSE #knowledge base #migration
A Knowledge based Decision Making Tool to Support Cloud Migration Decision Making (AA, CS, AE), pp. 637–643.
ICEISICEIS-v1-2015-Kozmina #empirical #recommendation
An Empirical Study of Recommendations in OLAP Reporting Tool (NK), pp. 303–312.
ICEISICEIS-v2-2015-CostaMAO #automation #consistency #detection #named #nondeterminism
Fixture — A Tool for Automatic Inconsistencies Detection in Context-aware SPL (PAdSC, FGM, RMdCA, TO), pp. 114–125.
ICEISICEIS-v2-2015-MendesAASNM #evolution #monitoring #named #open source #technical debt #using #visualisation
VisMinerTD — An Open Source Tool to Support the Monitoring of the Technical Debt Evolution using Software Visualization (TSM, DAA, NSRA, ROS, RLN, MGM), pp. 457–462.
ICEISICEIS-v2-2015-MunizNM #functional #modelling #named #statistics #testing
TCG — A Model-based Testing Tool for Functional and Statistical Testing (LLM, USCN, PHMM), pp. 404–411.
ICEISICEIS-v2-2015-PerezNGD #analysis #development #process
A Tool for the Analysis of Change Management Processes in Software Development Cycles (MP, ÁN, HAPG, JCD), pp. 482–485.
ICEISICEIS-v3-2015-BhatRM #architecture #enterprise #evolution #metric #tool support
Tool Support for Analyzing the Evolution of Enterprise Architecture Metrics (MB, TR, FM), pp. 154–161.
ICEISICEIS-v3-2015-LozanoCPA #named #ontology #query
RockQuery — An Ontology-based Data Querying Tool (JL, JLC, MP, MA), pp. 25–33.
ECIRECIR-2015-HienertHWK #analysis #named
WHOSE — A Tool for Whole-Session Analysis in IIR (DH, WvH, AW, DK), pp. 172–183.
RecSysRecSys-2015-KaragiannakisGS #automation #category theory #recommendation
OSMRec Tool for Automatic Recommendation of Categories on Spatial Entities in OpenStreetMap (NK, GG, DS, SA), pp. 337–338.
SEKESEKE-2015-AssuncaoFLSV #automaton #generative #markov #modelling #named #network #predict #probability
SANGE — Stochastic Automata Networks Generator. A tool to efficiently predict events through structured Markovian models (JA, PF, LL, AS, JMV), pp. 581–584.
SEKESEKE-2015-CabrejosVMC #usability #web
Evaluating Software Engineers’ Acceptance of a Technique and Tool for Web Usability Inspection (LJERC, AMRV, JCM, TC), pp. 140–145.
SEKESEKE-2015-FonsecaBF #integration #metric #tool support
Integration of Software Measurement Supporting Tools: A Mapping Study (VSF, MPB, RdAF), pp. 516–521.
SEKESEKE-2015-GoncalvesW #bibliography #education #how #perspective #project management #tool support
How to Teach the Usage of Project Management Tools in Computer Courses: A Systematic Literature Review (RQG, CGvW), pp. 36–41.
SEKESEKE-2015-KchaouBB #modelling #uml
CQV-UML Tool: a tool for managing the impact of change on UML models (DK, NB, HBA), pp. 670–673.
SEKESEKE-2015-LacherWFPNM #behaviour #empirical #metric
A Behavior Marker tool for measurement of the Non-Technical Skills of Software Professionals: An Empirical Investigation (LLL, GSW, FF, MP, KEN, JM), pp. 409–414.
SEKESEKE-2015-LiuH #petri net #pipes and filters #verification
PIPE+Verifier — A Tool for Analyzing High Level Petri Nets (SL, XH), pp. 575–580.
SEKESEKE-2015-TaheriS #agile #classification #development
A Feature-Based Tool-Selection Classification for Agile Software Development (MT, SMS), pp. 700–704.
ECMFAECMFA-2015-BruneliereGDKHB #lightweight #metamodelling #modelling #on the #tool support
On Lightweight Metamodel Extension to Support Modeling Tools Agility (HB, JG, PD, DEK, RH, RB, JC), pp. 62–74.
ECMFAECMFA-2015-SafdarIK #empirical #evaluation #modelling #tool support #uml
Empirical Evaluation of UML Modeling Tools — A Controlled Experiment (SAS, MZI, MUK), pp. 33–44.
MoDELSMoDELS-2015-FoucheNGE #diagrams #generative #modelling #standard #tool support
Systematic generation of standard compliant tool support of diagrammatic modeling languages (AF, FN, SG, ME), pp. 348–357.
OnwardOnward-2015-BarmanBCTBC #interactive #synthesis #tool support #towards
Toward tool support for interactive synthesis (SB, RB, SC, ET, AB, DC), pp. 121–136.
GPCEGPCE-2015-AdamS #domain-specific language #tool support #towards
Towards tool support for spreadsheet-based domain-specific languages (SA, UPS), pp. 95–98.
GPCEGPCE-2015-El-SharkawyKS #analysis #semantics #tool support
Analysing the Kconfig semantics and its analysis tools (SES, AK, KS), pp. 45–54.
GPCEGPCE-2015-RingertRW #behaviour #code generation #tool support
Composing code generators for C&C ADLs with Application-specific behavior languages (tool demonstration) (JOR, BR, AW), pp. 113–116.
SACSAC-2015-DemuthRNHZE #framework #multi #named
DesignSpace: an infrastructure for multi-user/multi-tool engineering (AD, MRE, AN, PH, KZ, AE), pp. 1486–1491.
SACSAC-2015-SilvaBNCS #architecture #design #quality
A decision-making tool to support architectural designs based on quality attributes (ICLS, PHSB, BFdSN, EC, AAS), pp. 1457–1463.
SACSAC-2015-SousaS #domain-specific language #simulation #tool support
A domain specific language for spatial simulation scenarios (DSL3S): introduction and tool support (LdS, ARdS), pp. 1854–1856.
SACSAC-2015-TizzeiABC #architecture #case study #product line #tool support #using
Architecting cloud tools using software product line techniques: an exploratory study (LPT, LGA, MdB, RFGC), pp. 1441–1448.
SACSAC-2015-ZappatoreLB #composition #contract #network #representation
SLA composition in service networks: a tool for representing relationships between SLAs and contracts (MZ, AL, MAB), pp. 1219–1224.
ESEC-FSEESEC-FSE-2015-0002SGBZ #automation #impact analysis #named #natural language #requirements
NARCIA: an automated tool for change impact analysis in natural language requirements (CA, MS, AG, LCB, FZ), pp. 962–965.
ESEC-FSEESEC-FSE-2015-JohnsonPMH #adaptation #concept #developer #tool support
Bespoke tools: adapted to the concepts developers know (BJ, RP, ERMH, SH), pp. 878–881.
ESEC-FSEESEC-FSE-2015-Makihara #named #programming
Pockets: a tool to support exploratory programming for novices and educators (EM), pp. 1066–1068.
ESEC-FSEESEC-FSE-2015-Prasetya #generative #java #named #query #testing
T3i: a tool for generating and querying test suites for Java (ISWBP), pp. 950–953.
ESEC-FSEESEC-FSE-2015-WitscheyZWMMZ #developer #security #tool support
Quantifying developers’ adoption of security tools (JW, OZ, AKW, ERMH, CBM, TZ), pp. 260–271.
ICSEICSE-v1-2015-SmithBZ #exclamation #scalability #tool support
Build It Yourself! Homegrown Tools in a Large Software Company (EKS, CB, TZ), pp. 369–379.
ICSEICSE-v1-2015-VakilianPEJ #named
Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool (MV, AP, MDE, REJ), pp. 234–245.
ICSEICSE-v2-2015-BaoLXWZ #behaviour #developer #interactive #modelling #named #using #video
scvRipper: Video Scraping Tool for Modeling Developers’ Behavior Using Interaction Data (LB, JL, ZX, XW, BZ), pp. 673–676.
ICSEICSE-v2-2015-ChenGSYH #energy #named #performance
StressCloud: A Tool for Analysing Performance and Energy Consumption of Cloud Applications (FC, JCG, JGS, YY, QH), pp. 721–724.
ICSEICSE-v2-2015-FischerLLE #composition
The ECCO Tool: Extraction and Composition for Clone-and-Own (SF, LL, RELH, AE), pp. 665–668.
ICSEICSE-v2-2015-FranksTDH #modelling #named
CACHECA: A Cache Language Model Based Code Suggestion Tool (CF, ZT, PTD, VH), pp. 705–708.
ICSEICSE-v2-2015-Sant #assessment
Code Repurposing as an Assessment Tool (JS), pp. 295–298.
ICSEICSE-v2-2015-Schwartz-Narbonne #c #named #source code
VERMEER: A Tool for Tracing and Explaining Faulty C Programs (DSN, CO, MS, TW), pp. 737–740.
ICSEICSE-v2-2015-TannoZHS #automation #enterprise #generative #modelling #testing #tool support
TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications (HT, XZ, TH, KS), pp. 717–720.
ICSEICSE-v2-2015-VasquezCAP #automation #commit #generative #named
ChangeScribe: A Tool for Automatically Generating Commit Messages (MLV, LFCC, JA, DP), pp. 709–712.
ICSEICSE-v2-2015-VivianTFFS #development #online #visualisation
The Development of a Dashboard Tool for Visualising Online Teamwork Discussions (RV, HT, KEF, NJGF, CS), pp. 380–388.
SPLCSPLC-2015-ColaLTQ #product line
An MDE tool for defining software product families with explicit variation points (SDC, KKL, CMT, CQ), pp. 355–360.
SPLCSPLC-2015-DegueuleFBANMGB #design pattern #variability
Tooling support for variability and architectural patterns in systems engineering (TD, JBFF, OB, MA, JLN, SM, GG, GB, OC), pp. 361–364.
SPLCSPLC-2015-DomisAB #analysis #modelling #safety #tool support #uml #using #variability
Integrating variability and safety analysis models using commercial UML-based tools (DD, RA, MB), pp. 225–234.
SPLCSPLC-2015-FederleFCV #architecture #design #named #product line #search-based
OPLA-tool: a support tool for search-based product line architecture design (ÉLF, TdNF, TEC, SRV), pp. 370–373.
SPLCSPLC-2015-FerrariSGD #diagrams #documentation #feature model #natural language #tool support
CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams (AF, GOS, SG, FD), pp. 402–410.
SPLCSPLC-2015-MazoMRST #named #product line
VariaMos: an extensible tool for engineering (dynamic) product lines (RM, JCMF, LR, CS, GT), pp. 374–379.
SPLCSPLC-2015-VasilevskiyHCJS #product line
The BVR tool bundle to support product line engineering (AV, ØH, FC, MFJ, DS), pp. 380–384.
LCTESLCTES-2015-ManilovFMA
Free Rider: A Tool for Retargeting Platform-Specific Intrinsic Functions (SM, BF, AM, CA), p. 10.
CADECADE-2015-DinBH #concurrent #deduction #modelling #named #verification
KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS (CCD, RB, RH), pp. 517–526.
CADECADE-2015-ShintaniH #confluence #linear #named #term rewriting
CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems (KS, NH), pp. 127–136.
CAVCAV-2015-DehnertJJCVBKA #named #parametricity #probability #synthesis
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool (CD, SJ, NJ, FC, MV, HB, JPK, ), pp. 214–231.
CAVCAV-2015-DemyanovaPVZ #benchmark #empirical #metric #tool support #verification
Empirical Software Metrics for Benchmarking of Verification Tools (YD, TP, HV, FZ), pp. 561–579.
CAVCAV-2015-SebastianiT #modulo theories #named #optimisation
OptiMathSAT: A Tool for Optimization Modulo Theories (RS, PT), pp. 447–454.
ICSTICST-2015-CseppentoM #symbolic computation #tool support
Evaluating Symbolic Execution-Based Test Tools (LC, ZM), pp. 1–10.
ICSTICST-2015-HonfiVM #execution #named #symbolic computation #visualisation
SEViz: A Tool for Visualizing Symbolic Execution (DH, AV, ZM), pp. 1–8.
ICSTICST-2015-KobashiYWFYOK #design pattern #named #security #testing #verification
TESEM: A Tool for Verifying Security Design Pattern Applications by Model Testing (TK, MY, HW, YF, NY, TO, HK), pp. 1–8.
ICSTICST-2015-MahajanH15a #debugging #html #named
WebSee: A Tool for Debugging HTML Presentation Failures (SM, WGJH), pp. 1–8.
ICSTICST-2015-RodriguesBCZO #modelling #named #performance #testing
PLeTsPerf — A Model-Based Performance Testing Tool (EdMR, MB, LTC, AFZ, FMdO), pp. 1–8.
TAPTAP-2015-MoreiraHDMNM #case study #code generation #testing #tool support #using #verification
Verifying Code Generation Tools for the B-Method Using Tests: A Case Study (AMM, CH, DD, ECBdM, JBSN, VdMJ), pp. 76–91.
WICSAWICSA-2014-ChauhanB #architecture #as a service #development #tool support #towards
Towards a Reference Architecture to Provision Tools as a Service for Global Software Development (MAC, MAB), pp. 167–170.
ASEASE-2014-HigoK #consistency #named #nondeterminism #source code
MPAnalyzer: a tool for finding unintended inconsistencies in program source code (YH, SK), pp. 843–846.
ASEASE-2014-LinYSM #agile #project management #tool support
Studying task allocation decisions of novice agile teams with data from agile project management tools (JL, HY, ZS, CM), pp. 689–694.
ASEASE-2014-MarasSC #analysis #named #reuse #web
Firecrow: a tool for web application analysis and reuse (JM, MS, JC), pp. 847–850.
ASEASE-2014-MatinnejadNBB14a #named #testing
CoCoTest: a tool for model-in-the-loop testing of continuous controllers (RM, SN, LCB, TB), pp. 855–858.
ASEASE-2014-MaYHC #modelling #uml #web
A web based UML modeling tool with touch screens (ZM, CYY, HH, HC), pp. 835–838.
ASEASE-2014-MoreiraP #modelling #testing #user interface
PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing (RMLMM, ACRP), pp. 863–866.
ASEASE-2014-ThungKL #debugging #detection #named #tool support
DupFinder: integrated tool support for duplicate bug report detection (FT, PSK, DL), pp. 871–874.
ASEASE-2014-TillmannHX #automation #generative #testing
Transferring an automated test generation tool to practice: from pex to fakes and code digger (NT, JdH, TX), pp. 385–396.
ASEASE-2014-TurenneKGR #generative
A tool chain for generating the description files of highly available software (MT, AK, AG, SR), pp. 867–870.
CASECASE-2014-ChenLHLTCC #development #framework #industrial
Development of Auto-scaling Cloud Manufacturing Framework for machine tool industry (CCC, YCL, MHH, CYL, YJT, MSC, FTC), pp. 893–898.
CASECASE-2014-FrigerioM #energy #policy #probability
Energy saving policies for a machine tool with warm-up, stochastic arrivals and buffer information (NF, AM), pp. 646–651.
CASECASE-2014-LeeMXW #architecture #in the cloud #virtual machine
Open architecture of virtual machine tool for cloud computing (RSL, KJM, PX, CMW), pp. 905–909.
CASECASE-2014-YangWQZ #clustering #multi #scheduling #tool support
Optimal scheduling of single-arm multi-cluster tools with two-space buffering modules (FY, NW, YQ, MZ), pp. 75–80.
CASECASE-2014-ZhuWQZ #analysis #clustering #constraints #modelling #multi #petri net #scheduling #tool support
Modeling and schedulability analysis of single-arm multi-cluster tools with residency time constraints via Petri nets (QZ, NW, YQ, MZ), pp. 81–86.
DATEDATE-2014-CanedoFR #automation #cyber-physical #design #multi
Multi-disciplinary integrated design automation tool for automotive cyber-physical systems (AC, MAAF, JHR), pp. 1–2.
DATEDATE-2014-Jin #evaluation #proving #security #tool support #trust
EDA tools trust evaluation through security property proofs (YJ), pp. 1–4.
DATEDATE-2014-MunirK #automation #design #named
D2Cyber: A design automation tool for dependable cybercars (AM, FK), pp. 1–4.
DocEngDocEng-2014-KolbergFRF #analysis #documentation #performance #throughput #using
JAR tool: using document analysis for improving the throughput of high performance printing environments (MLK, LGF, MR, CF), pp. 175–178.
DocEngDocEng-2014-SchmitzP #big data #tool support
Humanist-centric tools for big data: berkeley prosopography services (PS, LP), pp. 179–188.
DocEngDocEng-2014-SchmitzPD #automation #collaboration #metadata #tool support
DH-CASE II: collaborative annotations in shared environments: metadata, tools and techniques in the digital humanities (PS, LP, QD), pp. 211–212.
DRRDRR-2014-CartonLC #interactive #learning #named
LearnPos: a new tool for interactive learning positioning (CC, AL, BC), p. ?–12.
HTHT-2014-GaffneyCW #authoring #evaluation #user interface
The AMAS authoring tool 2.0: a UX evaluation (CG, OC, VW), pp. 224–230.
PODSPODS-2014-Haas #challenge #ecosystem #roadmap #tool support
Model-data Ecosystems: challenges, tools, and trends (PJH), pp. 76–87.
VLDBVLDB-2014-WangKLW #multi #named
Terrain-Toolkit: A Multi-Functional Tool for Terrain Data (QW, MK, CL, RCWW), pp. 1645–1648.
CSEETCSEET-2014-Lethbridge #development #education #effectiveness #modelling #using
Teaching modeling using Umple: Principles for the development of an effective tool (TCL), pp. 23–28.
ITiCSEITiCSE-2014-Frison #algorithm #education #named #programming
AlgoTouch: a programming by demonstration tool for teaching algorithms (PF), p. 334.
ITiCSEITiCSE-2014-GibsonM #collaboration #tool support
A small scale project to investigate the current and potential use of collaborative tools at sheffield hallam university (TMG, CM), p. 342.
ITiCSEITiCSE-2014-MaTKMSW #algorithm #named #visualisation
SHAvisual: a secure hash algorithm visualization tool (JM, JT, MSK, JM, CKS, CW), p. 338.
ITiCSEITiCSE-2014-Prior #assessment #named #online #sql
AsseSQL: an online, browser-based SQL skills assessment tool (JRP), p. 327.
ITiCSEITiCSE-2014-WangCMSW #data access #education #multi #named #security #using #visualisation
MLSvisual: a visualization tool for teaching access control using multi-level security (MW, SC, JM, CKS, CW), pp. 93–98.
FASEFASE-2014-OuederniSCP #behaviour #named
Comparator: A Tool for Quantifying Behavioural Compatibility (MO, GS, JC, EP), pp. 306–309.
TACASTACAS-2014-AngelisFPP #named #source code #verification
VeriMAP: A Tool for Verifying Programs through Transformations (EDA, FF, AP, MP), pp. 568–574.
TACASTACAS-2014-HuthK #automation #named #reasoning #trust
PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence (MH, JHPK), pp. 109–123.
TACASTACAS-2014-InversoT0TP #c #contest #lazy evaluation #named
Lazy-CSeq: A Lazy Sequentialization Tool for C — (Competition Contribution) (OI, ET, BF, SLT, GP), pp. 398–401.
TACASTACAS-2014-Siirtola #bound #composition #multi #named #verification
Bounds2: A Tool for Compositional Multi-parametrised Verification (AS), pp. 599–604.
SANERCSMR-WCRE-2014-BakotaHSLF #quality
Qualitygate SourceAudit: A tool for assessing the technical quality of software (TB, PH, IS, GL, RF), pp. 440–445.
SANERCSMR-WCRE-2014-GeSDM #how #query #recommendation
How the Sando search tool recommends queries (XG, DCS, KD, ERMH), pp. 425–428.
SANERCSMR-WCRE-2014-KlammerP #legacy #tool support #towards
Towards tool support for analyzing legacy systems in technical domains (CK, JP), pp. 371–374.
SANERCSMR-WCRE-2014-LiH #automation #fortran #matlab #named
Mc2FOR: A tool for automatically translating MATLAB to FORTRAN 95 (XL, LJH), pp. 234–243.
SANERCSMR-WCRE-2014-LiH14a #automation #fortran #matlab
Mc2FOR demo: A tool for automatically translating MATLAB to FORTRAN 95 (XL, LJH), pp. 458–463.
SANERCSMR-WCRE-2014-PerscheidH #debugging #fault #navigation #testing #tool support
Follow the path: Debugging tools for test-driven fault navigation (MP, RH), pp. 446–449.
SANERCSMR-WCRE-2014-RooverS #development #library #metaprogramming #tool support #using
Building development tools interactively using the EKEKO meta-programming library (CDR, RS), pp. 429–433.
ICPCICPC-2014-MaruyamaOH #comprehension #visualisation
A visualization tool recording historical data of program comprehension tasks (KM, TO, SH), pp. 207–211.
ICSMEICSME-2014-AsaduzzamanRSH14a #api #code completion #usability
Context-Sensitive Code Completion Tool for Better API Usability (MA, CKR, KAS, DH), pp. 621–624.
ICSMEICSME-2014-GuanaGS #named #towards
ChainTracker: Towards a Comprehensive Tool for Building Code-Generation Environments (VG, KG, ES), pp. 613–616.
ICSMEICSME-2014-HallKWM #automation #source code #tool support
Establishing the Source Code Disruption Caused by Automated Remodularisation Tools (MH, MAK, NW, PM), pp. 466–470.
ICSMEICSME-2014-OliveiraLVS #metric #named #source code
RTTool: A Tool for Extracting Relative Thresholds for Source Code Metrics (PO, FPL, MTV, AS), pp. 629–632.
ICSMEICSME-2014-Reiss14a #repository
Tool Demo: Browsing Software Repositories (SPR), pp. 589–592.
ICSMEICSME-2014-SvajlenkoR #clone detection #detection #tool support
Evaluating Modern Clone Detection Tools (JS, CKR), pp. 321–330.
ICSMEICSME-2014-ThongtanunamYYKCFI #bibliography #code review #dataset #named #visualisation
ReDA: A Web-Based Visualization Tool for Analyzing Modern Code Review Dataset (PT, XY, NY, RGK, AECC, KF, HI), pp. 605–608.
ICSMEICSME-2014-ZhangHD #automation #parallel #scalability #simulation #tool support #validation
Tools for Enabling Automatic Validation of Large-Scale Parallel Application Simulations (DZ, GH, DD), pp. 601–604.
ICSMEICSME-2014-ZouH #modelling #topic
LDA Analyzer: A Tool for Exploring Topic Models (CZ, DH), pp. 593–596.
SCAMSCAM-2014-RooverI #program transformation
The Ekeko/X Program Transformation Tool (CDR, KI), pp. 53–58.
SCAMSCAM-2014-StoccoLRT #migration #named #testing #visual notation #web
PESTO: A Tool for Migrating DOM-Based to Visual Web Tests (AS, ML, FR, PT), pp. 65–70.
PEPMPEPM-2014-Scholz #case study #compilation #experience #partial evaluation
Partial evaluation as universal compiler tool: experiences from the SAC Eco system (SBS), pp. 95–96.
SASSAS-2014-BessonJV #java #named #static analysis
SawjaCard: A Static Analysis Tool for Certifying Java Card Applications (FB, TPJ, PV), pp. 51–67.
LATALATA-2014-DubourgJ #algebra #tool support
Algebraic Tools for the Overlapping Tile Product (ED, DJ), pp. 335–346.
FMFM-2014-ArmstrongGS #algebra #concurrent #tool support #verification
Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools (AA, VBFG, GS), pp. 78–93.
FMFM-2014-BlomH #concurrent #source code #verification
The VerCors Tool for Verification of Concurrent Programs (SB, MH), pp. 127–131.
IFMIFM-2014-HentschelKHB #ide #interactive #verification
An Interactive Verification Tool Meets an IDE (MH, SK, RH, RB), pp. 55–70.
SEFMSEFM-2014-ArmstrongGS #higher-order #lightweight #tool support #verification
Lightweight Program Construction and Verification Tools in Isabelle/HOL (AA, VBFG, GS), pp. 5–19.
SEFMSEFM-2014-DiagneMF #verification
A Tool for Verifying Dynamic Properties in B (FD, AM, MF), pp. 290–295.
SEFMSEFM-2014-Leroy #code generation #proving #tool support #verification
Formal Proofs of Code Generation and Verification Tools (XL), pp. 1–4.
SEFMSEFM-2014-SznukS #education #hoare #logic #tool support
Tool Support for Teaching Hoare Logic (TS, AS), pp. 332–346.
GT-VMTGT-VMT-2014-BrennerGHLST #case study #realtime #sequence #testing #validation
ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study (CB, JG, JH, GL, GS, MT).
GT-VMTGT-VMT-2014-LeblebiciASHRG #comparison #graph grammar #incremental #tool support
A Comparison of Incremental Triple Graph Grammar Tools (EL, AA, AS, SH, JR, JG).
CHICHI-2014-AtachiantsGJD #design #parallel #performance #tool support
Design considerations for parallel performance tools (RA, DG, KJ, GD), pp. 2501–2510.
CHICHI-2014-BardzellBT #quote #self #tool support
“Now that’s definitely a proper hack”: self-made tools in hackerspaces (JB, SB, AT), pp. 473–476.
CHICHI-2014-BroySAS #3d #design #guidelines #interface #prototype #tool support
FrameBox and MirrorBox: tools and guidelines to support designers in prototyping interfaces for 3D displays (NB, SS, FA, AS), pp. 2037–2046.
CHICHI-2014-HarrisonXSH #interactive #named #physics #tool support
TouchTools: leveraging familiarity and skill with physical tools to augment touch interaction (CH, RX, JS, SEH), pp. 2913–2916.
CHICHI-2014-HongA #modelling #performance #predict #recommendation #user interface
Novice use of a predictive human performance modeling tool to produce UI recommendations (KWH, RSA), pp. 2251–2254.
CHICHI-2014-JacobsCM #mobile
My journey compass: a preliminary investigation of a mobile tool for cancer patients (MLJ, JC, EDM), pp. 663–672.
CHICHI-2014-LafreniereGMF #tool support #video
Investigating the feasibility of extracting tool demonstrations from in-situ video content (BL, TG, JM, GWF), pp. 4007–4016.
CHICHI-2014-NicholsonHJO
Panopticon as an eLearning support search tool (JN, MH, DJ, PO), pp. 1221–1224.
CHICHI-2014-PiccardiCZWA #towards
Towards crowd-based customer service: a mixed-initiative tool for managing Q&A sites (TP, GC, MZ, JW, CA), pp. 2725–2734.
CHICHI-2014-VigoJS #authoring #design #ontology #tool support
Design insights for the next wave ontology authoring tools (MV, CJ, RS), pp. 1555–1558.
CSCWCSCW-2014-KangKK #analysis #collaboration #information management #tool support
Teammate inaccuracy blindness: when information sharing tools hinder collaborative analysis (RK, AK, SBK), pp. 797–806.
CSCWCSCW-2014-KellyP #case study #collaboration #web
Collaborative web search in context: a study of tool use in everyday tasks (RK, SJP), pp. 807–819.
CSCWCSCW-2014-LingelR #quote #tool support
“It’s in your spinal cord, it’s in your fingertips”: practices of tools and craft in building software (JL, TR), pp. 295–304.
CSCWCSCW-2014-MatthewsWBS #collaboration #community #social #tool support
Beyond end user content to collaborative knowledge mapping: interrelations among community social tools (TM, SW, HB, BAS), pp. 900–910.
CSCWCSCW-2014-XiaoWM #development #security #social #tool support #why
Social influences on secure development tool adoption: why security tools spread (SX, JW, ERMH), pp. 1095–1106.
HCIDHM-2014-KitajimaNMKAHNOKO #education
Robotics as a Tool in Fundamental Nursing Education (YK, MN, JM, MKP, KA, ZH, AN, TO, NK, JO), pp. 392–402.
HCIDUXU-DP-2014-CandelloCBP #validation #visual notation
A Validation Study of a Visual Analytics Tool with End Users (HC, VFC, AB, RAdP), pp. 381–391.
HCIDUXU-DP-2014-ChangDCCR #experience
Mood Boards as a Universal Tool for Investigating Emotional Experience (HMC, MD, AC, WC, MR), pp. 220–231.
HCIDUXU-DP-2014-KarapantelakisG #deployment #design #effectiveness #evaluation #scalability #social
Design, Deployment and Evaluation of a Social Tool for Developing Effective Working Relationships in Large Organizations (AK, YG), pp. 49–60.
HCIDUXU-DP-2014-MukherjeeWHCR #design #tool support
Designing Financial Literacy and Saving Tools for the Unbanked and under-banked in Brazil (AM, CW, SH, FC, WR), pp. 71–80.
HCIDUXU-ELAS-2014-DesouzartFMM #behaviour #interactive
Human-Bed Interaction: A Methodology and Tool to Measure Postural Behavior during Sleep of the Air Force Military (GD, EF, FM, RM), pp. 662–674.
HCIDUXU-ELAS-2014-George-PalilonisB #multi #student #tablet #tool support
SMART Note: Student-Centered Multimedia Active Reading Tools for Tablet Textbooks (JGP, DB), pp. 217–229.
HCIDUXU-TMT-2014-CorreiaSCBS #design #risk management #safety
Design as a Tool for Managing Risks and Vulnerabilities Regarding Artifacts of Public Safety (WC, SXdS, FC, MLNB, MMS), pp. 437–444.
HCIDUXU-TMT-2014-KojoHV #mobile #self #testing
Customer Journey Mapping of an Experience-Centric Service by Mobile Self-reporting: Testing the Qualiwall Tool (IK, MH, JPV), pp. 261–272.
HCIDUXU-TMT-2014-MacedoS #difference #evaluation #semantics #user interface
Building a Semantic Differential Scale as Tool for Assisting UX Evaluation with Home Appliances (VM, CMS), pp. 308–317.
HCIDUXU-TMT-2014-OrehovackiG #assessment #tool support
Subjective and Objective Assessment of Mashup Tools (TO, TG), pp. 340–351.
HCIDUXU-TMT-2014-VergheseSG #design #online
Online Psychometric Design (OnPsyD) Tool (SV, PvS, SG), pp. 393–401.
HCIHCI-AS-2014-AbibRG #communication
Tool to Help the Communication for Autists (JCA, LAR, RG), pp. 211–220.
HCIHCI-AS-2014-KurosakiIN #interactive
Memory-Sharing Support Tool for Improving Local Interaction (YK, TI, YN), pp. 444–453.
HCIHCI-AS-2014-Lopez-OrnelasAZ #recommendation
A Geo-collaborative Recommendation Tool to Help Urban Mobility (ÉLO, RAM, JSZH), pp. 466–472.
HCIHCI-AS-2014-SjolinderEBFHSNB #approach #development #multi
A Multi-disciplinary Approach in the Development of a Stroke Rehabilitation Tool (MS, ME, ILB, MF, PH, DS, SN, JB), pp. 351–362.
HCIHCI-AS-2014-WenDHDB #capacity #navigation #tool support
Fighting Technology Dumb Down: Our Cognitive Capacity for Effortful AR Navigation Tools (JW, AD, WSH, AD, MB), pp. 525–536.
HCIHCI-AS-2014-WoodcockPLGB #challenge #experience #online #quality
The Challenges of Developing an Online Tool to Measure the Quality of the Passenger Experience in a PanEuropean Context (AW, PP, FL, AG, LB), pp. 545–555.
HCIHCI-TMT-2014-BorumBF #case study #tool support
The Resilience of Analog Tools in Creative Work Practices: A Case Study of LEGO Future Lab’s Team in Billund (NB, EPB, SRFM), pp. 23–34.
HCIHCI-TMT-2014-SantanaB #personalisation
Log-Based Personalization Tool as an Assistive Technology (VFdS, MCCB), pp. 433–444.
HCIHIMI-AS-2014-UeiFKNKS #design #education #evaluation #learning
Learning Effect Evaluation of an Educational Tool for Product-Service System Design Based on Learner Viewpoints (KU, TF, AK, YN, KK, YS), pp. 643–652.
HCIHIMI-AS-2014-VolpiIPOM #open data #visualisation
Roma Crash Map: An Open Data Visualization Tool for the Municipalities of Rome (VV, AI, MP, AO, CMM), pp. 284–295.
HCIHIMI-DE-2014-AokiSMO #research #visualisation
Visualization Tool for Finding of Researcher Relations (TA, YS, KM, SO), pp. 3–9.
HCIHIMI-DE-2014-BoscarioliVTR #clustering #human-computer #tool support
Analyzing HCI Issues in Data Clustering Tools (CB, JV, MFT, VHR), pp. 22–33.
HCIHIMI-DE-2014-EideOK #assessment
A Post-simulation Assessment Tool for Training of Air Traffic Controllers (AWE, SSØ, AK), pp. 34–43.
HCIHIMI-DE-2014-SutoPK #collaboration #data type #design #multi
A Collaboration Support Tool for Multi-cultural Design Team Based on Extended ADT Model (HS, PP, NK), pp. 548–557.
HCIHIMI-DE-2014-TeixeiraSFSS #prototype #requirements #tool support #using
Requirements Engineering Using Mockups and Prototyping Tools: Developing a Healthcare Web-Application (LT, VS, CF, JS, BSS), pp. 652–663.
HCILCT-NLE-2014-MoissaCG #adaptation #behaviour #student #visualisation #web
A Web Analytics and Visualization Tool to Understand Students’ Behavior in an Adaptive E-Learning System (BM, LSdC, IG), pp. 312–321.
HCILCT-NLE-2014-MorGHH #assessment #design #learning #tool support
Designing Learning Tools: The Case of a Competence Assessment Tool (EM, AEGR, EH, MAH), pp. 83–94.
HCILCT-NLE-2014-YusoffS #bibliography #concept #framework #tool support
A Review of Storyboard Tools, Concepts and Frameworks (NMY, SSS), pp. 73–82.
HCILCT-TRE-2014-AgesilaouVIZ #collaboration #education #tool support #wiki
Collaborative Tools in the Primary Classroom: Teachers’ Thoughts on Wikis (AA, CV, SI, MZ), pp. 239–247.
HCILCT-TRE-2014-Khairuddin #collaboration #design #editing #interface #realtime
Interface Design for a Real-Time Collaborative Editing Tool (NNK), pp. 417–428.
HCISCSM-2014-IoannidisPKKFA #analysis #named #social #social media
SONETA: A Social Media Geo-Trends Analysis Tool (II, EP, CK, NK, CF, NMA), pp. 186–196.
HCISCSM-2014-PapachristosKKIFA #case study #deployment #enterprise #social #social media #tool support
Deployment, Usage and Impact of Social Media Tools in Small and Medium Enterprises: A Case Study (EP, CK, NK, II, CF, NMA), pp. 79–90.
VISSOFTVISSOFT-2014-EnsRSHYI #co-evolution #comprehension #named #visual notation
ChronoTwigger: A Visual Analytics Tool for Understanding Source and Test Co-evolution (BE, DJR, RS, HH, JEY, PI), pp. 117–126.
VISSOFTVISSOFT-2014-SeriaiBCS #tool support #validation #visualisation
Validation of Software Visualization Tools: A Systematic Mapping Study (AS, OB, BC, HAS), pp. 60–69.
VISSOFTVISSOFT-2014-TartariTHKRFMBLB #visualisation
Mr. Clean: A Tool for Tracking and Comparing the Lineage of Scientific Visualization Code (GT, LT, EH, KK, IAR, BF, NM, JMB, EL, LAB), pp. 75–78.
CAiSECAiSE-2014-OhlssonHJCR #process #tool support
Prioritizing Business Processes Improvement Initiatives: The Seco Tools Case (JO, SH, PJ, FC, LR), pp. 256–270.
ICEISICEIS-v2-2014-BarnRAC #collaboration #named
Slrtool: A Tool to Support Collaborative Systematic Literature Reviews (BSB, FR, LA, TC), pp. 440–447.
ICEISICEIS-v3-2014-NaranjoSV #analysis #architecture #enterprise #named
PRIMROSe — A Tool for Enterprise Architecture Analysis and Diagnosis (DN, MES, JV), pp. 201–213.
ICEISICEIS-v3-2014-PerezAA #adaptation
Mintzatek, Text-to-Speech Conversion Tool Adapted to Users with Motor Impairments (JEP, MA, JA), pp. 112–119.
CIKMCIKM-2014-WangWC #community #detection #named #network #social
CoDEM: An Ingenious Tool of Insight into Community Detection in Social Networks (MW, CW, JC), pp. 2006–2008.
ECIRECIR-2014-AlbornozASG #automation #monitoring #named #online #twitter
ORMA: A Semi-automatic Tool for Online Reputation Monitoring in Twitter (JCdA, EA, DS, JG), pp. 742–745.
ECIRECIR-2014-BrilhanteMNPR #named #recommendation
TripBuilder: A Tool for Recommending Sightseeing Tours (IRB, JAFdM, FMN, RP, CR), pp. 771–774.
ECIRECIR-2014-MuhleisenSLV #information retrieval #prototype
Column Stores as an IR Prototyping Tool (HM, TS, JL, APdV), pp. 789–792.
ICPRICPR-2014-MontealegreH #interactive #named #tool support #visual notation
GIST: Graphical Interactive Display Tools Defining a Model for Interactive Search (IM, RMH), pp. 2984–2989.
KEODKEOD-2014-0002FZ #documentation #named #xml
Galaxy-Gen — A Tool for Building Galaxy Model from XML Documents (IBM, JF, GZ), pp. 84–95.
KEODKEOD-2014-Aalst #mining #people #process #what
No Knowledge Without Processes — Process Mining as a Tool to Find Out What People and Organizations Really Do (WMPvdA), pp. 1–11.
KEODKEOD-2014-RedavidFCE #guidelines
Guidelines and Tool for Meaningful OWL-S Services Annotations (DR, SF, BDC, FE), pp. 130–137.
KEODKEOD-2014-WicklerCM #information management #modelling #named
KEWI — A Knowledge Engineering Tool for Modelling AI Planning Tasks (GW, LC, TLM), pp. 36–47.
KMISKMIS-2014-BastosMBFF #data flow #modelling
Information Flow Modeling. A Tool to Support the Integrated Management of Information and Knowledge (CAMB, MRM, ACMB, SJMdSF, JRdFF), pp. 76–86.
KMISKMIS-2014-BorchardtRL #tool support
Determining and Evaluating the Benefits of KM Tool Support for SME (UB, JR, BL), pp. 203–211.
KMISKMIS-2014-LashariW #monitoring
A Tool for Monitoring of YouTube Content (IAL, UKW), pp. 171–178.
SEKESEKE-2014-AlemerienM #complexity #named #user interface #visual notation
GUIEvaluator: A Metric-tool for Evaluating the Complexity of Graphical User Interfaces (KA, KM), pp. 13–18.
SEKESEKE-2014-LeungLZ #process #scheduling
Snowball Effects on Risk Mitigation Scheduling: Process and Tool (HKNL, KML, PZ), pp. 582–585.
SEKESEKE-2014-ShankarN #automation #metric #tool support
Automated Metrics Collection for IEC61131-3 Languages from Engineering Tools (MS, AN), pp. 7–12.
SEKESEKE-2014-SilvaBCR #architecture #development #trade-off
A Tool for Trade-off Resolution on Architecture-Centered Software Development (ICLS, PHSB, EC, HR), pp. 35–38.
SIGIRSIGIR-2014-Jones #retrieval #speech #tool support
Speech search: techniques and tools for spoken content retrieval (GJFJ), p. 1287.
SKYSKY-2014-Fernandez-Utrilla #behaviour #predict #web
An Unified Behaviour Model to Predict Web 2.0 Adoption as a Tool for Software-Knowledge Sharing (MFU, PFU, GM), pp. 3–18.
ICMTICMT-2014-GuanaS #analysis
ChainTracker, a Model-Transformation Trace Analysis Tool for Code-Generation Environments (VG, ES), pp. 146–153.
MODELSMoDELS-2014-GomesBA #classification #model transformation #pattern matching #tool support
Classification of Model Transformation Tools: Pattern Matching Techniques (CG, BB, VA), pp. 619–635.
MODELSMoDELS-2014-GomesBA #classification #model transformation #pattern matching #tool support
Classification of Model Transformation Tools: Pattern Matching Techniques (CG, BB, VA), pp. 619–635.
OnwardOnward-2014-TaeumelPSLH #data-driven #development
Interleaving of Modification and Use in Data-driven Tool Development (MT, MP, BS, JL, RH), pp. 185–200.
PLATEAUPLATEAU-2014-GalensonRCG #research #usability #web
Research.js: Evaluating Research Tool Usability on the Web (JG, CRG, SC, LG), pp. 53–54.
PLATEAUPLATEAU-2014-SadowskiY #concurrent #detection #developer #how #tool support
How Developers Use Data Race Detection Tools (CS, JY), pp. 43–51.
LOPSTRLOPSTR-2014-SharafAF #animation #constraints #named
CHRAnimation: An Animation Tool for Constraint Handling Rules (NS, SA, TWF), pp. 92–110.
RERE-2014-NguyenGA #analysis #automation #named #ontology #requirements
GUITAR: An ontology-based automated requirements analysis tool (THN, JCG, MA), pp. 315–316.
RERE-2014-StalhaneW
The DODT tool applied to sub-sea software (TS, TW), pp. 420–427.
RERE-2014-WittFSH #process #validation #verification
Business Application Modeler: A process model Validation and Verification tool (SW, SF, AS, CH), pp. 333–334.
SACSAC-2014-BrinkeMBBAK #approach #composition #design #energy
A tool-supported approach for modular design of energy-aware software (StB, SM, CB, LB, MA, SK), pp. 1206–1212.
SACSAC-2014-ChallcoI #authoring #design #learning #personalisation #towards
Towards a learning design authoring tool that generates personalized units of learning for CSCL (GCC, SI), pp. 778–780.
SACSAC-2014-ChenZW #detection #named #testing
Crashmaker: an improved binary concolic testing tool for vulnerability detection (BC, QZ, WW), pp. 1257–1263.
SACSAC-2014-PotocnikCS #debugging #named #problem #scala
Linter: a tool for finding bugs and potential problems in scala code (MP, UC, BS), pp. 1615–1616.
FSEFSE-2014-AlvesSK #bibliography #code review #named #refactoring
RefDistiller: a refactoring aware code review tool for inspecting manual refactoring edits (ELGA, MS, MK), pp. 751–754.
FSEFSE-2014-DziwokGBTHP #cyber-physical #modelling #re-engineering
A tool suite for the model-driven software engineering of cyber-physical systems (SD, CG, SB, ST, CH, UP), pp. 715–718.
FSEFSE-2014-MirakhorliFGWC #architecture #detection #monitoring #named
Archie: a tool for detecting, monitoring, and preserving architecturally significant code (MM, AF, AG, MW, JCH), pp. 739–742.
FSEFSE-2014-Penix #case study #developer #experience #tool support
Experiences developing tools for developers (invited talk) (JP), p. 4.
FSEFSE-2014-ThungLKL #debugging #locality #named #tool support
BugLocalizer: integrated tool support for bug localization (FT, TDBL, PSK, DL), pp. 767–770.
FSEFSE-2014-ZhangSK #bibliography #code review #interactive #named
Critics: an interactive code review tool for searching and inspecting systematic changes (TZ, MS, MK), pp. 755–758.
ICSEICSE-2014-SchillerDCE #case study #contract #specification #tool support
Case studies and tools for contract specifications (TWS, KD, FC, MDE), pp. 596–607.
SLESLE-2014-HartelHL #generative #testing #xtext
Test-Data Generation for Xtext — Tool Paper (JH, LH, RL), pp. 342–351.
SLESLE-2014-KaufmannKPSW #debugging #diagrams #satisfiability #sequence chart #state machine
A SAT-Based Debugging Tool for State Machines and Sequence Diagrams (PK, MK, AP, MS, MW), pp. 21–40.
SPLCSPLC-2014-UrliBC #approach #product line
Handling complex configurations in software product lines: a tooled approach (SU, MBF, PC), pp. 112–121.
CCCC-2014-CharlesCLEG #code generation
deGoal a Tool to Embed Dynamic Code Generators into Applications (HPC, DC, VL, FAE, RG), pp. 107–112.
CCCC-2014-SulzmannS #flexibility #ml #performance #regular expression
A Flexible and Efficient ML Lexer Tool Based on Extended Regular Expression Submatching (MS, PvS), pp. 174–191.
CGOCGO-2014-ChabbiLM #tool support
Call Paths for Pin Tools (MC, XL, JMMC), p. 76.
OSDIOSDI-2014-BangertZ #generative #named #parsing
Nail: A Practical Tool for Parsing and Generating Data Formats (JB, NZ), pp. 615–628.
PPoPPPPoPP-2014-LiuM #architecture #parallel #performance #source code #thread
A tool to analyze the performance of multithreaded programs on NUMA architectures (XL, JMMC), pp. 259–272.
CAVCAV-2014-BardsleyBCCDDKLQ #gpu #kernel #verification
Engineering a Static Verification Tool for GPU Kernels (EB, AB, NC, PC, PD, AFD, JK, DL, SQ), pp. 226–242.
CAVCAV-2014-SanchezS #concurrent #data type #named #verification
LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes (AS, CS), pp. 620–627.
IJCARIJCAR-2014-EhlersL #approximate #finite #incremental #logic #satisfiability
A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic (RE, ML), pp. 360–366.
IJCARIJCAR-2014-NigamRL #automation #named #permutation #proving
Quati: An Automated Tool for Proving Permutation Lemmas (VN, GR, LL), pp. 255–261.
ISSTAISSTA-2014-ChoudharyPO14a #consistency #detection #named #nondeterminism #testing #web
X-PERT: a web application testing tool for cross-browser inconsistency detection (SRC, MRP, AO), pp. 417–420.
ISSTAISSTA-2014-LeAGG #haskell #mutation testing #named #source code #testing
MuCheck: an extensible tool for mutation testing of haskell programs (DL, MAA, RG, AG), pp. 429–432.
ISSTAISSTA-2014-XuZXW #c #named #source code
Canalyze: a static bug-finding tool for C programs (ZX, JZ, ZX, JW), pp. 425–428.
RTARTA-TLCA-2014-HondaYB #interactive #process #π-calculus
Process Types as a Descriptive Tool for Interaction — Control and the π-Calculus (KH, NY, MB), pp. 1–20.
CBSECBSE-2013-Danielson #empirical #tool support
Ethics outside the box: empirical tools for an ethics of artificial agents (PD), pp. 1–2.
ASEASE-2013-0002IP #c #concurrent #named #preprocessor #tool support #verification
CSeq: A concurrency pre-processor for sequential C verification tools (BF, OI, GP), pp. 710–713.
ASEASE-2013-AroraZRYJ #lightweight #named
iProbe: A lightweight user-level dynamic instrumentation tool (NA, HZ, JR, KY, GJ), pp. 742–745.
ASEASE-2013-AvazpourGG #automation #model transformation #specification #tool support #using #visualisation
Tool support for automatic model transformation specification using concrete visualisations (IA, JG, LG), pp. 718–721.
ASEASE-2013-CimattiDT #contract #named #refinement
OCRA: A tool for checking the refinement of temporal contracts (AC, MD, ST), pp. 702–705.
ASEASE-2013-Hellerstein #case study #design #distributed #experience #named
BOOM: Experiences in language and tool design for distributed systems (keynote) (JMH), p. 1.
ASEASE-2013-LetsholoZC #analysis #modelling #named #requirements
TRAM: A tool for transforming textual requirements into analysis models (KL, LZ, EVC), pp. 738–741.
CASECASE-2013-FerreiraL #generative #multi #tool support #using
A method for generating tool paths for milling pockets in prismatic parts using multiple tools (JCEF, RAL), pp. 528–533.
CASECASE-2013-HungLHHYC #development #industrial
Development of an advanced manufacturing cloud for machine tool industry based on AVM technology (MHH, YCL, HCH, MHH, HCY, FTC), pp. 189–194.
CASECASE-2013-JinM #algorithm #clustering #constraints #scheduling #tool support
Transient scheduling of single armed cluster tools: Algorithms for wafer residency constraints (HYJ, JRM), pp. 856–861.
CASECASE-2013-KimLK #clustering #scheduling #tool support
Optimal scheduling of transient cycles for single-armed cluster tools (DKK, TEL, HJK), pp. 874–879.
CASECASE-2013-KumarNSCK #tool support #visual notation
Product of tracking experts for visual tracking of surgical tools (SK, MSN, PS, JJC, VK), pp. 480–485.
CASECASE-2013-QiaoWZ #clustering #scheduling #tool support
Scheduling of time constrained dual-arm cluster tools with wafer revisiting (YQ, NW, MZ), pp. 868–873.
CASECASE-2013-ZhuWQZ #clustering #modelling #multi #petri net #scheduling #tool support
Petri net modeling and one-wafer scheduling of single-arm multi-cluster tools (QZ, NW, YQ, MZ), pp. 862–867.
DACDAC-2013-AmaruGM #composition #logic #named #synthesis
BDS-MAJ: a BDD-based logic synthesis tool exploiting majority logic decomposition (LGA, PEG, GDM), p. 6.
DACDAC-2013-DallyMK #design #tool support
21st century digital design tools (WJD, CM, SWK), p. 6.
DATEDATE-2013-FarisiBCS #automation #implementation #multi
An automatic tool flow for the combined implementation of multi-mode circuits (BAF, KB, JMPC, DS), pp. 821–826.
DATEDATE-2013-QianJBTMM #analysis #named #performance #using
SVR-NoC: a performance analysis tool for network-on-chips using learning-based support vector regression model (ZQ, DCJ, PB, CYT, DM, RM), pp. 354–357.
DATEDATE-2013-YakovlevVR #industrial #logic #roadmap #tool support
Advances in asynchronous logic: from principles to GALS & NoC, recent industry applications, and commercial CAD tools (AY, PV, MR), pp. 1715–1724.
DocEngDocEng-2013-CunhaNP #mobile #named #video
MoViA: a mobile video annotation tool (BCRC, OJMN, MdGCP), pp. 219–222.
ICDARICDAR-2013-NafchiAMC #performance
An Efficient Ground Truthing Tool for Binarization of Historical Manuscripts (HZN, SMA, RFM, MC), pp. 807–811.
VLDBVLDB-2013-DrosouP #algorithm #modelling #named
POIKILO: A Tool for Evaluating the Results of Diversification Models and Algorithms (MD, EP), pp. 1246–1249.
VLDBVLDB-2013-MousaviGZ #database #knowledge base #mining #named
IBminer: A Text Mining Tool for Constructing and Populating InfoBox Databases and Knowledge Bases (HM, SG, CZ), pp. 1330–1333.
CSEETCSEET-2013-CaiKJA #architecture #bibliography #design #education
Introducing tool-supported architecture review into software design education (YC, RK, CJ, JA), pp. 70–79.
CSEETCSEET-2013-UrregoC #architecture #named
Archinotes: A tool for assisting software architecture courses (JSU, DC), pp. 80–88.
ITiCSEITiCSE-2013-Alshaigy #development #education #interactive #learning #programming language #python
Development of an interactive learning tool to teach python programming language (BA), p. 344.
ITiCSEITiCSE-2013-BarguryPL #education
A nationwide exam as a tool for improving a new curriculum (IZB, BP, DL), pp. 267–272.
ITiCSEITiCSE-2013-FarrellFKRH #assessment #online
Capstone project online assessment tool without the paper work (VF, GF, PK, GR, DH), pp. 201–206.
ITiCSEITiCSE-2013-MatsuzawaOS #process #programming #student #visualisation
Programming process visualizer: a proposal of the tool for students to observe their programming process (YM, KO, SS), pp. 46–51.
TACASTACAS-2013-0002IP #c #contest #named
CSeq: A Sequentialization Tool for C — (Competition Contribution) (BF, OI, GP), pp. 616–618.
TACASTACAS-2013-AbdullaACLR #automation #precise
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO (PAA, MFA, YFC, CL, AR), pp. 530–536.
TACASTACAS-2013-DudkaMPV #contest #low level #named #verification
Predator: A Tool for Verification of Low-Level List Manipulation — (Competition Contribution) (KD, PM, PP, TV), pp. 627–629.
CSMRCSMR-2013-StevensRNJ #detection #multi #query #refactoring
A History Querying Tool and Its Application to Detect Multi-version Refactorings (RS, CDR, CN, VJ), pp. 335–338.
ICPCICPC-2013-GuptaMPV #identifier #re-engineering #tool support
Part-of-speech tagging of program identifiers for improved text-based software engineering tools (SG, SM, LLP, KVS), pp. 3–12.
ICPCICPC-2013-Kamiya #clone detection #detection #named #semantics
Agec: An execution-semantic clone detection tool (TK), pp. 227–229.
ICPCICPC-2013-UddinRS #clone detection #detection #named #performance #scalability
SimCad: An extensible and faster clone detection tool for large scale software systems (MSU, CKR, KAS), pp. 236–238.
ICSMEICSM-2013-CollardDM #analysis #framework #named #semiparsing #source code #tool support
srcML: An Infrastructure for the Exploration, Analysis, and Manipulation of Source Code: A Tool Demonstration (MLC, MJD, JIM), pp. 516–519.
ICSMEICSM-2013-FokaefsS #evolution #named
WSDARWIN: A Decision-Support Tool for Web-Service Evolution (MF, ES), pp. 444–447.
ICSMEICSM-2013-HolySBJ #component #visualisation
A Visualization Tool for Reverse-Engineering of Complex Component Applications (LH, JS, PB, KJ), pp. 500–503.
ICSMEICSM-2013-KhanBEL #evolution #named #using
eCITY: A Tool to Track Software Structural Changes Using an Evolving City (TK, HB, AE, PL), pp. 492–495.
ICSMEICSM-2013-LeL #approach #automation #effectiveness #fault #locality #predict #tool support
Will Fault Localization Work for These Failures? An Automated Approach to Predict Effectiveness of Fault Localization Tools (TDBL, DL), pp. 310–319.
ICSMEICSM-2013-NovaisNGM #comprehension #evolution
SourceMiner Evolution: A Tool for Supporting Feature Evolution Comprehension (RLN, CN, AG, MGM), pp. 508–511.
ICSMEICSM-2013-PruijtKB #architecture #case study #comparative #composition #semantics #tool support
Architecture Compliance Checking of Semantically Rich Modular Architectures: A Comparative Study of Tool Support (LP, CK, SB), pp. 220–229.
ICSMEICSM-2013-Roldan-VegaMHF #code search #named #query #refinement
CONQUER: A Tool for NL-Based Query Refinement and Contextualizing Code Search Results (MRV, GM, EH, JAF), pp. 512–515.
MSRMSR-2013-Gousios #dataset
The GHTorent dataset and tool suite (GG), pp. 233–236.
PASTEPASTE-2013-BallHSL #interactive #web
Increasing human-tool interaction via the web (TB, PdH, NS, DL), pp. 49–52.
SCAMSCAM-2013-PapadakisDT #analysis #fault #mutation testing #named #using
Proteum/FL: A tool for localizing faults using mutation analysis (MP, MED, YLT), pp. 94–99.
SCAMSCAM-2013-SvajlenkoRD #analysis #generative #named #similarity #tool support
ForkSim: Generating software forks for evaluating cross-project similarity analysis tools (JS, CKR, SD), pp. 37–42.
WCREWCRE-2013-ChenSB13a #c #detection #memory management #named
MemBrush: A practical tool to detect custom memory allocators in C binaries (XC, AS, HB), pp. 477–478.
WCREWCRE-2013-CosentinoCABP13a #cobol #modelling
Extracting business rules from COBOL: A model-based tool (VC, JC, PA, PB, JP), pp. 483–484.
WCREWCRE-2013-HallerSB13a #data type #detection #named
MemPick: A tool for data structure detection (IH, AS, HB), pp. 479–480.
WCREWCRE-2013-SaeidiHKJ #analysis #legacy #modelling #named #tool support
Gelato: GEneric language tools for model-driven analysis of legacy software systems (AS, JH, RK, SJ), pp. 481–482.
PEPMPEPM-2013-CominiT #automation #equivalence #linear #named #term rewriting
TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems (MC, LT), pp. 67–70.
SEFMSEFM-2013-SargolzaeiSAA #approximate #behaviour #web #web service
A Tool for Behaviour-Based Discovery of Approximately Matching Web Services (MS, FS, FA, HA), pp. 152–166.
GT-VMTGT-VMT-2013-GreenyerBM #diagrams #sequence chart #specification
The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions (JG, CB, VPLM).
CHICHI-2013-BirdBKMF #constraints #development #matter #mobile
A matter of life and death: practical and ethical constraints in the development of a mobile verbal autopsy tool (JB, PB, KK, PM, EF), pp. 1489–1498.
CHICHI-2013-GrossPBB #tool support
Machinima production tools: a vernacular history of a creative medium (SG, TP, JB, SB), pp. 971–980.
CHICHI-2013-KramerKKWB #behaviour #developer #how #ide #navigation #tool support
How tools in IDEs shape developers’ navigation behavior (JPK, TK, JK, MW, JOB), pp. 3073–3082.
CHICHI-2013-OLearyWR #design #human-computer #research
Q-methodology as a research and design tool for HCI (KO, JOW, EAR), pp. 1941–1950.
CHICHI-2013-UzorB #design #tool support
Exploring & designing tools to enhance falls rehabilitation in the home (SU, LB), pp. 1233–1242.
CHICHI-2013-YangPCLNC #design #developer #development #exclamation #tool support
I can do text analytics!: designing development tools for novice developers (HY, DPW, LC, YL, BN, ACF), pp. 1599–1608.
CHICHI-2013-ZoranP #named
FreeD: a freehand digital sculpting tool (AZ, JAP), pp. 2613–2616.
CSCWCSCW-2013-KimMP #authoring #flexibility #framework #mobile #named #tool support
Sensr: evaluating a flexible framework for authoring mobile data-collection tools for citizen science (SK, JM, EP), pp. 1453–1462.
HCIDHM-SET-2013-LiCLC #metric
Friction Measurements in a Hand Tool Factory (KWL, CCC, LL, CYC), pp. 326–331.
HCIDUXU-CXC-2013-ChoensawatSKH #education #learning
Desirability of a Teaching and Learning Tool for Thai Dance Body Motion (WC, KS, CK, KH), pp. 171–179.
HCIDUXU-CXC-2013-GronliGSH #mobile #named #visualisation
Paindroid: A Mobile Tool for Pain Visualization and Management (TMG, GG, FS, JH), pp. 401–406.
HCIDUXU-NTE-2013-BarrosSFCC #analysis #artificial reality #people
Virtual Reality Immersion: An Important Tool for Diagnostic Analysis and Rehabilitation of People with Disabilities (HOB, MMS, ELRF, WC, FC), pp. 337–344.
HCIDUXU-NTE-2013-JaimesMR #tool support #trust
Increasing Trust in Personal Informatics Tools (LGJ, TM, AR), pp. 520–529.
HCIDUXU-PMT-2013-FischerSN #design #set #towards #usability #validation
Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design (HF, BS, KN), pp. 252–261.
HCIDUXU-WM-2013-LeeMR #re-engineering
A Dependency-Sharing Tool for Global Software Engineering (DL, AEM, DR), pp. 37–46.
HCIDUXU-WM-2013-MeierBBW #crowdsourcing #navigation #testing
Evaluating a Web-Based Tool for Crowdsourced Navigation Stress Tests (FM, AB, MB, CW), pp. 248–256.
HCIDUXU-WM-2013-SasajimaNKHHNTTM #learning #ontology
CHARM Pad: Ontology-Based Tool for Learning Systematic Knowledge about Nursing (MS, SN, YK, AH, KH, AN, HT, YT, RM), pp. 560–567.
HCIDUXU-WM-2013-Zahabi #interface #online #research #student #tool support
Exploring Information-Triage: Speculative Interface Tools to Help College Students Conduct Online Research (LZ), pp. 611–620.
HCIHCI-AMTE-2013-HishinaMAMOM #case study #communication #education
Study on Effects of Text Decoration for a Text Based Communication Tool in Education (MH, KM, NA, SM, YO, TM), pp. 565–574.
HCIHCI-AMTE-2013-SantosM #automation #design #identification #implementation #interactive
Design and Implementation of ErgoIdentifier: A Tool for Automated Identification of Websites Interaction Elements (OFdS, MM), pp. 249–255.
HCIHCI-AMTE-2013-SchullerGH #research #self
A Self-Evaluation Tool for Quantitative User Research within the digital.me Project (AS, RG, FH), pp. 256–264.
HCIHCI-AMTE-2013-SeguraSSB #evaluation #multi #prototype
Multi-level Communicability Evaluation of a Prototyping Tool (VCVBS, FPS, GS, SDJB), pp. 460–469.
HCIHCI-AS-2013-FrajhofACLLM #collaboration #framework #learning #network #social #student #usability
Usability of a Social Network as a Collaborative Learning Platform Tool for Medical Students (LF, ACCA, ATdSC, CJPdL, CAPdL, CRM), pp. 370–375.
HCIHCI-III-2013-StorzRMLE #analysis #detection #machine learning #visualisation #workflow
Annotate. Train. Evaluate. A Unified Tool for the Analysis and Visualization of Workflows in Machine Learning Applied to Object Detection (MS, MR, RM, HL, ME), pp. 196–205.
HCIHCI-IMT-2013-CamaraBMRB #3d #navigation #tool support
Evaluating Devices and Navigation Tools in 3D Environments (MC, PFdAB, ITM, AR, SDJB), pp. 439–448.
HCIHCI-IMT-2013-DharmaOOYT #design #navigation #smarttech
Design of a Wearable Haptic Vest as a Supportive Tool for Navigation (AAGD, TO, YO, LY, KT), pp. 568–577.
HCIHIMI-D-2013-HiranoNN #development #evaluation #tool support
Evaluation of System Engineers’ Intellectual Productivity — Focusing on Coding Procedures in Application Development Tools (RH, YN, MN), pp. 305–315.
HCIHIMI-HSM-2013-BattisteCMSVCS #automation #student #tool support
The Effects of Early Training with Automation Tools on the Air Traffic Management Strategies of Student ATCos (HB, WC, TM, KS, KPLV, DC, TZS), pp. 13–21.
HCIHIMI-HSM-2013-ParkRSOKAVSM #assessment #development
Development of Haptic Assistance for Route Assessment Tool of NASA NextGen Cockpit Situation Display (EP, JR, PS, RO, MTK, GBA, KPLV, TZS, PM), pp. 163–172.
HCIHIMI-LCCB-2013-BoltonS #collaboration #design #education #network #social #tool support
Social Networking and Culturally Situated Design Teaching Tools: Providing a Collaborative Environment for K-12 (ATB, CDS), pp. 3–8.
HCIHIMI-LCCB-2013-BrynielssonJL #communication #design #process #prototype #social #social media #using #video
Using Video Prototyping as a Means to Involve Crisis Communication Personnel in the Design Process: Innovating Crisis Management by Creating a Social Media Awareness Tool (JB, FJ, SL), pp. 559–568.
HCIHIMI-LCCB-2013-HallLS #assessment #evaluation #learning #tool support
Psychophysiological Assessment Tools for Evaluation of Learning Technologies (RHH, NSL, HS), pp. 33–42.
HCIHIMI-LCCB-2013-VartiainenJ #case study #collaboration #tool support
Pros and Cons of Various ICT Tools in Global Collaboration — A Cross-Case Study (MV, OJ), pp. 391–400.
HCIOCSC-2013-GoodSP #facebook #roadmap
Looking Back at Facebook Content and the Positive Impact Upon Wellbeing: Exploring Reminiscing as a Tool for Self Soothing (AG, AS, VP), pp. 278–286.
HCIOCSC-2013-MurraySWWXS #online #social #tool support
Supporting Social Deliberative Skills Online: The Effects of Reflective Scaffolding Tools (TM, LS, BPW, LW, XX, NS), pp. 313–322.
VISSOFTVISSOFT-2013-BaloghB #collaboration #developer #named
CodeMetrpolis — A minecraft based collaboration tool for developers (GB, ÁB), pp. 1–4.
VISSOFTVISSOFT-2013-ReissT13a #tool support #visualisation
Tool demonstration: The visualizations of code bubbles (SPR, AT), pp. 1–4.
VISSOFTVISSOFT-2013-ZhiR #documentation #evolution #named #visualisation
DEVis: A tool for visualizing software document evolution (JZ, GR), pp. 1–4.
CAiSECAiSE-2013-KramerE #outsourcing #requirements
Outsourcing Location Selection with SODA: A Requirements Based Decision Support Methodology and Tool (TK, ME), pp. 530–545.
ICEISICEIS-J-2013-AlvesSCCCWGBGC13a #named #semantics #tool support #traceability #web
Fairtrace: Applying Semantic Web Tools and Techniques to the Textile Traceability (BA, MS, FC, ALC, GC, DW, CG, BB, DG, PC), pp. 68–84.
ICEISICEIS-v1-2013-Kozmina #recommendation
Adding Recommendations to OLAP Reporting Tool (NK), pp. 169–176.
ICEISICEIS-v2-2013-Monte-AltoTH #bibliography #legacy #tool support
A Survey of Tools for Mapping and Synchronization of Knowledge from Legacy Systems (HHLCMA, LOT, EHMH), pp. 157–164.
ECIRECIR-2013-ArampatzisDE #privacy #web
A Versatile Tool for Privacy-Enhanced Web Search (AA, GD, PSE), pp. 368–379.
ECIRECIR-2013-GalitskyK #mining #web
A Web Mining Tool for Assistance with Creative Writing (BG, SOK), pp. 828–831.
KDDKDD-2013-GundechaRFL #social #social media
A tool for collecting provenance data in social media (PG, SR, ZF, HL), pp. 1462–1465.
KDIRKDIR-KMIS-2013-BaliBBG #information management #tool support #using
Using Knowledge Management Tools and Techniques to Increase the Rate of Attendance at Breast Screening (RKB, JB, VB, MCG), pp. 344–350.
KDIRKDIR-KMIS-2013-PereiraTBW #enterprise
A Risk Diagnosing Methodology Web-based Tool for SME’s and Start-up Enterprises (LP, AT, JB, JW), pp. 308–317.
KDIRKDIR-KMIS-2013-SousaM #tool support #web
Diagnosis of the Use of Web 2.0 Tools in the Portuguese Financial Institutions (CS, PM), pp. 368–372.
SEKESEKE-2013-BassoWPO #how #question #reuse #tool support
How do You Execute Reuse Tasks Among Tools? (FPB, CMLW, RMP, TCO), pp. 721–726.
SEKESEKE-2013-CarrerasZO #machine learning
A Machine Learning Based File Archival Tool (S) (RC, DZ, JO), pp. 73–76.
SEKESEKE-2013-MateoU #named
BacterioORACLE: An Oracle suggester tool (PRM, MPU), pp. 300–305.
SEKESEKE-2013-NetoMGA #effectiveness #product line #testing
Analyzing the Effectiveness of a System Testing Tool for Software Product Line Engineering (S) (CRLN, IdCM, VCG, ESdA), pp. 584–588.
SEKESEKE-2013-WangZLBCT #analysis #modelling #non-functional #object-oriented #requirements
Integrating Functional with Non-functional Requirements Analysis In Object Oriented Modeling Tool Based on HOOMT (S) (JW, FZ, X(L, ECB, BC, MT), pp. 59–62.
SKYSKY-2013-YagelLE #generative #named
KoDEgen: A Knowledge Driven Engineering Code Generating Tool (RY, AL, IE), pp. 24–33.
BXBX-2013-HildebrandtLGRGSLAS #bibliography #graph grammar #tool support
A Survey of Triple Graph Grammar Tools (SH, LL, HG, JR, JG, WS, ML, AA, AS), pp. 1–17.
MODELSMoDELS-2013-ElaasarN #case study #development #lifecycle #modelling #tool support
Integrating Modeling Tools in the Development Lifecycle with OSLC: A Case Study (ME, AN), pp. 154–169.
MODELSMoDELS-2013-IordanovAAHU #modelling #semantics #web
The Semantic Web as a Software Modeling Tool: An Application to Citizen Relationship Management (BI, AA, SA, TH, PU), pp. 589–603.
MODELSMoDELS-2013-WhittleHRBH #industrial #modelling #problem #question #tool support
Industrial Adoption of Model-Driven Engineering: Are the Tools Really the Problem? (JW, JH, MR, HB, RH), pp. 1–17.
MODELSMoDELS-2013-ElaasarN #case study #development #lifecycle #modelling #tool support
Integrating Modeling Tools in the Development Lifecycle with OSLC: A Case Study (ME, AN), pp. 154–169.
MODELSMoDELS-2013-IordanovAAHU #modelling #semantics #web
The Semantic Web as a Software Modeling Tool: An Application to Citizen Relationship Management (BI, AA, SA, TH, PU), pp. 589–603.
MODELSMoDELS-2013-WhittleHRBH #industrial #modelling #problem #question #tool support
Industrial Adoption of Model-Driven Engineering: Are the Tools Really the Problem? (JW, JH, MR, HB, RH), pp. 1–17.
ECOOPECOOP-2013-AnsaloniKZBBT #composition #java #program analysis #tool support #virtual machine
Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine (DA, SK, YZ, LB, WB, PT), pp. 352–377.
LOPSTRLOPSTR-2013-FakhrySA #implementation #semantics #text-to-text #towards
Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics (GF, NS, SA), pp. 145–163.
REER-BR-2013-FilhoLRS #named #tool support #traceability
RETRATOS: Requirement Traceability Tool Support (GACF, ML, AR, CS).
RERE-2013-Beatty #requirements
Winning the hidden battle: Requirements tool selection and adoption (JB), pp. 364–365.
RERE-2013-GuillermDS #safety
A safety requirement engineering method and tool (RG, HD, NS), pp. 328–329.
RERE-2013-SchneiderBB #architecture #enterprise #implementation #modelling #requirements
A tool implementation of the unified requirements modeling language as enterprise architect add-in (FS, BB, BB), pp. 334–335.
RERE-2013-TeuflMR #empirical #modelling #named #requirements
MIRA: A tooling-framework to experiment with model-based requirements engineering (ST, DM, DR), pp. 330–331.
REFSQREFSQ-2013-Regnell #modelling #requirements #scalability #towards
reqT.org — Towards a Semi-Formal, Open and Scalable Requirements Modeling Tool (BR), pp. 112–118.
SACSAC-2013-CogniniFPPR #collaboration #modelling #named #process #verification
HawkEye: a tool for collaborative business process modelling and verification (RC, DF, AP, AP, BR), pp. 785–786.
SACSAC-2013-GoncalvesTM #towards
Towards a software tool for ultrasound guided robotic hip resurfacing surgery (PJSG, PMBT, JMMM), pp. 232–234.
SACSAC-2013-HayashiIN #recommendation #visual notation
A visual analytics tool for system logs adopting variable recommendation and feature-based filtering (AH, TI, SN), pp. 996–998.
SACSAC-2013-MaalejKJ #composition #consistency #named #testing
WSCCT: a tool for WS-BPEL compositions conformance testing (AJM, MK, MJ), pp. 1055–1061.
ESEC-FSEESEC-FSE-2013-AlbertAGW #concurrent #generative #named #testing
aPET: a test case generation tool for concurrent objects (EA, PA, MGZ, PYHW), pp. 595–598.
ESEC-FSEESEC-FSE-2013-AroraSBZG #automation #consistency #flexibility #named
RUBRIC: a flexible tool for automated checking of conformance to requirement boilerplates (CA, MS, LCB, FZ, RG), pp. 599–602.
ESEC-FSEESEC-FSE-2013-CalefatoL #named #social
SocialCDE: a social awareness tool for global software teams (FC, FL), pp. 587–590.
ESEC-FSEESEC-FSE-2013-CostaVCL #generative #modelling #named
RSA-MBT: a test tool for generating test artifacts based on models (ADdC, RV, GRdC, CJPdL), pp. 619–622.
ESEC-FSEESEC-FSE-2013-KumarN #static analysis #tool support
The economics of static analysis tools (RK, AVN), pp. 707–710.
ESEC-FSEESEC-FSE-2013-NavabpourJWBMBF #c #named #runtime #source code #verification
RiTHM: a tool for enabling time-triggered runtime verification for C programs (SN, YJ, CWWW, SB, RM, BB, SF), pp. 603–606.
ESEC-FSEESEC-FSE-2013-Nenashev #automation #hardware #named #programmable #re-engineering
PHRT: a model and programmable tool for hardware reengineering automation (ON), pp. 719–722.
ESEC-FSEESEC-FSE-2013-PhamW #abstraction #algebra #data type #named #reasoning
RADA: a tool for reasoning about algebraic data types with abstractions (THP, MWW), pp. 611–614.
ESEC-FSEESEC-FSE-2013-SenKBG13a #dynamic analysis #framework #javascript #named #testing
Jalangi: a tool framework for concolic testing, selective record-replay, and dynamic analysis of JavaScript (KS, SK, TGB, SG), pp. 615–618.
ICSEICSE-2013-BuckleyMRA #architecture #consistency #named
JITTAC: a just-in-time tool for architectural consistency (JB, SM, JR, NA), pp. 1291–1294.
ICSEICSE-2013-GhoshSLC #automation #generative #industrial #java #named #string #testing
JST: an automatic test generation tool for industrial Java applications with strings (IG, NS, GL, WFC), pp. 992–1001.
ICSEICSE-2013-HaiducRBOLM #code search #predict #quality #query #source code
Query quality prediction and reformulation for source code search: the refoqus tool (SH, GDR, GB, RO, ADL, AM), pp. 1307–1310.
ICSEICSE-2013-HaoLM0J #multi #named #source code
MCT: a tool for commenting programs by multimedia comments (YH, GL, LM, LZ, ZJ), pp. 1339–1342.
ICSEICSE-2013-JacobellisMK #named #program transformation
LASE: an example-based program transformation tool for locating and applying systematic edits (JJ, NM, MK), pp. 1319–1322.
ICSEICSE-2013-Johnson04a #comprehension #program analysis
Novice understanding of program analysis tool notifications (BJ), pp. 1432–1434.
ICSEICSE-2013-JohnsonSMB #debugging #developer #question #static analysis #tool support #why
Why don’t software developers use static analysis tools to find bugs? (BJ, YS, ERMH, RWB), pp. 672–681.
ICSEICSE-2013-LoksaMLH #collaboration #design #sketching
Enabling a classroom design studio with a collaborative sketch design tool (DL, NM, TDL, AvdH), pp. 1073–1082.
ICSEICSE-2013-MemonC #automation #modelling #testing #tool support #user interface
Automated testing of GUI applications: models, tools, and controlling flakiness (AMM, MBC), pp. 1479–1480.
ICSEICSE-2013-NguyenNNN #detection #named #web
DRC: a detection tool for dangling references in PHP-based web applications (HVN, HAN, TTN, TNN), pp. 1299–1302.
ICSEICSE-2013-PastoreMG #c #c++ #debugging #named #problem
RADAR: a tool for debugging regression problems in C/C++ software (FP, LM, AG), pp. 1335–1338.
ICSEICSE-2013-PintoSO #evolution #named #testing
TestEvol: a tool for analyzing test-suite evolution (LSP, SS, AO), pp. 1303–1306.
ICSEICSE-2013-YangKP #execution #named #symbolic computation
Memoise: a tool for memoized symbolic execution (GY, SK, CSP), pp. 1343–1346.
ICSEICSE-2013-Zhang04a #automation #fault #java #named
ConfDiagnoser: an automated configuration error diagnosis tool for Java software (SZ), pp. 1438–1440.
SLESLE-2013-DialloCL #approach #formal method #modelling #using
A Model-Driven Approach to Enhance Tool Interoperability Using the Theory of Models of Computation (PID, JC, LL), pp. 218–237.
SLESLE-2013-LammelMV #tool support #wiki
Method and Tool Support for Classifying Software Languages with Wikipedia (RL, DM, AV), pp. 249–259.
PLOSPLOS-2013-SunFBG #agile #automation #file system #generative #tool support
Annotation for automation: rapid generation of file system tools (KJS, DF, ADB, AG), p. 6.
CADECADE-2013-KovasznaiFB #quantifier
: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into (GK, AF, AB), pp. 443–449.
CAVCAV-2013-Brenguier #concurrent #game studies #named #nash
PRALINE: A Tool for Computing Nash Equilibria in Concurrent Games (RB), pp. 890–895.
CAVCAV-2013-ChothiaKN #information management
A Tool for Estimating Information Leakage (TC, YK, CN), pp. 690–695.
CAVCAV-2013-DilligD #abduction #named
Explain: A Tool for Performing Abductive Inference (ID, TD), pp. 684–689.
CAVCAV-2013-HaaseIOP #graph #logic #named #reasoning
SeLoger: A Tool for Graph-Based Reasoning in Separation Logic (CH, SI, JO, MJP), pp. 790–795.
CAVCAV-2013-ReiterBCN #named
TTP: Tool for Tumor Progression (JGR, IB, KC, MAN), pp. 101–106.
CAVCAV-2013-Sankur #analysis #automaton #named #robust
Shrinktech: A Tool for the Robustness Analysis of Timed Automata (OS), pp. 1006–1012.
ICSTICST-2013-AlegrothNO #automation #named #testing
JAutomate: A Tool for System- and Acceptance-test Automation (EA, MN, HHO), pp. 439–446.
ICSTICST-2013-Bauersfeld #named #testing #user interface #visual notation
GUIdiff — A Regression Testing Tool for Graphical User Interfaces (SB), pp. 499–500.
ICSTICST-2013-BlomeOLPD #flexibility #modelling #named #testing
VERA: A Flexible Model-Based Vulnerability Testing Tool (AB, MO, KL, MP, MTD), pp. 471–478.
ICSTICST-2013-DadeauCLTVBT #evaluation #generative #testing
Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations — The TASCCC Testing Tool (FD, KCC, YL, TT, GV, JB, ST), pp. 431–438.
ICSTICST-2013-GargantiniGM #analysis #automation #named #robust
AURORA: AUtomatic RObustness coveRage Analysis Tool (AG, MG, EM), pp. 463–470.
ICSTICST-2013-LuchscheiderHG #named #testing
CDM-Suite: An Attributed Test Selection Tool (PL, TH, RG), pp. 398–407.
ICSTICST-2013-MeinkeS #named #testing
LBTest: A Learning-Based Testing Tool for Reactive Systems (KM, MAS), pp. 447–454.
ICSTICST-2013-SakamotoSTWF #framework #metric #multi #named #programming language #test coverage #tool support
OCCF: A Framework for Developing Test Coverage Measurement Tools Supporting Multiple Programming Languages (KS, KS, RT, HW, YF), pp. 422–430.
ICSTICST-2013-Torsel #domain-specific language #model checking #modelling #testing #using #web
A Testing Tool for Web Applications Using a Domain-Specific Modelling Language and the NuSMV Model Checker (AMT), pp. 383–390.
ICSTICST-2013-YuLKK #combinator #generative #named #testing
ACTS: A Combinatorial Test Generation Tool (LY, YL, RK, DRK), pp. 370–375.
ICTSSICTSS-2013-PellegrinoCM #developer #protocol #security
A Tool for Supporting Developers in Analyzing the Security of Web-Based Security Protocols (GP, LC, TM), pp. 277–282.
LICSLICS-2013-GogaczM #convergence #finite
Converging to the Chase — A Tool for Finite Controllability (TG, JM), pp. 540–549.
RTARTA-2013-AvanziniM13a #complexity
Tyrolean Complexity Tool: Features and Usage (MA, GM), pp. 71–80.
ICSTSAT-2013-SohTB #agile #constraints #named #programming #prototype #satisfiability
Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems (TS, NT, MB), pp. 429–436.
TAPTAP-2013-GogollaBC #analysis #benchmark #metric #ocl #tool support #uml
Initiating a Benchmark for UML and OCL Analysis Tools (MG, FB, JC), pp. 115–132.
VMCAIVMCAI-2013-CruanesHOS #integration #tool support
Tool Integration with the Evidential Tool Bus (SC, GH, SO, NS), pp. 275–294.
VMCAIVMCAI-2013-SeladjiB #abstract domain #analysis #fixpoint #tool support #using
Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools (YS, OB), pp. 149–168.
ASEASE-2012-CicchettiCMPPZV #development #industrial #modelling #named
CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems (AC, FC, SM, SP, MP, AZ, TV), pp. 362–365.
ASEASE-2012-KamalrudinGH #consistency #multi #named #requirements #tool support
MaramaAI: tool support for capturing and managing consistency of multi-lingual requirements (MK, JG, JGH), pp. 326–329.
ASEASE-2012-KehrerKPS #adaptation #comparison #difference #tool support
Adaptability of model comparison tools (TK, UK, PP, MS), pp. 306–309.
ASEASE-2012-LiT #api #automation #erlang #migration #refactoring #source code
Automated API migration in a user-extensible refactoring tool for Erlang programs (HL, SJT), pp. 294–297.
ASEASE-2012-OmoronyiaPSCDN #adaptation #named #privacy
Caprice: a tool for engineering adaptive privacy (IO, LP, MS, LC, GD, BN), pp. 354–357.
ASEASE-2012-RabiserGL #tool support
A qualitative study on user guidance capabilities in product configuration tools (RR, PG, ML), pp. 110–119.
ASEASE-2012-TamrawiNNN #analysis #named #refactoring
SYMake: a build code analysis and refactoring tool for makefiles (AT, HAN, HVN, TNN), pp. 366–369.
ASEASE-2012-ThungLLJRD #debugging #detection #empirical #fault #tool support #what
To what extent could we detect field defects? an empirical study of false negatives in static bug finding tools (FT, L, DL, LJ, FR, PTD), pp. 50–59.
CASECASE-2012-CabasinoGMS #comparison #tool support
A comparison among tools for the diagnosability of discrete event systems (MPC, AG, LM, CS), pp. 218–223.
CASECASE-2012-ChenF #analysis #rule-based
Treatment of missing values for association rule-based tool commonality analysis in semiconductor manufacturing (RHC, CMF), pp. 886–891.
CASECASE-2012-HoerningSWS #analysis #robust #simulation #tool support
Improving discrete event simulation in the emergency department with innovative and robust input analysis tools (SH, JS, TW, LS), pp. 131–136.
CASECASE-2012-HungLHYC #development #industrial #monitoring
Development of a cloud-computing-based equipment monitoring system for machine tool industry (MHH, YCL, TQH, HCY, FTC), pp. 962–967.
CASECASE-2012-MatsumotoN #approach #clustering #composition #concurrent #petri net #scheduling #tool support
Petri net decomposition approach to deadlock-free scheduling for dual-armed cluster tools (IM, TN), pp. 194–199.
CASECASE-2012-ParkM #behaviour #bound #clustering #hybrid #linear #performance #tool support
Performance bounds for hybrid flow lines: Fundamental behavior, practical features and application to linear cluster tools (KP, JRM), pp. 371–376.
CASECASE-2012-QiaoWZ #analysis #clustering #petri net #scheduling #tool support
Petri net-based scheduling analysis of dual-arm cluster tools with wafer revisiting (YQ, NW, MZ), pp. 206–211.
CASECASE-2012-TonkeL #clustering #independence #scheduling
Scheduling of a dual-armed cluster tool with two independent robot arms (DT, TEL), pp. 200–205.
DACDAC-2012-Scheffer #design #tool support
Design tools for artificial nervous systems (LS), pp. 717–722.
DATEDATE-2012-BozgaDHHLLT #analysis #embedded #modelling #state of the art #tool support
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems (MB, AD, AH, HH, KGL, AL, JT), pp. 370–375.
DATEDATE-2012-HamoucheK #aspect-oriented #component #design #embedded #realtime
Component-based and aspect-oriented methodology and tool for Real-Time Embedded Control Systems Design (RH, RK), pp. 1421–1424.
DATEDATE-2012-PeranandamRSYGR #generative #modelling #testing
An integrated test generation tool for enhanced coverage of Simulink/Stateflow models (PP, SR, MS, AY, AAG, SR), pp. 308–311.
DocEngDocEng-2012-AubertPS #authoring #case study
Advene as a tailorable hypervideo authoring tool: a case study (OA, YP, DS), pp. 79–82.
DocEngDocEng-2012-GeelCN #named #web
Sift: an end-user tool for gathering web content on the go (MG, TC, MCN), pp. 181–190.
DocEngDocEng-2012-KimBTFD #comparison #evaluation #parsing #tool support
Evaluation of BILBO reference parsing in digital humanities via a comparison of different tools (YMK, PB, JT, EF, MD), pp. 209–212.
DocEngDocEng-2012-TruranGCZ #authoring #guidelines
A section title authoring tool for clinical guidelines (MT, GG, MC, DZ), pp. 41–44.
DocEngDocEng-2012-WidlocherM #corpus #framework #mining
The Glozz platform: a corpus annotation and mining tool (AW, YM), pp. 171–180.
DRRDRR-2012-DasSS #automation #documentation #tool support #workflow
Questioned document workflow for handwriting with automated tools (KD, SNS, HS).
DRRDRR-2012-NagyT #named #performance #verification
VeriClick: an efficient tool for table format verification (GN, MT).
SIGMODSIGMOD-2012-BarbosaMLO #named #network #recommendation #visualisation #web
VRRC: web based tool for visualization and recommendation on co-authorship network (abstract only) (EMB, MMM, GRL, JPMdO), p. 865.
SIGMODSIGMOD-2012-GolshanLT #automation
SOFIA SEARCH: a tool for automating related-work search (BG, TL, ET), pp. 621–624.
VLDBVLDB-2012-EndrullisTR #named #performance #web
WETSUIT: An Efficient Mashup Tool for Searching and Fusing Web Entities (SE, AT, ER), pp. 1970–1973.
VLDBVLDB-2012-LetelierPPS #analysis #named
SPAM: A SPARQL Analysis and Manipulation Tool (AL, JP, RP, SS), pp. 1958–1961.
CSEETCSEET-2012-Virseda #algebra #data type #implementation #specification #testing #verification
A Software Testing Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications (RdVV), pp. 100–104.
ITiCSEITiCSE-2012-BaghdadiAR #case study #distance #learning #safety #tool support
Applying advanced technology tools in distance learning: case study: traffic data and road safety (MB, KA, JR), p. 389.
ITiCSEITiCSE-2012-BrownPSE #analysis #complexity #generative #named
JUG: a JUnit generation, time complexity analysis and reporting tool to streamline grading (CB, RP, BS, JE), pp. 99–104.
ITiCSEITiCSE-2012-FaginS #education #named
MyTuringTable: a teaching tool to accompany Turing’s original paper on computability (BF, DS), pp. 333–338.
ITiCSEITiCSE-2012-HamadaN #learning
A learning tool for MP3 audio compression (MH, HN), p. 397.
ITiCSEITiCSE-2012-HershkovichH #education #how #tool support
How innovative technology tools can be used to create new methodology for teaching knowledge (EH, BH), p. 387.
ITiCSEITiCSE-2012-JarusekP #problem
A web-based problem solving tool for introductory computer science (PJ, RP), p. 371.
ITiCSEITiCSE-2012-MussaiL #animation #concept #learning #object-oriented
An animation as an illustrate tool for learning concepts in oop (YM, NL), p. 386.
FASEFASE-2012-BaeOMA #maude
The SynchAADL2Maude Tool (KB, PCÖ, JM, AAN), pp. 59–62.
TACASTACAS-2012-CairesV #concurrent #logic #model checking #named #specification
SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications (LC, HTV), pp. 485–491.
TACASTACAS-2012-DudkaMPV #contest #data type #linked data #named #open data #source code #verification
Predator: A Verification Tool for Programs with Dynamic Linked Data Structures — (Competition Contribution) (KD, PM, PP, TV), pp. 545–548.
CSMRCSMR-2012-BudimacRHG #metric #towards
Towards the Better Software Metrics Tool (ZB, GR, MH, CG), pp. 491–494.
CSMRCSMR-2012-FontanaCZ #benchmark #design pattern #detection #metric #named #tool support
DPB: A Benchmark for Design Pattern Detection Tools (FAF, AC, MZ), pp. 235–244.
CSMRCSMR-2012-HoraADBCVM #analysis #debugging #visual notation
Bug Maps: A Tool for the Visual Exploration and Analysis of Bugs (AH, NA, SD, MUB, CC, MTV, JM), pp. 523–526.
CSMRCSMR-2012-Penta #approach #developer #empirical #maintenance #reverse engineering
Empirical Studies in Reverse Engineering and Maintenance: Employing Developers to Evaluate Your Approach and Tool (MDP), pp. 567–568.
ICPCICPC-2012-HottaHIK #named #refactoring
CRat: A refactoring support tool for Form Template Method (KH, YH, HI, SK), pp. 250–252.
ICPCICPC-2012-KeivanlooRR #clone detection #detection #named #semantics
SeByte: A semantic clone detection tool for intermediate languages (IK, CKR, JR), pp. 247–249.
ICSMEICSM-2012-IslamMSKS #algorithm #named #search-based #semantics #sorting #testing
MOTCP: A tool for the prioritization of test cases based on a sorting genetic algorithm and Latent Semantic Indexing (MMI, AM, AS, FBK, GS), pp. 654–657.
ICSMEICSM-2012-MateoU #framework #java #mutation testing #named #quality #testing
Bacterio: Java mutation testing tool: A framework to evaluate quality of tests cases (PRM, MPU), pp. 646–649.
SCAMSCAM-2012-AftandilianSPK #compilation #java #program analysis #tool support #using
Building Useful Program Analysis Tools Using an Extensible Java Compiler (EA, RS, SP, SK), pp. 14–23.
SCAMSCAM-2012-KargenS #analysis #comprehension #data flow #named
InputTracer: A Data-Flow Analysis Tool for Manual Program Comprehension of x86 Binaries (UK, NS), pp. 138–143.
SCAMSCAM-2012-Xie #analysis #testing
Cooperative Testing and Analysis: Human-Tool, Tool-Tool and Human-Human Cooperations to Get Work Done (TX), pp. 1–3.
SCAMSCAM-2012-ZollerS #java #named
AccessAnalysis: A Tool for Measuring the Appropriateness of Access Modifiers in Java Systems (CZ, AS), pp. 120–125.
WCREWCRE-2012-Detten #architecture #named #re-engineering
Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction (MvD), pp. 503–504.
WCREWCRE-2012-GarzonL #automation #how #tool support
Exploring How to Develop Transformations and Tools for Automated Umplification (MG, TCL), pp. 491–494.
FMFM-2012-AndreFKS #problem #robust #scheduling
IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems (ÉA, LF, UK, RS), pp. 33–36.
FMFM-2012-BeekMS #analysis #named #variability
VMC: A Tool for Product Variability Analysis (MHtB, FM, AS), pp. 450–454.
FMFM-2012-HojjatKGIKR #tool support #verification
A Verification Toolkit for Numerical Transition Systems — Tool Paper (HH, FK, FG, RI, VK, PR), pp. 247–251.
FMFM-2012-LazarASEMLR #semantics
Executing Formal Semantics with the K Tool (DL, AA, TFS, CE, RM, DL, GR), pp. 267–271.
SEFMSEFM-2012-DranidisBI #automation #generative #named #testing
JSXM: A Tool for Automated Test Generation (DD, KB, FI), pp. 352–366.
CHICHI-2012-DraxlerSSBR #social #synthesis #tool support
Supporting the social context of technology appropriation: on a synthesis of sharing tools and tool knowledge (SD, GS, MS, AB, DR), pp. 2835–2844.
CHICHI-2012-EscobedoNBHRGTH #mobile #named #social
MOSOCO: a mobile assistive tool to support children with autism practicing social skills in real-life situations (LE, DHN, LAB, SHH, AR, DGR, MT, GRH), pp. 2589–2598.
CHICHI-2012-FlatlaG #difference #modelling #named #tool support
SSMRecolor: improving recoloring tools with situation-specific models of color differentiation (DRF, CG), pp. 2297–2306.
CHICHI-2012-FollmerI #named #tool support
KidCAD: digitally remixing toys through tangible tools (SF, HI), pp. 2401–2410.
CHICHI-2012-GurevichLCS #artificial reality #named
TeleAdvisor: a versatile augmented reality tool for remote assistance (PG, JL, BC, RS), pp. 619–622.
CHICHI-2012-KongGHAF #named #representation #workflow
Delta: a tool for representing and comparing workflows (NK, TG, BH, MA, GWF), pp. 1027–1036.
CHICHI-2012-LeonUSWBC #behaviour #evaluation #online #tool support #usability #why
Why Johnny can’t opt out: a usability evaluation of tools to limit online behavioral advertising (PGL, BU, RS, YW, RB, LFC), pp. 589–598.
CHICHI-2012-LuL #gesture #multi #programming
Gesture coder: a tool for programming multi-touch gestures by demonstration (HL, YL), pp. 2875–2884.
CHICHI-2012-NorrisSQ #collaboration #named
CamBlend: an object focused collaboration tool (JN, HS, GQ), pp. 627–636.
CHICHI-2012-TeoJB #layout #named
CogTool-Explorer: a model of goal-directed user exploration that considers information layout (LT, BEJ, MHB), pp. 2479–2488.
CHICHI-2012-UzorBS #design #tool support
Senior designers: empowering seniors to design enjoyable falls rehabilitation tools (SU, LB, DS), pp. 1179–1188.
CSCWCSCW-2012-LiCPT #communication #design #flexibility #named #sketching
SketchComm: a tool to support rich and flexible asynchronous communication of early design ideas (GL, XC, SP, FT), pp. 359–368.
CSCWCSCW-2012-OrenG #distributed #named
ConvoCons: a tool for building affinity among distributed team members (MAO, SBG), pp. 1213–1222.
ICEISICEIS-v2-2012-HanadaOKM #java #ml #ocl #uml
Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation (KH, KO, SK, KM), pp. 389–394.
ICEISICEIS-v2-2012-RenardCR #documentation #fault #process
A Tool to Evaluate Error Correction Resources and Processes Suited for Documents Improvement (AR, SC, BR), pp. 27–35.
CIKMCIKM-2012-DragutOMMBS
Lonomics Atlas: a tool to explore interconnected ionomic, genomic and environmental data (ECD, MO, AM, NM, PB, DES), pp. 2680–2682.
CIKMCIKM-2012-KranenWRRS #algorithm #automation #evaluation
A tool for automated evaluation of algorithms (PK, SW, TR, SR, TS), pp. 2692–2694.
CIKMCIKM-2012-MagdyAD #social #social media #summary
A summarization tool for time-sensitive social media (WM, AA, KD), pp. 2695–2697.
CIKMCIKM-2012-SuhGCK #clustering #multi
A new tool for multi-level partitioning in teradata (YKS, AG, AC, PK), pp. 2214–2218.
ECIRECIR-2012-DoR #design #visual notation
The Design of a Visual History Tool to Help Users Refind Information within a Website (TVD, RAR), pp. 459–462.
ICPRICPR-2012-BicegoL #2d #biology #recognition #sequence #tool support #using
2D shape recognition using biological sequence alignment tools (MB, PL), pp. 1359–1362.
ICPRICPR-2012-PazzagliaC #approach #recognition #tool support #visual notation
Visual description and recognition of mechanical tools with a silhouette-based approach (FP, CC), pp. 2549–2552.
KDDKDD-2012-ChenCL #game studies #multi #network #social
Information propagation game: a tool to acquire humanplaying data for multiplayer influence maximization on social networks (HHC, YBC, SDL), pp. 1524–1527.
KDDKDD-2012-GalbrunM #interactive #mining #named #visualisation
Siren: an interactive tool for mining and visualizing geospatial redescriptions (EG, PM), pp. 1544–1547.
KDIRKDIR-2012-DevezasF #information management #interactive #network #research #visualisation
Interactive Visualization of a News Clips Network — A Journalistic Research and Knowledge Discovery Tool (JLD, ÁF), pp. 157–162.
KMISKMIS-2012-MarsanCE #analysis #behaviour #enterprise #framework #information management #scalability #tool support #using
Factors Influencing the Behavioral Intention of using Enterprise 2.0 Tools as a Knowledge Management Platform — An Analysis of the UTAUT Model in an Large Real Estate Company (BM, LC, EE), pp. 281–284.
RecSysRecSys-2012-SheehanP #named #personalisation #predict #student
pGPA: a personalized grade prediction tool to aid student success (MS, YP), pp. 309–310.
SEKESEKE-2012-GallegosG #detection #tool support
Tool Support for Anomaly Detection in Scientific Sensor Data (IG, AQG), pp. 678–683.
SEKESEKE-2012-GokhaleSM #education #open source #re-engineering #reverse engineering #tool support
Evaluating Open Source Reverse Engineering Tools for Teaching Software Engineering (SSG, TS, RM), pp. 162–167.
SEKESEKE-2012-GuoCZ #visualisation
A Tool for Visualization of a Knowledge Model (SSG, CWC, QZ), pp. 718–723.
SEKESEKE-2012-LiuZSH #analysis #architecture #modelling #named
SAMAT — A Tool for Software Architecture Modeling and Analysis (SL, RZ, ZS, XH), pp. 352–358.
SEKESEKE-2012-NetoNAM #product line #testing #tool support
A Mapping Study on Software Product Lines Testing Tools (CRLN, PAdMSN, ESdA, SRdLM), pp. 628–634.
SEKESEKE-2012-PittoliSN #monitoring #network
Investigating the Use of Bayesian Networks as a Support Tool for Monitoring Software Projects (FP, ALRdS, DJN), pp. 570–573.
SIGIRSIGIR-2012-NunzioS #classification #data analysis #naive bayes #visual notation
A visual tool for bayesian data analysis: the impact of smoothing on naive bayes text classifiers (GMDN, AS), p. 1002.
AMTAMT-2012-HildebrandtLG #development #framework #graph grammar #model transformation
The MDELab tool framework for the development of correct model transformations with triple graph grammars (SH, LL, HG), pp. 33–34.
ECMFAECMFA-2012-RadjenovicMPRMBK #automation #embedded #modelling #named #uml #verification
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems (AR, NDM, RFP, MR, AM, LB, DSK), pp. 340–351.
OOPSLAOOPSLA-2012-YuNPP #named #parallel #source code #testing #thread
Maple: a coverage-driven testing tool for multithreaded programs (JY, SN, CP, GP), pp. 485–502.
TOOLSTOOLS-EUROPE-2012-BergmannHHRUV #emf #performance #query #state of the art #tool support
Integrating Efficient Model Queries in State-of-the-Art EMF Tools (GB, ÁH, ÁH, IR, ZU, DV), pp. 1–8.
TOOLSTOOLS-EUROPE-2012-CatanoHR #formal method #named #network #policy #privacy #social
Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies (NC, SH, CR), pp. 9–16.
TOOLSTOOLS-EUROPE-2012-CorralSSSV #development #mobile #named #process #proximity
DroidSense: A Mobile Tool to Analyze Software Development Processes by Measuring Team Proximity (LC, AS, GS, JS, JV), pp. 17–33.
PADLPADL-2012-BalducciniL #aspect-oriented #tool support
Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools (MB, YL), pp. 78–92.
RERE-2012-AmellerCF #architecture #named #tool support
ArchiTech: Tool support for NFR-guided architectural decision-making (DA, OC, XF), pp. 315–316.
RERE-2012-LiZ0 #configuration management #feature model #modelling #named
MbFM: A matrix-based tool for modeling and configuring feature models (LL, HZ, WZ), pp. 325–326.
RERE-2012-PajaDPRG #named #requirements #security #social
STS-tool: Socio-technical Security Requirements through social commitments (EP, FD, MP, PR, PG), pp. 331–332.
RERE-2012-ReddivariCN #clustering #named #requirements #visual notation
ReCVisu: A tool for clustering-based visual exploration of requirements (SR, ZC, NN), pp. 327–328.
RERE-2012-SmialekS #requirements
Facilitating transition from requirements to code with the ReDSeeDS tool (MS, TS), pp. 321–322.
RERE-2012-SupakkulC #modelling #multi #requirements #tool support
The RE-Tools: A multi-notational requirements modeling toolkit (SS, LC), pp. 333–334.
RERE-2012-VrbaskiPA #reasoning #rule-based #tool support
Tool support for combined rule-based and goal-based reasoning in Context-Aware systems (MV, DCP, DA), pp. 335–336.
REFSQREFSQ-2012-BerryGST #requirements #tool support
The Case for Dumb Requirements Engineering Tools (DMB, RG, PS, SFT), pp. 211–217.
SACSAC-2012-AnwarF #data access #network #policy #social #visualisation
A visualization tool for evaluating access control policies in facebook-style social network systems (MMA, PWLF), pp. 1443–1450.
SACSAC-2012-DragoB #analysis #architecture #design #graph #manycore #named
DAG3: a tool for design and analysis of applications for multicore architectures (MLD, JB), pp. 1159–1164.
SACSAC-2012-RahmanOMCA #development #mobile
Let EcoDrive be your guide: development of a mobile tool to reduce carbon footprint and promote green transport (FR, CO, KM, JC, SIA), pp. 519–524.
SACSAC-2012-Tronicek #flexibility #java #named #refactoring
RefactoringNG: a flexible Java refactoring tool (ZT), pp. 1165–1170.
FSEFSE-2012-PasqualeMSCON #adaptation #named #security
SecuriTAS: a tool for engineering adaptive security (LP, CM, MS, LC, IO, BN), p. 19.
FSEFSE-2012-RayWK #analysis #migration #named
REPERTOIRE: a cross-system porting analysis tool for forked software projects (BR, CW, MK), p. 8.
FSEFSE-2012-ShaikhW #diagrams #ocl #performance #slicing #uml #verification
UMLtoCSP (UOST): a tool for efficient verification of UML/OCL class diagrams through model slicing (AS, UKW), p. 37.
FSEFSE-2012-ZhangKK #evolution #fault #impact analysis #java #named #source code
FaultTracer: a change impact and regression fault analysis tool for evolving Java programs (LZ, MK, SK), p. 40.
ICSEICSE-2012-Chowdhury #development #tool support
Assisting end-user development in browser-based mashup tools (SRC), pp. 1625–1627.
ICSEICSE-2012-FuhrmanCA #education #framework #re-engineering #tool support
Integrating tools and frameworks in undergraduate software engineering curriculum (CF, RC, AA), pp. 1195–1204.
ICSEICSE-2012-Johnson #case study #question #static analysis #tool support #using #why
A study on improving static analysis tools: Why are we not using them? (BJ), pp. 1607–1609.
ICSEICSE-2012-MarianiP #composition #named #plugin
MASH: A tool for end-user plug-in composition (LM, FP), pp. 1387–1390.
ICSEICSE-2012-Murphy-Hill #social
Continuous social screencasting to facilitate software tool discovery (ERMH), pp. 1317–1320.
ICSEICSE-2012-NguyenNNN #detection #named #web
BabelRef: Detection and renaming tool for cross-language program entities in dynamic web applications (HVN, HAN, TTN, TNN), pp. 1391–1394.
ICSEICSE-2012-NguyenNNN12a #code completion #graph #named
GraPacc: A graph-based pattern-oriented, context-sensitive code completion tool (ATN, HAN, TTN, TNN), pp. 1407–1410.
ICSEICSE-2012-RuscioPP #evolution #named #open source
EVOSS: A tool for managing the evolution of free and open source software systems (DDR, PP, AP), pp. 1415–1418.
ICSEICSE-2012-ZhengT12a #architecture #implementation #named
xMapper: An architecture-implementation mapping tool (YZ, RNT), pp. 1461–1462.
SLESLE-2012-AbedBSYAK #aspect-oriented #design #multi #named
TouchRAM: A Multitouch-Enabled Tool for Aspect-Oriented Software Design (WAA, VB, MS, EY, OA, JK), pp. 275–285.
SLESLE-2012-BettiniSVC #implementation #tool support #type system #xtext
Approaches and Tools for Implementing Type Systems in Xtext (LB, DS, MV, SC), pp. 392–412.
PLEASEPLEASE-2012-AcherMHCL #feature model #modelling #tool support
Languages and tools for managing feature models (MA, RM, PH, PC, PL), pp. 25–28.
PLEASEPLEASE-2012-SaratxagaAHEM #product line #variability
Product line tool-chain: variability in critical systems (CLS, CAM, ØH, CE, AM), pp. 57–60.
SPLCSPLC-2012-Elsner #staged #tool support
Light-weight tool support for staged product derivation (CE), pp. 146–155.
CGOCGO-2012-ChabbiM #named
DeadSpy: a tool to pinpoint program inefficiencies (MC, JMMC), pp. 124–134.
CAVCAV-2012-BenqueBCCFIPTV #biology #modelling #named #network #visual notation
Bma: Visual Tool for Modeling and Analyzing Biological Networks (DB, SB, CC, BC, JF, SI, NP, AST, MYV), pp. 686–692.
CAVCAV-2012-BohyBFJR #ltl #synthesis
Acacia+, a Tool for LTL Synthesis (AB, VB, EF, NJ, JFR), pp. 652–657.
CAVCAV-2012-ConchonGKMZ #model checking #named #parallel #smt
Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems — Tool Paper (SC, AG, SK, AM, FZ), pp. 718–724.
CAVCAV-2012-JaffarMNS #execution #named #symbolic computation #verification
TRACER: A Symbolic Execution Tool for Verification (JJ, VM, JAN, AES), pp. 758–766.
CAVCAV-2012-LahiriHKR #imperative #named #semantics #source code
SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs (SKL, CH, MK, HR), pp. 712–717.
CAVCAV-2012-Schwartz-NarbonneLAM #debugging #named #parallel #source code
passert: A Tool for Debugging Parallel Programs (DSN, FL, DIA, SM), pp. 751–757.
CAVCAV-2012-SinghS #named #programming
SPT: Storyboard Programming Tool (RS, ASL), pp. 738–743.
ICSTICST-2012-BorjessonF #automation #case study #comparative #industrial #testing #tool support #user interface #using #visual notation
Automated System Testing Using Visual GUI Testing Tools: A Comparative Study in Industry (EB, RF), pp. 350–359.
ICSTICST-2012-DanH12a #c #mutation testing #named #semantics #testing #tool support
SMT-C: A Semantic Mutation Testing Tools for C (HD, RMH), pp. 654–663.
ICSTICST-2012-GansR #protocol #smarttech #testing
The SmartLogic Tool: Analysing and Testing Smart Card Protocols (GdKG, JdR), pp. 864–871.
ICSTICST-2012-WehbiOB #monitoring #security #using
Events-Based Security Monitoring Using MMT Tool (BW, EMdO, MB), pp. 860–863.
ICTSSICTSS-2012-BrauerPS #modelling #performance #testing #tool support
Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools (JB, JP, US), pp. 8–23.
ICTSSICTSS-2012-ChenV #protocol #testing
Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol (NC, CV), pp. 87–102.
ICSTSAT-2012-BloomGHSSS #framework #game studies #named #parallel #satisfiability #scalability
SatX10: A Scalable Plug&Play Parallel SAT Framework — (Tool Presentation) (BB, DG, BH, AS, HS, VAS), pp. 463–468.
ICSTSAT-2012-CorziliusLJA #named
SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox — (Tool Presentation) (FC, UL, SJ, ), pp. 442–448.
ICSTSAT-2012-Hugel #named #random #satisfiability
SATLab: X-Raying Random k-SAT — (Tool Presentation) (TH), pp. 424–429.
ICSTSAT-2012-KottlerZSK #analysis #named #satisfiability
CoPAn: Exploring Recurring Patterns in Conflict Analysis of CDCL SAT Solvers — (Tool Presentation) (SK, CZ, PS, MK), pp. 449–455.
ICSTSAT-2012-Manthey #flexibility
Coprocessor 2.0 — A Flexible CNF Simplifier — (Tool Presentation) (NM), pp. 436–441.
ICSTSAT-2012-NiemetzPLSB
Resolution-Based Certificate Extraction for QBF — (Tool Presentation) (AN, MP, FL, MS, AB), pp. 430–435.
ICSTSAT-2012-TanjoTB #csp #encoding #named #order #satisfiability #using
Azucar: A SAT-Based CSP Solver Using Compact Order Encoding — (Tool Presentation) (TT, NT, MB), pp. 456–462.
TAPTAP-2012-CarlierDG #constraints #design #testing
A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest (MC, CD, AG), pp. 35–50.
ECSAECSA-2011-OliveiraN #architecture #testing #tool support
A Service-Oriented Reference Architecture for Software Testing Tools (LBRdO, EYN), pp. 405–421.
WICSAWICSA-2011-RathfelderK #architecture #component #predict
Palladio Workbench: A Quality-Prediction Tool for Component-Based Architectures (CR, BK), pp. 347–350.
WICSAWICSA-2011-SuHG11a #documentation #named #navigation #visualisation
KaitoroCap: A Document Navigation Capture and Visualisation Tool (MTS, JGH, JG), pp. 359–362.
ASEASE-2011-BergmannHHRUV #emf #implementation #performance #tool support #validation
Implementing efficient model validation in EMF tools (GB, ÁH, ÁH, IR, ZU, DV), pp. 580–583.
ASEASE-2011-EdwardsBM #editing #morphism #tool support
Isomorphism in model tools and editors (GE, YB, NM), pp. 460–463.
ASEASE-2011-GanaiAWGB #concurrent #multi #named #predict #testing #thread
BEST: A symbolic testing tool for predicting multi-threaded program failures (MKG, NA, CW, AG, GB), pp. 596–599.
ASEASE-2011-JustSK #analysis #compilation #java #mutation testing #named #performance
MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler (RJ, FS, GMK), pp. 612–615.
ASEASE-2011-KhalekYZMK #alloy #java #named #source code #specification #testing #using
TestEra: A tool for testing Java programs using alloy specifications (SAK, GY, LZ, DM, SK), pp. 608–611.
ASEASE-2011-NguyenNNN11a #difference #named
iDiff: Interaction-based program differencing tool (HAN, TTN, HVN, TNN), pp. 572–575.
ASEASE-2011-OverbeyJ #analysis #difference #lightweight #refactoring #reuse #tool support
Differential precondition checking: A lightweight, reusable analysis for refactoring tools (JLO, REJ), pp. 303–312.
ASEASE-2011-PietschYK #generative #modelling #tool support
Generating realistic test models for model processing tools (PP, HSY, UK), pp. 620–623.
ASEASE-2011-ZurowskaD #analysis #modelling #named #uml
SAUML: A tool for symbolic analysis of UML-RT models (KZ, JD), pp. 604–607.
CASECASE-2011-CabasinoCGSS #framework #integration #tool support
A software platform for the integration of discrete event systems tools (MPC, LC, AG, CS, AS), pp. 45–51.
CASECASE-2011-HaoD #incremental #optimisation #using
Optimization of tool trajectory for Incremental Sheet Forming using closed loop control (WH, SD), pp. 779–784.
CASECASE-2011-KaoZCHWLWWC #constraints
Near optimal furnace tool allocation with batching and waiting time constraints (YTK, SCZ, SCC, JHH, PW, PBL, SW, FW, JC), pp. 108–113.
CASECASE-2011-KimL #clustering #constraints #scheduling #tool support
Scheduling of cluster tools with ready time constraints for small lot production (HJK, TEL), pp. 96–101.
CASECASE-2011-KloetzerG
Software tool for constructing cell decompositions (MK, NG), pp. 507–512.
CASECASE-2011-LeeL #clustering #concurrent #multi
Concurrent processing of multiple wafer types in a single-armed cluster tool (JHL, TEL), pp. 102–107.
CASECASE-2011-QiaoWZ #analysis #clustering #modelling #tool support
Modeling and analysis of dual-arm cluster tools for wafer fabrication with revisiting (YQ, NW, MZ), pp. 90–95.
CASECASE-2011-SernaCBRC #case study #design #framework
Control software design for a cutting glass machine tool based on the COSME platform. Case study (FS, CC, AB, JMR, JMC), pp. 501–506.
DACDAC-2011-Jandhyala #automation #design #network #social #tool support #web
Physics-based field-theoretic design automation tools for social networks and web search (VJ), pp. 280–281.
DACDAC-2011-KimS #data access #memory management #named
CuMAPz: a tool to analyze memory access patterns in CUDA (YK, AS), pp. 128–133.
DACDAC-2011-PuggelliWKS #logic #question #robust #synthesis #tool support
Are logic synthesis tools robust? (AP, TW, AK, ALSV), pp. 633–638.
DATEDATE-2011-BarceloGBS #estimation #performance #scalability
An efficient and scalable STA tool with direct path estimation and exhaustive sensitization vector exploration for optimal delay computation (SB, XG, SAB, JS), pp. 1602–1607.
DATEDATE-2011-BonannoBS #analysis #energy #modelling #monitoring #optimisation #tool support
Energy analysis methods and tools for modelling and Optimizing monitoring tyre systems (AB, AB, MS), pp. 1121–1122.
DATEDATE-2011-HendryCCB #design #named #network #specification
VANDAL: A tool for the design specification of nanophotonic networks (GH, JC, LPC, KB), pp. 782–787.
DATEDATE-2011-Sifakis #component #design #tool support
Methods and tools for component-based system design (JS), p. 1022.
DATEDATE-2011-VissersNN #interface #realtime #synthesis #tool support #using
Building real-time HDTV applications in FPGAs using processors, AXI interfaces and high level synthesis tools (KAV, SN, JN), pp. 848–850.
DocEngDocEng-2011-BilaucaH #pretty-printing #tool support
Building table formatting tools (MB, PH), pp. 13–22.
DocEngDocEng-2011-LuongLN #design #framework #tool support
A framework with tools for designing web-based geographic applications (TNL, SL, TN), pp. 33–42.
DocEngDocEng-2011-TakhirovD #authoring #social #video
A cloud-based and social authoring tool for video (NT, FD), pp. 65–68.
DRRDRR-2011-BallS #automation #statistics #tool support #using
Statistical characterization of handwriting characteristics using automated tools (GRB, SNS), pp. 1–10.
HTHT-2011-JonesA #tool support
Many views, many modes, many tools & one structure (WJ, KMA), pp. 113–122.
ICDARICDAR-2011-SokratisK
A Tool for Tuning Binarization Techniques (SV, EK), pp. 1–5.
SIGMODSIGMOD-2011-PandisTBKPJA #execution #tool support #transaction
A data-oriented transaction execution engine and supporting tools (IP, PT, MB, DK, DP, RJ, AA), pp. 1237–1240.
VLDBVLDB-2011-KaushikR #detection #named
Whodunit: An Auditing Tool for Detecting Data Breaches (RK, RR), pp. 1410–1413.
VLDBVLDB-2011-MarnetteMPRS
++Spicy: an OpenSource Tool for Second-Generation Schema Mapping and Data Exchange (BM, GM, PP, SR, DS), pp. 1438–1441.
VLDBVLDB-2011-YosefHBSW #ambiguity #named #online
AIDA: An Online Tool for Accurate Disambiguation of Named Entities in Text and Tables (MAY, JH, IB, MS, GW), pp. 1450–1453.
CSEETCSEET-2011-GohLR #evaluation #named #student
Teammates: A cloud-based peer evaluation tool for student team projects (GG, XL, DCR), p. 555.
ITiCSEITiCSE-2011-BarrosBV #java #named #object-oriented #programming #sequence #source code #visualisation
Java2Sequence: a tool for the visualization of object-oriented programs in introductory programming (JPB, LB, MV), p. 369.
ITiCSEITiCSE-2011-BoyceCPCB #education #evaluation #game studies #how #learning #motivation
Experimental evaluation of BeadLoom game: how adding game elements to an educational tool improves motivation and learning (AKB, AC, SP, DC, TB), pp. 243–247.
ITiCSEITiCSE-2011-Cardell-OliverW #java #metric #tool support
UWA Java tools: harnessing software metrics to support novice programmers (RCO, PDW), p. 341.
ITiCSEITiCSE-2011-KurianMJ #generative #information retrieval #named #repository
IR2gT: a report generation tool for institutional repository (JCK, AM, BMJ), p. 371.
ITiCSEITiCSE-2011-MarkhamB #bound #twitter #using
Collaborating across international boundaries: using twitter as a tool in the classroom (SM, SB), p. 382.
ITiCSEITiCSE-2011-Moy #education #performance #student #tool support
Efficient and playful tools to teach Unix to new students (MM), pp. 93–97.
ITiCSEITiCSE-2011-PearsonBG #evaluation #process #web
A tool to support the web accessibility evaluation process for novices (EP, CB, SG), pp. 28–32.
ITiCSEITiCSE-2011-Santos #interactive #named
AGUIA/J: a tool for interactive experimentation of objects (ALS), pp. 43–47.
ITiCSEITiCSE-2011-SchweitzerBS #interactive #tool support
Interactive tools in the graphics classroom (DS, JB, LS), pp. 113–117.
ITiCSEITiCSE-2011-TremblayL
A marking language for the oto assignment marking tool (GT, PL), pp. 148–152.
ITiCSEITiCSE-2011-VirsedaM #debugging #education #semantics #source code #verification
An innovative teaching tool based on semantic tableaux for verification and debugging of programs (RdVV, FPM), p. 352.
TACASTACAS-2011-AnnpureddyLFS #hybrid #logic #named
S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems (YA, CL, GEF, SS), pp. 254–257.
TACASTACAS-2011-ChatterjeeHJS #named #synthesis
QUASY: Quantitative Synthesis Tool (KC, TAH, BJ, RS), pp. 267–271.
SCAMSCAM-J-2009-HollandD11 #classification #information management #quality #tool support
Classification and selection of tools for quality knowledge management (SH, RD), pp. 393–409.
SCAMSCAM-J-2009-TiarksKF11 #assessment #detection #state of the art #tool support
An extended assessment of type-3 clones as detected by state-of-the-art tools (RT, RK, RF), pp. 295–331.
CSMRCSMR-2011-CoteH #requirements #tool support #uml
A UML Profile and Tool Support for Evolutionary Requirements Engineering (IC, MH), pp. 161–170.
CSMRCSMR-2011-GieseckeFF #architecture #multi #tool support
Long-Term Software Architecture Management with Multi-technology Tool Support (SG, JF, MF), pp. 321–324.
ICPCICPC-2011-Burnett #programming #question #tool support
Males and Females Developing Software: Are Programming Tools Getting in the Way? (MB), p. xvii.
ICSMEICSM-2011-NogueraRKJ #query
Program querying with a SOUL: The BARISTA tool suite (CN, CDR, AK, VJ), pp. 582–585.
ICSMEICSM-2011-Perez-CastilloFGP #process
MARBLE. A business process archeology tool (RPC, MFR, IGRdG, MP), pp. 578–581.
ICSMEICSM-2011-SampathBJM #reduction #testing
A tool for combination-based prioritization and reduction of user-session-based test suites (SS, RCB, SJ, SM), pp. 574–577.
ICSMEICSM-2011-SnipesRM #analysis
Code Hot Spot: A tool for extraction and analysis of code change history (WS, BPR, ERMH), pp. 392–401.
ICSMEICSM-2011-TorresTPWY #analysis #evolution #named #visual notation
Maleku: An evolutionary visual software analysis tool for providing insights into software evolution (AGT, RT, FJGP, MW, YY), pp. 594–597.
FMFM-2011-HaxthausenKB #automation #development #modelling #verification
Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems (AEH, AAK, MLB), pp. 118–132.
SEFMSEFM-2011-GouesLM #debugging #verification
The Boogie Verification Debugger (Tool Paper) (CLG, KRML, MM), pp. 407–414.
AGTIVEAGTIVE-2011-MazanekRM #tool support
Tool Demonstration of the Transformation Judge (SM, CR, MM), pp. 97–104.
GT-VMTGT-VMT-2011-VandinL #graph #maude #model checking #towards
Towards a Maude Tool for Model Checking Temporal Graph Properties (AV, ALL).
CHICHI-2011-CostaCS #collaboration #coordination #distributed #evolution #generative #scalability #tool support
The scale and evolution of coordination needs in large-scale distributed projects: implications for the future generation of collaborative tools (JMdRC, MC, CRBdS), pp. 3151–3160.
CHICHI-2011-FrischKLD #layout #multi #tool support
Grids & guides: multi-touch layout and alignment tools (MF, SK, RL, RD), pp. 1615–1618.
CHICHI-2011-GerkenJZMR #api #concept #usability
The concept maps method as a tool to evaluate the usability of APIs (JG, HCJ, MZ, MM, HR), pp. 3373–3382.
CHICHI-2011-KinMBDHA #multi #named
Eden: a professional multitouch tool for constructing virtual organic environments (KK, TM, BB, TD, BH, MA), pp. 1343–1352.
CHICHI-2011-KleekSsK #named #people
Finders/keepers: a longitudinal study of people managing information scraps in a micro-note tool (MVK, WS, MMCS, DRK), pp. 2907–2916.
CHICHI-2011-LaquaSGG #case study #information management
Do you know dis?: a user study of a knowledge discovery tool for organizations (SL, MAS, SG, CG), pp. 2887–2896.
CHICHI-2011-LeshedS #case study #experience #quote #tool support
“I lie to myself that I have freedom in my own schedule”: productivity tools and experiences of busyness (GL, PS), pp. 905–914.
CHICHI-2011-LucaFMSHKH #internet #security #visualisation
Does MoodyBoard make internet use more secure?: evaluating an ambient security visualization tool (ADL, BF, MEM, JS, DH, NK, HH), pp. 887–890.
CHICHI-2011-MatthewsWMY #approach #collaboration #design #tool support
Collaboration personas: a new approach to designing workplace collaboration tools (TM, SW, TPM, SY), pp. 2247–2256.
CHICHI-2011-MedlerJL #game studies #online #visual notation
Data cracker: developing a visual game analytic tool for analyzing online gameplay (BM, MJ, JL), pp. 2365–2374.
CHICHI-2011-SchwandaIRC #persuasion #tool support
Side effects and “gateway” tools: advocating a broader look at evaluating persuasive systems (VS, SI, LR, DC), pp. 345–348.
CSCWCSCW-2011-Johri #communication #distributed #email #exclamation #tool support
Look ma, no email!: blogs and IRC as primary and preferred communication tools in a distributed firm (AJ), pp. 305–308.
CSCWCSCW-2011-KwonLK #locality
The Tree of Knowledge: a localized collective intelligence tool (GHK, YSL, MK), pp. 665–668.
CSCWCSCW-2011-Murphy-HillM #effectiveness #interactive #tool support
Peer interaction effectively, yet infrequently, enables programmers to discover new tools (ERMH, GCM), pp. 405–414.
HCIDHM-2011-FritzscheJLBJP #editing #performance #process #simulation
Introducing ema (Editor for Manual Work Activities) — A New Tool for Enhancing Accuracy and Efficiency of Human Simulations in Digital Production Planning (LF, RJ, WL, SB, TJ, AP), pp. 272–281.
HCIDHM-2011-LinMC
Dynamic Power Tool Operation Model: Experienced Users vs. Novice Users (JHL, RWM, CCC), pp. 394–398.
HCIDUXU-v1-2011-RitterE #segmentation #using
An Extensible Tool for the Annotation of Videos Using Segmentation and Tracking (MR, ME), pp. 295–304.
HCIDUXU-v2-2011-Capra #behaviour #human-computer #web
HCI Browser: A Tool for Administration and Data Collection for Studies of Web Search Behaviors (RC), pp. 259–268.
HCIDUXU-v2-2011-GaoZ #user satisfaction
User Satisfaction of Ali Wangwang, an Instant Messenger Tool (JG, ZZ), pp. 414–420.
HCIDUXU-v2-2011-KeatingGKPV #artificial reality #design #experience #mobile #tool support #user interface
Designing the AR Experience: Tools and Tips for Mobile Augmented Reality UX Design (GK, DG, AK, NP, AV), pp. 135–141.
HCIDUXU-v2-2011-YuI #interactive #visualisation #web
Trails-An Interactive Web History Visualization and Tagging Tool (WY, TI), pp. 77–86.
HCIHCD-2011-BoltonS #design #tool support
Culturally Situated Design Tools: Animated Support Tools for Mathematics (ATB, CDS), pp. 351–359.
HCIHCD-2011-ChoiS #approach #design #implementation #process
A Design-Supporting Tool for Implementing the Learning-Based Approach: Accommodating Users’ Domain Knowledge into Design Processes (JMC, KS), pp. 369–378.
HCIHCD-2011-KandaK #communication #people #tool support
Holistic Prosthetic Approaches to the Hearing Handicapped People: Communication Tools in Various Situations (KK, TK), pp. 313–320.
HCIHCI-DDA-2011-MerloB #agile #development #interactive #prototype
A Rapid Prototyping Tool for Interactive Device Development (MM, MB), pp. 107–113.
HCIHCI-DDA-2011-ZaragozaRBBMCR #detection
A User-Friendly Tool for Detecting the Stress Level in a Person’s Daily Life (IZ, BR, CB, RMB, IM, DC, MAR), pp. 423–431.
HCIHCI-MIIE-2011-CasillasM #documentation #process
Field to File: A Tool for Activity Documentation Work in Remote Mobility Environments (RC, ALM), pp. 3–12.
HCIHCI-MIIE-2011-MorFDF #experience #social #tool support #user interface
User Experience of Social Bookmarking Tools (EM, NF, MGD, JAMF), pp. 510–516.
HCIHCI-UA-2011-Wang11a #interactive #learning #network #student #tool support #using
Interactions between Human and Computer Networks: EFL College Students Using Computer Learning Tools in Remedial English Classes (ALW), pp. 107–112.
HCIHIMI-v1-2011-MoghaddamB #interactive #multi #named #visualisation
VICPAM: A Visualization Tool for Examining Interaction Data in Multiple Display Environments (RZM, BPB), pp. 278–287.
HCIHIMI-v1-2011-NasozBPR #metadata
A User-Centric Metadata Creation Tool for Preserving the Nation’s Ecological Data (FN, RCB, CJP, DJR), pp. 122–131.
HCIHIMI-v2-2011-GonzalezGGS #hybrid #tool support #towards
Towards Argument Representational Tools for Hybrid Argumentation Systems (MPG, SG, AJG, GRS), pp. 236–245.
HCIHIMI-v2-2011-KikenRBBKSVB #online #performance #tool support
Effect of ATC Training with NextGen Tools and Online Situation Awareness and Workload Probes on Operator Performance (AK, RCR, LPB, SB, JMK, TZS, KPLV, VB), pp. 483–492.
HCIHIMI-v2-2011-RorieKMBMMVSB #order #tool support
A Preliminary Investigation of Training Order for Introducing NextGen Tools (RCR, AK, CAM, SB, GM, KM, KPLV, TZS, VB), pp. 526–533.
HCIHIMI-v2-2011-SumiN #communication #interactive
Interactive e-Hon as Parent-Child Communication Tool (KS, MN), pp. 199–206.
HCIIDGD-2011-Yang11a #communication
Common Task-Oriented Communication Tool Applied in Radiology Department of Hospital (RY), pp. 238–247.
HCIOCSC-2011-HoltzblattD #community #enterprise #network #online
Measuring the Success of On-line Communities in an Enterprise Networking Tool (LJH, LED), pp. 188–196.
VISSOFTVISSOFT-2011-BeckTD #analysis #design #visual notation
A visual analysis and design tool for planning software reengineerings (MB, JT, JD), pp. 1–8.
VISSOFTVISSOFT-2011-ErdemirTB #graph #named #object-oriented #quality #visualisation
E-Quality: A graph based object oriented software quality visualization tool (UE, UT, FB), pp. 1–8.
VISSOFTVISSOFT-2011-MaleticMNCSR #named #scalability #tool support #visualisation
MosaiCode: Visualizing large scale software: A tool demonstration (JIM, DJM, CDN, MLC, AS, BPR), pp. 1–4.
AdaEuropeAdaEurope-2011-ChilAOP #ada #interface #using
Using Robotics as a Motivational Tool: An Ada Interface to a Pioneer Robot (RC, DA, FJO, JAP), pp. 147–159.
AdaSIGAda-2011-GaudelSPRDL #ada #analysis #design pattern #pattern matching #pattern recognition #performance #recognition
An Ada design pattern recognition tool for AADL performance analysis (VG, FS, AP, SR, PD, JL), pp. 61–68.
EDOCEDOC-2011-UotiJKOG #collaboration #configuration management #process
Project Alignment: A Configurable Model and Tool for Managing Critical Shared Processes in Collaborative Projects (MU, KJ, IK, MO, SG), pp. 87–96.
ICEISICEIS-v1-2011-MarinAV #automation #java #named #ontology #semantics
Jar2Ontology — A Tool for Automatic Extraction of Semantic Information from Java Object Code (NM, CSÁ, MAV), pp. 267–276.
ICEISICEIS-v1-2011-MeisenMSJ #integration #simulation #tool support
Application Integration of Simulation Tools Considering Domain Specific Knowledge (TM, PM, DS, SJ), pp. 42–53.
ICEISICEIS-v2-2011-GoncalvesFCFOS #modelling #multi
MAS-ML Tool — A Modeling Environment for Multi-agent Systems (EJTG, KF, MIC, ARF, FRO, VTdS), pp. 192–197.
ICEISICEIS-v2-2011-KisilevichKBTR #open source #tool support #using
Developing a Price Management Decision Support System for Hotel Brokers using Free and Open Source Tools (SK, DAK, RB, MT, LR), pp. 147–156.
ICEISICEIS-v3-2011-CamposO #development #modelling #process
Modeling Work Processes and Software Development — Notation and Tool (ALNC, TCdO), pp. 337–343.
KDIRKDIR-2011-WongLZYFXKC #case study #segmentation
Time Series Segmentation as a Discovery Tool — A Case Study of the US and Japanese Financial Markets (JCW, GHTL, YZ, WSY, RPF, DYX, JLK, SAC), pp. 52–63.
KEODKEOD-2011-AssaadG #information management #social
The Role of Social Software as a Tool for Knowledge Management (WA, JMG), pp. 512–516.
KEODKEOD-2011-CruzN #graph #ontology #xml
A Graph-based Tool for the Translation of XML Data to OWL-DL Ontologies (CC, CN), pp. 361–364.
KEODKEOD-2011-KarousosPXKT #development #learning #tool support
Development of Argumentation Skills via Learning Management Systems — Bringing together Argumentation Support Tools and Learning Management Systems (NK, SP, MNX, NIK, MT), pp. 474–477.
KMISKMIS-2011-JezekB #case study #deployment #framework #tool support
Extra-functional Properties Framework with Configuration based on Deployment Environment — Tool Demonstration and Case-study (KJ, PB), pp. 322–325.
KMISKMIS-2011-PittetCN #evolution #guidelines #ontology #tool support #version control
Guidelines for a Dynamic Ontology — Integrating Tools of Evolution and Versioning in Ontology (PP, CC, CN), pp. 173–179.
KMISKMIS-2011-SchauerZM #analysis #collaboration #enterprise #open source #tool support
A Feature-based Analysis of Open Source Tools for Enterprise 2.0 — Open Source Tools for Team Collaboration in SMEs (BS, MZ, RM), pp. 57–66.
MLDMMLDM-2011-SanchezGM #classification #reduction #tool support
Exploring Synergetic Effects of Dimensionality Reduction and Resampling Tools on Hyperspectral Imagery Data Classification (JSS, VG, RAM), pp. 511–523.
SEKESEKE-2011-BragaD #detection #information management #tool support #using
Fraud Detection in Selection Exams Using Knowledge Engineering Tools (MdMB, MARD), pp. 163–168.
SEKESEKE-2011-GuoC #analysis #comparison #ontology #tool support #visualisation
A Comparison and Analysis of Some Ontology Visualization Tools (SSG, CWC), pp. 357–362.
SEKESEKE-2011-LiuZH #modelling #petri net #pipes and filters
PIPE+ — A Modeling Tool for High Level Petri Nets (SL, RZ, XH), pp. 115–121.
SEKESEKE-2011-NetoMNAM #product line #testing
Software Product Lines System Test Case Tool: A Proposal (CRLN, IdCM, PAdMSN, ESdA, SRdLM), pp. 699–704.
SEKESEKE-2011-PossompesDHT #design #diagrams #feature model #implementation #uml
Design of a UML profile for feature diagrams and its tooling implementation (TP, CD, MH, CT), pp. 693–698.
SIGIRSIGIR-2011-RicciGBAGP #named #quality #recommendation #web
GreenMeter: a tool for assessing the quality and recommending tags for web 2.0 applications (SMRR, DAG, FMB, JMA, MAG, ROP), pp. 1279–1280.
SIGIRSIGIR-2011-WilhelmKE #comparative #component #evaluation #information retrieval
A tool for comparative IR evaluation on component level (TW, JK, ME), pp. 1291–1292.
ECMFAECMFA-2011-CombemaleGR #domain-specific language #semantics
A Generic Tool for Tracing Executions Back to a DSML’s Operational Semantics (BC, LG, VR), pp. 35–51.
ICMTICMT-2011-SeehusenS #development #evaluation #framework #modelling #visual notation
An Evaluation of the Graphical Modeling Framework (GMF) Based on the Development of the CORAS Tool (FS, KS), pp. 152–166.
OnwardOnward-2011-AnslowMM #evaluation #programming language #tool support #usability
Evaluation and usability of programming languages and tools: (PLATEAU) (CA, SM, ERMH), pp. 119–120.
OOPSLAOOPSLA-2011-FeldthausMMST #javascript #refactoring
Tool-supported refactoring for JavaScript (AF, TDM, AM, MS, FT), pp. 119–138.
OOPSLAOOPSLA-2011-JoshiGS #injection #multi #named #programmable
PREFAIL: a programmable tool for multiple-failure injection (PJ, HSG, KS), pp. 171–188.
PLATEAUPLATEAU-2011-LaTozaM #design #developer #tool support
Designing useful tools for developers (TDL, BAM), pp. 45–50.
PPDPPPDP-2011-Rybalchenko #automation #synthesis #tool support #towards #verification
Towards automatic synthesis of software verification tools (AR), pp. 3–4.
PADLPADL-2011-Christiansen #named #strict
Sloth — A Tool for Checking Minimal-Strictness (JC), pp. 160–174.
POPLPOPL-2011-Leroy #question #tool support
Verified squared: does critical software deserve verified tools? (XL), pp. 1–2.
RERE-2011-CoteHSH #analysis #named #problem #requirements #uml
UML4PF — A tool for problem-oriented requirements analysis (IC, MH, HS, DH), pp. 349–350.
RERE-2011-MahmoudN #clustering #named #traceability
TraCter: A tool for candidate traceability link clustering (AM, NN), pp. 335–336.
RERE-2011-WeiYJZ #automation #modelling #named #non-functional #reasoning
rΣ: Automated reasoning tool for non-functional requirement goal models (BW, BY, ZJ, DZ), pp. 337–338.
SACSAC-2011-LimaSM #aspect-oriented #authoring #design #hypermedia #non-functional #tool support
Considering non-functional aspects in the design of hypermedia authoring tools (BSL, LFGS, MFM), pp. 1259–1266.
SACSAC-2011-MajchrzakJK #evaluation #open source #performance #tool support
Efficiency evaluation of open source ETL tools (TAM, TJ, HK), pp. 287–294.
SACSAC-2011-SebastianC #approach #design #re-engineering #towards #using
Towards designing a tool for event reconstruction using Gladyshev Approach (MS, PC), pp. 193–194.
SACSAC-2011-SpoelstraIS #agile #concept #development #reuse
Software reuse in agile development organizations: a conceptual management tool (WS, MEI, MvS), pp. 315–322.
SACSAC-2011-WajidMNG #comprehension #documentation #enterprise #tool support
Tool support for realising a common understanding of business documents in collaborating enterprises (UW, NM, AN, PG), pp. 331–333.
ESEC-FSEESEC-FSE-2011-DemuthLE #consistency #flexibility #modelling #multi
Cross-layer modeler: a tool for flexible multilevel modeling with consistency checking (AD, RELH, AE), pp. 452–455.
ESEC-FSEESEC-FSE-2011-FalessiNSBM #design #named #safety #slicing
SafeSlice: a model slicing and design safety inspection tool for SysML (DF, SN, MS, LCB, AM), pp. 460–463.
ESEC-FSEESEC-FSE-2011-GligoricBJ #mutation testing #named #testing
SMutant: a tool for type-sensitive mutation testing in a dynamic language (MG, SB, RJ), pp. 424–427.
ESEC-FSEESEC-FSE-2011-KimK #embedded #named #reliability #scalability #testing
SCORE: a scalable concolic testing tool for reliable embedded software (YK, MK), pp. 420–423.
ESEC-FSEESEC-FSE-2011-MontrieuxWY #data access #specification #tool support #uml #verification
Tool support for UML-based specification and verification of role-based access control properties (LM, MW, YY), pp. 456–459.
ICSEICSE-2011-BellamyDMMORS #sketching #tool support
Sketching tools for ideation (RKEB, MD, JM, PM, HO, JTR, CS), pp. 808–811.
ICSEICSE-2011-BellamyJK #assessment #development #usability
Deploying CogTool: integrating quantitative usability assessment into real-world software development (RKEB, BEJ, SK), pp. 691–700.
ICSEICSE-2011-DanielDGJJMNTM #named #testing
ReAssert: a tool for repairing broken unit tests (BD, DD, TG, VJ, JJ, DM, JN, SHT, DM), pp. 1010–1012.
ICSEICSE-2011-DeissenboeckHHLW #assessment #modelling #quality
The quamoco tool chain for quality modeling and assessment (FD, LH, MH, KL, SW), pp. 1007–1009.
ICSEICSE-2011-FeinRSMGGBCLSMMSD #automation #deployment #tool support #using
Using MATCON to generate CASE tools that guide deployment of pre-packaged applications (EF, NR, SS, PM, SG, RG, MB, SKC, JL, VSS, SM, DM, BS, PD), pp. 1016–1018.
ICSEICSE-2011-ManganoDLH #design #distributed #sketching
A demonstration of a distributed software design sketching tool (NM, MD, NL, AvdH), pp. 1028–1030.
ICSEICSE-2011-MarianiPRS #automation #black box #named #testing
AutoBlackTest: a tool for automatic black-box testing (LM, MP, OR, MS), pp. 1013–1015.
ICSEICSE-2011-McVeighKM #architecture #evolution #named #tool support
Evolve: tool support for architecture evolution (AM, JK, JM), pp. 1040–1042.
ICSEICSE-2011-Sethanandha #open source #process #tool support
Improving open source software patch contribution process: methods and tools (BDS), pp. 1134–1135.
ICSEICSE-2011-ShengVEHCZ #concurrent #detection #lightweight #named
RACEZ: a lightweight and non-invasive race detection tool for production applications (TS, NV, SE, RH, WC, WZ), pp. 401–410.
ICSEICSE-2011-SillittiSV #comprehension #towards
Toward a better understanding of tool usage (AS, GS, JV), pp. 832–835.
ICSEICSE-2011-Zhang #automation #generative #hybrid #java #named #testing
Palus: a hybrid automated test generation tool for java (SZ), pp. 1182–1184.
LDTALDTA-2011-JorgensenEF #generative #named #tool support #visualisation
VLex: visualizing a lexical analyzer generator — tool demonstration (AJ, GRE, BF), p. 12.
LDTALDTA-2011-SoderbergH #editing #jastadd #semantics #tool support #using
Building semantic editors using JastAdd: tool demonstration (ES, GH), p. 11.
SPLCSPLC-2011-VierhauserHRGLS #deployment #framework #modelling #product line #tool support
A Deployment Infrastructure for Product Line Models and Tools (MV, GH, RR, PG, ML, US), pp. 287–294.
SPLCSPLC-2011-Volter #case study #domain-specific language #experience #product line #tool support
DSLs for Product Lines: Approaches, Tools, Experiences (MV), p. 353.
SPLCSPLC-2011-WendeAZK #development #modelling
Feature-Based Customisation of Tool Environments for Model-Driven Software Development (CW, UA, SZ, HK), pp. 45–54.
CGOCGO-2011-Altman #tool support
The language, optimizer, and tools mess (ERA).
PPoPPPPoPP-2011-DonaldsonKR #analysis #automation #named
SCRATCH: a tool for automatic analysis of dma races (AFD, DK, PR), pp. 311–312.
CADECADE-2011-Claessen #automation #first-order #logic #reasoning
The Anatomy of Equinox — An Extensible Automated Reasoning Tool for First-Order Logic and Beyond — (Talk Abstract) (KC), pp. 1–3.
CADECADE-2011-WinklerM #termination #tool support
AC Completion with Termination Tools (SW, AM), pp. 492–498.
CADECADE-2011-ZanklFM #confluence #named
CSI — A Confluence Tool (HZ, BF, AM), pp. 499–505.
CAVCAV-2011-BeyerK #configuration management #named #verification
CPAchecker: A Tool for Configurable Software Verification (DB, MEK), pp. 184–190.
CAVCAV-2011-DudkaPV #data type #logic #named #using
Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic (KD, PP, TV), pp. 372–378.
CAVCAV-2011-LiGR #automation #c++ #execution #generative #named #source code #symbolic computation #testing
KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs (GL, IG, SPR), pp. 609–615.
TAPTAP-2011-ChebaroKGJ #analysis #c #debugging #generative #slicing #testing
The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging (OC, NK, AG, JJ), pp. 78–83.
ECSAECSA-2010-AhujaSN #design #functional
MDA Tool for Telecom Service Functional Design (AA, JS, RN), pp. 519–522.
ECSAECSA-2010-Bashroush #automation #modelling #multi #variability
A NUI Based Multiple Perspective Variability Modeling CASE Tool (RB), pp. 523–526.
ECSAECSA-2010-SchwittekE #architecture #communication #information management #requirements #tool support
Communicating Architectural Knowledge: Requirements for Software Architecture Knowledge Management Tools (WS, SE), pp. 457–463.
ASEASE-2010-AliHGH #specification #tool support #visual notation
End-user oriented critic specification for domain-specific visual language tools (NMA, JGH, JCG, JH), pp. 297–300.
ASEASE-2010-BalzSG #maintenance #modelling #state machine #tool support
Tool support for continuous maintenance of state machine models in program code (MB, MS, MG), pp. 175–176.
ASEASE-2010-HarelMSB #named #programming #towards
PlayGo: towards a comprehensive tool for scenario based programming (DH, SM, SS, DB), pp. 359–360.
ASEASE-2010-IvanovOSV #analysis #behaviour #embedded #modelling #set #tool support
REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems (DI, MO, CCS, AV), pp. 361–362.
ASEASE-2010-KamalrudinGH #case study #requirements #tool support
Tool support for essential use cases to better capture software requirements (MK, JCG, JGH), pp. 255–264.
ASEASE-2010-KhatchadourianM #automation #java #refactoring
Enumeration refactoring: a tool for automatically converting Java constants to enumerated types (RK, BM), pp. 181–182.
ASEASE-2010-KimKP #architecture #development #quality #tool support
Tool support for quality-driven development of software architectures (SK, DKK, SP), pp. 127–130.
ASEASE-2010-MontrieuxJHYST #code generation #tool support
Tool support for code generation from a UMLsec property (LM, JJ, CBH, YY, PYS, HT), pp. 357–358.
ASEASE-2010-NohrerE #named
C2O: a tool for guided decision-making (AN, AE), pp. 363–364.
ASEASE-2010-RajeevSSR #code generation #named #testing
CoGenTe: a tool for code generator testing (ACR, PS, KCS, SR), pp. 349–350.
ASEASE-2010-RederE #design #detection #fault #named #uml #visualisation
Model/analyzer: a tool for detecting, visualizing and fixing design errors in UML (AR, AE), pp. 347–348.
ASEASE-2010-ShangAH #case study #experience #mining #pipes and filters #repository #scalability #tool support #using
An experience report on scaling tools for mining software repositories using MapReduce (WS, BA, AEH), pp. 275–284.
CASECASE-2010-AhnM #analysis #behaviour #clustering #modelling #tool support
Analysis of circular cluster tools: Transient behavior and semiconductor equipment models (YA, JRM), pp. 39–44.
CASECASE-2010-ChanR #clustering #estimation #multi #on the #scheduling #tool support
On gradient estimation of scheduling for multi-cluster tools with general robot moving times (WK(C, TMR), pp. 112–117.
CASECASE-2010-LeeL #architecture #clustering #scheduling #tool support
An open scheduling architecture for cluster tools (JHL, TEL), pp. 420–425.
CASECASE-2010-RososhanskyXL #automation #using
Coverage based tool path planning for automated polishing using contact stress theory (MR, FX, YL), pp. 592–597.
CASECASE-2010-WuZ #bound #clustering #petri net #process #scheduling #tool support
Petri net-based scheduling of time-constrained dual-arm cluster tools with bounded activity time variation (NW, MZ), pp. 465–470.
DACDAC-2010-BondD #automation #design #modelling
Automated compact dynamical modeling: an enabling tool for analog designers (BNB, LD), pp. 415–420.
DACDAC-2010-LishernessC #fault #injection #named
SCEMIT: a systemc error and mutation injection tool (PL, KT(C), pp. 228–233.
DACDAC-2010-NalamBMC #design #optimisation #prototype
Virtual prototyper (ViPro): an early design space exploration and optimization tool for SRAM designers (SN, MB, KM, BHC), pp. 138–143.
DACDAC-2010-Potkonjak #synthesis #tool support #using
Synthesis of trustable ICs using untrusted CAD tools (MP), pp. 633–634.
DATEDATE-2010-GupteJ #evaluation #fault #slicing
An evaluation of a slice fault aware tool chain (AG, PHJ), pp. 1803–1808.
DATEDATE-2010-Voget
AUTOSAR and the automotive tool chain (SV), pp. 259–262.
DocEngDocEng-2010-BilaucaH10a #authoring #documentation #layout #performance #tool support
Table layout performance of document authoring tools (MB, PH), pp. 199–202.
HTHT-2010-FossC #adaptation #authoring #generative #hypermedia #tool support #using
The next generation authoring adaptive hypermedia: using and evaluating the MOT3.0 and PEAL tools (JGKF, AIC), pp. 83–92.
SIGMODSIGMOD-2010-ThummalaB #configuration management #database #named #parametricity #visualisation
iTuned: a tool for configuring and visualizing database parameters (VT, SB), pp. 1231–1234.
VLDBVLDB-2010-LiuNSBMWC #comparison #named
XSACT: A Comparison Tool for Structured Search Results (ZL, SN, PS, SB, TM, RW, YC), pp. 1581–1584.
VLDBVLDB-2010-SunBL #image #interactive #named #visualisation
iAVATAR: An Interactive Tool for Finding and Visualizing Visual-Representative Tags in Image Search (AS, SSB, YL), pp. 1609–1612.
ITiCSEITiCSE-2010-AlemanO #implementation
SAMtool, a tool for deducing and implementing loop patterns (JLFA, YO), pp. 68–72.
ITiCSEITiCSE-2010-Almeida-MartinezURV #design #parsing #student #visualisation
Student-centered design of a parser visualization tool (FJAM, JUF, MRS, JÁVI), p. 326.
ITiCSEITiCSE-2010-HamadaS #learning
Lego NXT as a learning tool (MH, SS), p. 321.
ITiCSEITiCSE-2010-JalilNI #effectiveness
Evaluating the effectiveness of a pattern application support tool for novices (MJ, SAN, SBI), pp. 239–243.
ITiCSEITiCSE-2010-Kasyanov #graph #tool support
Support tools for graphs in computer science (VNK), p. 315.
ITiCSEITiCSE-2010-LappalainenIIK #agile #named #programming #testing
ComTest: a tool to impart TDD and unit testing to introductory level programming (VL, JI, VI, SK), pp. 63–67.
ITiCSEITiCSE-2010-MarcosHGGMGBOGVME #learning #mobile #online
A mobile learning tool to deliver online questionnaires (LdM, JRH, EG, AGC, JJM, JMG, RB, SO, JAG, EV, MMM, SE), p. 319.
ITiCSEITiCSE-2010-McDermottBE #student #tool support
Developing tools to encourage reflection in first year students blogs (RM, GB, GE), pp. 147–151.
TACASTACAS-2010-Belinfante #execution #modelling #named #online
JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution (AB), pp. 266–270.
TACASTACAS-2010-YuAB #analysis #named #php #string
Stranger: An Automata-Based String Analysis Tool for PHP (FY, MA, TB), pp. 154–157.
WRLAWRLA-2010-DuranM #equation #maude #order #specification
A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications (FD, JM), pp. 69–85.
WRLAWRLA-2010-DuranM10a #maude #order
A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories (FD, JM), pp. 86–103.
WRLAWRLA-2010-SerbanutaR #named #programming language #semantics
K-Maude: A Rewriting Based Tool for Semantics of Programming Languages (TFS, GR), pp. 104–122.
CSMRCSMR-2010-KnieselBHFCGT #design pattern #detection #tool support
DPDX--Towards a Common Result Exchange Format for Design Pattern Detection Tools (GK, AB, PH, LJF, AC, YGG, NT), pp. 232–235.
CSMRCSMR-2010-Shrinivasan #migration #using
Data Migration from a Product to a Data Warehouse Using ETL Tool (CS), pp. 63–65.
ICPCICPC-2010-AmalfitanoFPT #ajax #comprehension #named #web
DynaRIA: A Tool for Ajax Web Application Comprehension (DA, ARF, AP, PT), pp. 46–47.
ICPCICPC-2010-BernardiL #identification #object-oriented
The ConAn Tool to Identify Crosscutting Concerns in Object Oriented Systems (MLB, GADL), pp. 48–49.
ICPCICPC-2010-BeyerF #dependence #detection #low level #named
DepDigger: A Tool for Detecting Complex Low-Level Dependencies (DB, AF), pp. 40–41.
ICPCICPC-2010-BeyerF10a #dependence #named
CheckDep: A Tool for Tracking Software Dependencies (DB, AF), pp. 42–43.
ICPCICPC-2010-OlszakJ #analysis #java #named
Featureous: A Tool for Feature-Centric Analysis of Java Software (AO, BNJ), pp. 44–45.
ICPCICPC-2010-RollsJS #automation #benchmark #collaboration #metric #named
Unibench: A Tool for Automated and Collaborative Benchmarking (DR, CJ, SBS), pp. 50–51.
ICSMEICSM-2010-ChoudharyVO10a #testing #web
A cross-browser web application testing tool (SRC, HV, AO), pp. 1–6.
PEPMPEPM-2010-AlbertGP #bytecode #generative #java #named #partial evaluation #testing
PET: a partial evaluation-based test case generation tool for Java bytecode (EA, MGZ, GP), pp. 25–28.
PEPMPEPM-2010-Hofmann #functional #induction #named #programming
IGOR2 — an analytical inductive functional programming system: tool demo (MH0), pp. 29–32.
PLDIPLDI-2010-RuwaseCGM #correctness #optimisation #tool support
Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools (OR, SC, PBG, TCM), pp. 25–35.
SEFMSEFM-2010-HakimipourSW #java #named #realtime
TART: Timed-Automata to Real-Time Java Tool (NH, PAS, AJW), pp. 299–309.
ICGTICGT-2010-Biermann #emf #formal method #graph transformation #model transformation
EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment (EB), pp. 381–383.
ICGTICGT-2010-Esparza #concurrent #tool support
A False History of True Concurrency: From Petri to Tools (JE), pp. 1–2.
CHICHI-2010-AshbrookS #design #gesture #named
MAGIC: a motion gesture design tool (DA, TS), pp. 2159–2168.
CHICHI-2010-BalakrishnanMM #tool support
Fitting an activity-centric system into an ecology of workplace tools (ADB, TM, TPM), pp. 787–790.
CHICHI-2010-BonanniHZCI #design #web
Small business applications of sourcemap: a web tool for sustainable design and supply chain transparency (LB, MH, DZ, CC, HI), pp. 937–946.
CHICHI-2010-CapraMVM #collaboration #learning #multi
Tools-at-hand and learning in multi-session, collaborative search (RGC, GM, JVM, KM), pp. 951–960.
CHICHI-2010-FaridaniBRG #online #scalability
Opinion space: a scalable tool for browsing online comments (SF, EB, KR, KYG), pp. 1175–1184.
CHICHI-2010-GrigoreanuBR #approach #debugging #design #tool support
A strategy-centric approach to the design of end-user debugging tools (VG, MMB, GGR), pp. 713–722.
CHICHI-2010-GrossmanF #comprehension #named #video
ToolClips: an investigation of contextual video assistance for functionality understanding (TG, GWF), pp. 1515–1524.
CHICHI-2010-LiCEDL #automation #interactive #logic #named #prototype #testing
FrameWire: a tool for automatically extracting interaction logic from paper prototyping tests (YL, XC, KE, MD, JAL), pp. 503–512.
CSCWCSCW-2010-Cataldo #collaboration #development #distributed #fault #tool support
Sources of errors in distributed development projects: implications for collaborative tools (MC), pp. 281–290.
CSCWCSCW-2010-SetlockF #cost analysis #tool support #what
What’s it worth to you?: the costs and affordances of CMC tools to asian and american users (LDS, SRF), pp. 341–350.
SOFTVISSOFTVIS-2010-HelminenM #named #programming #python #visualisation
Jype — a program visualization and programming exercise tool for Python (JH, LM), pp. 153–162.
SOFTVISSOFTVIS-2010-JohnsonM #concurrent #execution #named #source code #visualisation
Beat: a tool for visualizing the execution of object orientated concurrent programs (PJ, SM), pp. 225–226.
SOFTVISSOFTVIS-2010-MedaniHBKLMPSY #graph #visualisation
Graph works — pilot graph theory visualization tool (DM, GH, CB, PK, NL, TM, SP, RS, AY), pp. 205–206.
EDOCEDOC-2010-NezhadBGSS #approach #process
IT Support Conversation Manager: A Conversation-Centered Approach and Tool for Managing Best Practice IT Processes (HRMN, CB, SG, SS, SS), pp. 247–256.
ICEISICEIS-AIDSS-2010-PortelaAROG #automation #detection #framework #game studies #performance
An Intelligent Framework for Automatic Event Detection in Robotic Soccer Games — An Auxiliar Tool to Help Coaches Improve their Teams’ Performance (JP, PA, LPR, ECO, JG), pp. 244–249.
ICEISICEIS-AIDSS-2010-TomeAC #architecture #enterprise #experience #named
TREEAD — A Tool that Enables the Re-use of Experience in Enterprise Architecture Description (PT, LA, EC), pp. 332–343.
ICEISICEIS-HCI-2010-ArmeniseBT #adaptation #automation #web
A Tool for Automatic Adaptation of Web Pages to Different Screen Size (RA, CB, LT), pp. 91–98.
ICEISICEIS-HCI-2010-FardounVGRG #mobile #tool support
New Era of m-Learning Tools — Creation of MPrinceTool a Mobile Educative Tool (HF, PGV, JEG, GSR, EdlG), pp. 161–167.
ICEISICEIS-HCI-2010-TaggKB #tool support
Encouraging a Culture Change in Task Management within PIM Tools (RT, LK, TB), pp. 137–142.
ICEISICEIS-ISAS-2010-PerezMDM #metric #quality #requirements #tool support
Quality Measurement Model for Requirements Engineering Floss Tools (MAP, EMM, KD, LEM), pp. 249–254.
ICEISICEIS-ISAS-2010-VolkelA #information management #requirements #tool support
Requirements for Personal Knowledge Management Tools (MV, AA), pp. 332–337.
CIKMCIKM-2010-ChengOWZ #graph #named #web #web service
WS-GraphMatching: a web service tool for graph matching (QC, MO, JW, AZ), pp. 1949–1950.
CIKMCIKM-2010-ZhangMWW #approach #automation #database #formal method #object-oriented #ontology
Formal approach and automated tool for constructing ontology from object-oriented database model (FZ, ZMM, XW, YW), pp. 1329–1332.
CIKMCIKM-2010-ZhaoTHOJL #communication #social
Communication motifs: a tool to characterize social communications (QZ, YT, QH, NO, RJ, WCL), pp. 1645–1648.
ICPRICPR-2010-SeoAD #classification #evaluation #performance #segmentation #tool support
Performance Evaluation Tools for Zone Segmentation and Classification (PETS) (WS, MA, DSD), pp. 503–506.
KDIRKDIR-2010-Vazquez-RodriguezPGFC #data mining #mining #visual notation
A New Visual Data Mining Tool for gvSIG GIS (RVR, CPR, IYGH, AFM, JCTC), pp. 428–431.
KMISKMIS-2010-AlvaroCPCCGC #information management #microblog #named #semantics
miKrow — An Intra-enterprise Semantic Microblogging Tool as a Micro-knowledge Management Solution (, CC, VP, MC, FC, JMGP, JC), pp. 36–43.
KMISKMIS-2010-ButanOSCP #information management #process
A New Knowledge Management Tool to Facilitate Process Innovation in Manufacturing Companies (DB, EO, MS, SC, MP), pp. 342–347.
KMISKMIS-2010-MacePM #editing #ontology #security
Ontology Editing Tool for Information Security and Human Factors Experts (JCM, SEP, APAvM), pp. 207–212.
KMISKMIS-2010-MoraisA #information management #named
AGRUPE — A Knowledge Management Tool (AMM, MCBA), pp. 290–293.
KMISKMIS-2010-WiilGM #analysis #information management #network
CrimeFighter Assistant — A Knowledge Management Tool for Terrorist Network Analysis (UKW, JG, NM), pp. 15–24.
SEKESEKE-2010-BinGHMMPRST #hardware #ontology #tool support #verification
Ontology-Based Tools in the Service of Hardware Verification (EB, AG, KH, EM, RM, OP, MR, GS, ET), pp. 303–308.
SEKESEKE-2010-CunhaCNAM #analysis #debugging #visual notation
A Visual Bug Report Analysis and Search Tool (CEAdC, YCC, PAdMSN, ESdA, SRdLM), pp. 742–747.
SEKESEKE-2010-EsfahaniS #architecture #automation #communication
Service Automation Architecture as adopted by Unified Communication Audit Tool (SSE, TS), pp. 443–447.
SEKESEKE-2010-GuoCH #modelling #ontology #tool support #visualisation
Tools for Ontology Modeling and Visualization (SSG, CWC, RH), pp. 604–607.
SEKESEKE-2010-Suarez-FigueroaGMV #development #ontology #scheduling
gOntt, a Tool for Scheduling and Executing Ontology Development Projects (MdCSF, AGP, ÓMG, MV), pp. 614–619.
SIGIRSIGIR-2010-HuangAH #classification #recommendation #tool support
Medical search and classification tools for recommendation (XH, AA, QH), p. 707.
ECMFAECMFA-2010-BruneliereCCJB #eclipse #modelling #tool support #towards
Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools (HB, JC, CC, FJ, JB), pp. 32–47.
ECMFAECMFA-2010-JohannesF #abstraction #composition #framework #modelling #network #reuse #using
Adding Abstraction and Reuse to a Network Modelling Tool Using the Reuseware Composition Framework (JJ, MAF), pp. 132–143.
MODELSMoDELS-v1-2010-ArendtBJKT #concept #emf #model transformation #named #tool support
Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations (TA, EB, SJ, CK, GT), pp. 121–135.
MODELSMoDELS-v1-2010-RoseHWKGPP #comparison #migration #tool support
A Comparison of Model Migration Tools (LMR, MH, JRW, DSK, KG, RFP, FACP), pp. 61–75.
ECOOPECOOP-2010-RenggliGN #tool support
Embedding Languages without Breaking Tools (LR, TG, ON), pp. 380–404.
OOPSLAOOPSLA-2010-OssherBSAACDVFK #analysis #architecture #challenge #concept #flexibility #modelling #research #tool support
Flexible modeling tools for pre-requirements analysis: conceptual architecture and research challenges (HO, RKEB, IS, DA, AAT, MC, MD, JdV, AF, SK), pp. 848–864.
TOOLSTOOLS-EUROPE-2010-HalleuxT #named
Moles: Tool-Assisted Environment Isolation with Closures (JdH, NT), pp. 253–270.
QAPLQAPL-2010-StefanekHB #analysis #parallel #performance
A new tool for the performance analysis of massively parallel computer systems (AS, RAH, JTB), pp. 159–181.
RERE-2010-ChenYJ #named #problem
Dptool: A Tool for Supporting the Problem Description and Projection (XC, BY, ZJ), pp. 401–402.
RERE-2010-Gervasi #design #interactive #problem
Who Framed Roger User? Problem Frames as a User Interaction Design Tool (VG), pp. 377–378.
RERE-2010-Kof #automation #documentation #interactive #modelling #requirements
From Requirements Documents to System Models: A Tool for Interactive Semi-Automatic Translation (LK), pp. 391–392.
RERE-2010-SeyffGM #mobile #tool support #using
Using Mobile RE Tools to Give End-Users Their Own Voice (NS, FG, NAMM), pp. 37–46.
REFSQREFSQ-2010-BittnerRW #case study #multi #product line #requirements
A Case Study on Tool-Supported Multi-level Requirements Management in Complex Product Families (MB, MOR, MW), pp. 173–187.
REFSQREFSQ-2010-GleichCK #ambiguity #detection #towards
Ambiguity Detection: Towards a Tool Explaining Ambiguity Sources (BG, OC, LK), pp. 218–232.
SACSAC-2010-BucchiaroneGFT #experience #natural language #requirements #scalability #set #using
An experience in using a tool for evaluating a large set of natural language requirements (AB, SG, AF, GT), pp. 281–286.
SACSAC-2010-CesariLPT #agile #development
A tool for rapid development of WS-BPEL applications (LC, AL, RP, FT), pp. 2438–2442.
SACSAC-2010-ChamberlainBFB #architecture #development
Application-guided tool development for architecturally diverse computation (RDC, JB, MAF, JHB), pp. 496–501.
SACSAC-2010-JohanssonC #enterprise #requirements #tool support
Software tools for requirements management in an ERP system context (BJ, RAdC), pp. 169–170.
SACSAC-2010-Lee-KlenzSW #elicitation #framework #requirements
A requirements elicitation framework and tool for sourcing business-IT aligned e-services (SLK, PS, TWH), pp. 111–117.
SACSAC-2010-MalkowskiHJPN #empirical #named
CloudXplor: a tool for configuration planning in clouds based on empirical data (SM, MH, DJ, CP, DN), pp. 391–398.
SACSAC-2010-NingYPM #mining #named #visualisation
OncoViz: a user-centric mining and visualization tool for cancer-related literature (ZN, JSY, MJP, AMM), pp. 1827–1828.
FSEFSE-2010-BadreddinL #case study #industrial #prototype #research
A study of applying a research prototype tool in industrial practice (OBB, TCL), pp. 353–356.
FSEFSE-2010-JinOX #behaviour #named #testing
BERT: a tool for behavioral regression testing (WJ, AO, TX), pp. 361–362.
FSEFSE-2010-KimGLR #logic #named #query #re-engineering #refactoring
Ref-Finder: a refactoring reconstruction tool based on logic query templates (MK, MG, AL, NR), pp. 371–372.
FSEFSE-2010-LauterburgKMA #named #source code #testing
Basset: a tool for systematic testing of actor programs (SL, RKK, DM, GA), pp. 363–364.
ICSEICSE-2010-DettenMT #reverse engineering
Reverse engineering with the reclipse tool suite (MvD, MM, DT), pp. 299–300.
ICSEICSE-2010-HattoriL #collaboration #development #named
Syde: a tool for collaborative software development (LH, ML), pp. 235–238.
ICSEICSE-2010-HenklerMSDN #component #integration #legacy #realtime
Legacy component integration by the Fujaba real-time tool suite (SH, JM, WS, MvD, UN), pp. 267–270.
ICSEICSE-2010-Hill #execution #integration #modelling #named #testing
CUTS: a system execution modeling tool for realizing continuous system integration testing (JHH), pp. 309–310.
ICSEICSE-2010-LohK #difference #identification #named
LSdiff: a program differencing tool to identify systematic structural differences (AL, MK), pp. 263–266.
ICSEICSE-2010-LunaBGR #agile #development #flexibility #testing #web
A flexible tool suite for change-aware test-driven development of web applications (ERL, JB, JG, GR), pp. 297–298.
ICSEICSE-2010-LunguL #ecosystem #reverse engineering
The small project observatory: a tool for reverse engineering software ecosystems (ML, ML), pp. 289–292.
ICSEICSE-2010-NandaGSCSB #tool support
Making defect-finding tools work for you (MGN, MG, SS, SC, DS, PB), pp. 99–108.
ICSEICSE-2010-SavageRP #feature model #named
FLAT3: feature location and textual tracing tool (TS, MR, DP), pp. 255–258.
LDTALDTA-J-2007-CamachoMBV #automation #generative #tool support #using #verification
Automated generation of program translation and verification tools using annotated grammars (DOC, KM, MvdB, JJV), pp. 3–20.
LDTALDTA-J-2007-Schmitz #ambiguity #detection
An experimental ambiguity detection tool (SS), pp. 71–84.
LDTALDTA-2009-BoylandS10 #generative #parsing #recursion
TOOL PAPER: ScalaBison Recursive Ascent-Descent Parser Generator (JB, DS), pp. 65–74.
LDTALDTA-2010-KlintSV #domain-specific language #implementation #maintenance #on the #tool support
On the impact of DSL tools on the maintainability of language implementations (PK, TvdS, JJV), p. 10.
HPDCHPDC-2010-HuangSILLWJ #named #pipes and filters #realtime
MR-scope: a real-time tracing tool for MapReduce (DH, XS, SI, LL, HL, SW, HJ), pp. 849–855.
HPDCHPDC-2010-PlossMMGG #evaluation #multi #named #performance
Netlag: a performance evaluation tool for massively multi-user networked applications (AP, DM, PM, FG, SG), pp. 573–580.
HPDCHPDC-2010-TanakaT #data-driven #distributed #flexibility #named #parallel #workflow
Pwrake: a parallel and distributed flexible workflow management tool for wide-area data intensive computing (MT, OT), pp. 356–359.
PPoPPPPoPP-2010-BaghsorkhiDPGH #adaptation #architecture #gpu #modelling #performance
An adaptive performance modeling tool for GPU architectures (SSB, MD, SJP, WDG, WmWH), pp. 105–114.
CAVCAV-2010-BloemCGHKRSS #analysis #named #requirements #synthesis
RATSY — A New Requirements Analysis Tool with Synthesis (RB, AC, KG, GH, RK, MR, VS, RS), pp. 425–429.
CAVCAV-2010-BraytonM #named #verification
ABC: An Academic Industrial-Strength Verification Tool (RKB, AM), pp. 24–40.
CAVCAV-2010-KuncakMPS #functional #named #synthesis
Comfusy: A Tool for Complete Functional Synthesis (VK, MM, RP, PS), pp. 430–433.
CAVCAV-2010-MazoDT #embedded #named #synthesis
PESSOA: A Tool for Embedded Controller Synthesis (MMJ, AD, PT), pp. 566–569.
ICSTICST-2010-NguyenWR #graph #named
GraphSeq: A Graph Matching Tool for the Extraction of Mobility Patterns (MDN, HW, NR), pp. 195–204.
ICSTICST-2010-VosBLKWW #automation #industrial #testing
Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool (TEJV, AIB, FFL, PMK, AW, JW), pp. 175–184.
ICTSSICTSS-2010-DelamareMBT #aspect-oriented #impact analysis #named #testing #weaving
Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases (RD, FM, BB, YLT), pp. 250–265.
ICTSSICTSS-2010-ShinboTAHS #network #performance #testing
Practical End-to-End Performance Testing Tool for High Speed 3G-Based Networks (HS, AT, SA, TH, KS), pp. 205–220.
IJCARIJCAR-2010-WinklerM #order #termination #tool support
Termination Tools in Ordered Completion (SW, AM), pp. 518–532.
ISSTAISSTA-2010-OstrandW #fault #predict
Software fault prediction tool (TJO, EJW), pp. 275–278.
LICSLICS-2010-Plotkin #tool support
Robin Milner, a Craftsman of Tools for the Mind (GDP), pp. 58–59.
WICSA-ECSAWICSA-ECSA-2009-GarlanBSC #architecture #evolution #tool support
Evolution styles: Foundations and tool support for software architecture evolution (DG, JMB, BRS, OC), pp. 131–140.
WICSA-ECSAWICSA-ECSA-2009-HenttonenM #architecture #open source #reuse #tool support
Open source based tools for sharing and reuse of software architectural knowledge (KH, MM), pp. 41–50.
WICSA-ECSAWICSA-ECSA-2009-Konemann #concept #modelling #tool support #uml
Integrating decision management with UML modeling concepts and tools (PK), pp. 297–300.
WICSA-ECSAWICSA-ECSA-2009-ShahinLK #architecture #design #modelling #tool support
Architectural design decision: Existing models and tools (MS, PL, MRK), pp. 293–296.
ASEASE-2009-CavadaCMMMMPRST #requirements #validation
Supporting Requirements Validation: The EuRailCheck Tool (RC, AC, AM, CM, AM, SM, MP, MR, AS, ST), pp. 665–667.
ASEASE-2009-DeeptimahantiB #automation #generative #modelling #natural language #requirements #uml
An Automated Tool for Generating UML Models from Natural Language Requirements (DKD, MAB), pp. 680–682.
ASEASE-2009-GherbiKKHT #generative #validation
A Tool Suite for the Generation and Validation of Configurations for Software Availability (AG, AK, FK, AHL, MT), pp. 671–673.
ASEASE-2009-GrunbacherRDL #case study #deployment #experience #industrial #modelling #tool support
Model-Based Customization and Deployment of Eclipse-Based Tools: Industrial Experiences (PG, RR, DD, ML), pp. 247–256.
ASEASE-2009-Kamalrudin #automation #consistency #nondeterminism #requirements #tool support
Automated Software Tool Support for Checking the Inconsistency of Requirements (MK), pp. 693–697.
ASEASE-2009-Maalej #integration #revisited #tool support
Task-First or Context-First? Tool Integration Revisited (WM), pp. 344–355.
ASEASE-2009-SaekiHK #analysis #requirements
A Tool for Attributed Goal-Oriented Requirements Analysis (MS, SH, HK), pp. 674–676.
CASECASE-2009-BalajiGK #case study #using
Selection of a machine tool for FMS using ELECTRE III — a case study (CMB, AG, RK), pp. 171–176.
CASECASE-2009-GoswamiSBC
A DECOMSYS based tool-chain for analyzing FlexRay based automotive control applications (DG, PS, UDB, SC), pp. 403–408.
CASECASE-2009-Morrison #clustering #modelling #process #tool support
Regular flow line models for semiconductor cluster tools: A case of lot dependent process times (JRM), pp. 561–566.
CASECASE-2009-WuCCZ #approach #clustering #novel #scheduling #tool support
A novel approach to scheduling of single-arm cluster tools with wafer revisiting (NW, FC, CC, MZ), pp. 567–572.
DACDAC-2009-ArfaeeILFK #linear #multi #named #performance
Xquasher: a tool for efficient computation of multiple linear expressions (AA, AI, NL, FF, RK), pp. 254–257.
DATEDATE-2009-BauerSH #architecture #configuration management #design
Cross-architectural design space exploration tool for reconfigurable processors (LB, MS, JH), pp. 958–963.
DATEDATE-2009-ChangHL #adaptation #concurrent #embedded #manycore #named #testing
pTest: An adaptive testing tool for concurrent software on embedded multicore processors (SWC, KYH, JKL), pp. 1012–1017.
DATEDATE-2009-KhajehGDKEKA #design #memory management #named #reliability
TRAM: A tool for Temperature and Reliability Aware Memory Design (AK, AG, ND, FJK, AME, KSK, MSA), pp. 340–345.
DATEDATE-2009-LiC #architecture #bibliography #memory management #tool support
An overview of non-volatile memory technology and the implication for tools and architectures (HL, YC), pp. 731–736.
DATEDATE-2009-SeiculescuMBM #3d #network #synthesis
SunFloor 3D: A tool for Networks On Chip topology synthesis for 3D systems on chips (CS, SM, LB, GDM), pp. 9–14.
HTHT-2009-MitchellM #authoring #design #hypermedia #multi #tool support
Designing hypertext tools to facilitate authoring multiple points-of-view stories (AM, KM), pp. 309–316.
ICDARICDAR-2009-YinWL #documentation
A Tool for Ground-Truthing Text Lines and Characters in Off-Line Handwritten Chinese Documents (FY, QFW, CLL), pp. 951–955.
VLDBVLDB-2009-BorisovBURS #database #named #network #problem
DIADS: A Problem Diagnosis Tool for Databases and Storage Area Networks (NB, SB, SU, RR, AS), pp. 1546–1549.
VLDBVLDB-2009-DaiGBBL #analysis #interactive #named
TIAMAT: a Tool for Interactive Analysis of Microdata Anonymization Techniques (CD, GG, EB, JWB, NL), pp. 1618–1621.
VLDBVLDB-2009-PichlerS #modelling #named
DEMo: Data Exchange Modeling Tool (RP, VS), pp. 1606–1609.
CSEETCSEET-2009-BreretonTK #bibliography #education #empirical #programming #student
Pair programming as a teaching tool: a student review of empirical studies (PB, MT, RK), pp. 240–247.
CSEETCSEET-2009-GargV #assessment #case study #re-engineering #tool support
Case Studies as Assessment Tools in Software Engineering Classrooms (KG, VV), pp. 8–11.
ITiCSEITiCSE-2009-AhoniemiK
Analyzing the use of a rubric-based grading tool (TA, VK), pp. 333–337.
ITiCSEITiCSE-2009-Almeida-MartinezUV #education #named #visualisation
VAST: a visualization-based educational tool for language processors courses (FJAM, JUF, JÁVI), p. 342.
ITiCSEITiCSE-2009-AltinBEKOSSSMPR09a #experience #learning #student #tool support #user interface
Use of intuitive tools to enhance student learning and user experience (RA, MB, NE, CK, ÖCÖ, MS, HS, DS, CCM, CP, CRR), p. 365.
ITiCSEITiCSE-2009-AuvinenKA #assessment #authoring #feedback #named #online #personalisation
Rubyric: an online assessment tool for effortless authoring of personalized feedback (TA, VK, TA), p. 377.
ITiCSEITiCSE-2009-Boisvert #process #programming #visualisation
A visualisation tool for the programming process (CB), pp. 328–332.
ITiCSEITiCSE-2009-BryfczynskiP #graph #named
GraphPad: a graph creation tool for CS2/CS7 (SPB, RPP), p. 389.
ITiCSEITiCSE-2009-ChandrasekarTP #effectiveness #tablet
WriteOn1.0: a tablet PC-based tool for effective classroom instruction (SC, JGT, JCP), pp. 323–327.
ITiCSEITiCSE-2009-Dooley #using
Peer assessments using the moodle workshop tool (JFD), p. 344.
ITiCSEITiCSE-2009-Inghelbrecht #design #education #tool support
Tool support for teaching responsibility-driven design (YI), p. 351.
ITiCSEITiCSE-2009-ThomasWS #automation #diagrams #tool support
Generalised diagram revision tools with automatic marking (PGT, KGW, NS), pp. 318–322.
ESOPESOP-2009-Eber #contract #design #programming language #question #specification #tool support #what
The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design? (JME), pp. 205–206.
TACASTACAS-2009-BerwangerCWDH #game studies #named
Alpaga: A Tool for Solving Parity Games with Imperfect Information (DB, KC, MDW, LD, TAH), pp. 58–61.
TACASTACAS-2009-GofmanLSZYS #analysis #data access #named #policy
RBAC-PAT: A Policy Analysis Tool for Role Based Access Control (MIG, RL, ACS, YZ, PY, SDS), pp. 46–49.
TACASTACAS-2009-NaumovichBG #bound #named #performance #petri net
ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets (EPN, SB, MG), pp. 50–53.
ICPCICPC-J-2008-RoyCK09 #approach #clone detection #comparison #detection #evaluation #tool support
Comparison and evaluation of code clone detection techniques and tools: A qualitative approach (CKR, JRC, RK), pp. 470–495.
CSMRCSMR-2009-BrandRS #flexibility #named #visual notation
SQuAVisiT: A Flexible Tool for Visual Software Analytics (MvdB, SAR, AS), pp. 331–332.
CSMRCSMR-2009-EkstedtFJLSUB #analysis #architecture #enterprise #maintenance
A Tool for Enterprise Architecture Analysis of Maintainability (ME, UF, PJ, RL, TS, JU, MB), pp. 327–328.
CSMRCSMR-2009-Laitila #analysis #comprehension #named
SymAnalyzer: A Symbolic Analysis Tool for Program Comprehension (EL), pp. 325–326.
CSMRCSMR-2009-SoriaPC #architecture #fault #locality #modelling #tool support #using
Tool Support for Fault Localization Using Architectural Models (AS, JADP, MRC), pp. 59–68.
ICPCICPC-2009-JeffreyFGG #debugging #developer #named
BugFix: A learning-based tool to assist developers in fixing bugs (DJ, MF, NG, RG), pp. 70–79.
ICPCICPC-2009-PortoMF #comprehension #named #visualisation
CRISTA: A tool to support code comprehension based on visualization and reading technique (DP, MGM, SCPFF), pp. 285–286.
ICSMEICSM-2009-GrechanikXF #assessment #maintenance #testing
Experimental assessment of manual versus tool-based maintenance of GUI-directed test scripts (MG, QX, CF), pp. 9–18.
ICSMEICSM-2009-VillazonBMA #aspect-oriented #development #flexibility #named #programming
MAJOR: Flexible tool development with aspect-oriented programming (AV, WB, PM, DA), pp. 387–388.
SCAMSCAM-2009-TiarksKF #assessment #detection #state of the art #tool support
An Assessment of Type-3 Clones as Detected by State-of-the-Art Tools (RT, RK, RF), pp. 67–76.
SCAMSCAM-2009-Ward09a #maintenance #tool support
The FermaT Maintenance Environment Tool Demonstration (MPW), pp. 125–126.
WCREWCRE-1999-BernardiL99a #analysis #identification #named #object-oriented
ConAn: A Tool for the Identification of Crosscutting Concerns in Object Oriented Systems Based on Type Hierarchy Analysis (MLB, GADL), pp. 319–320.
WCREWCRE-1999-KawaguchiYUFKNI99a #automation #clone detection #detection #ide #named
SHINOBI: A Tool for Automatic Code Clone Detection in the IDE (SK, TY, HU, KF, YK, MN, HI), pp. 313–314.
WCREWCRE-1999-Perez-CastilloGCPP99a #database #named #relational #reverse engineering #web #web service
PRECISO: A Reverse Engineering Tool to Discover Web Services from Relational Databases (RPC, IGRdG, IC, MP, MP), pp. 309–310.
CIAACIAA-2009-Savary #finite #multi #named
Multiflex: A Multilingual Finite-State Tool for Multi-Word Units (AS), pp. 237–240.
FMFM-2009-Boute #logic #unification
Making Temporal Logic Calculational: A Tool for Unification and Discovery (RTB), pp. 387–402.
FMFM-2009-LausdahlLL #tool support #uml
Connecting UML and VDM++ with Open Tool Support (KL, HKAL, PGL), pp. 563–578.
FMFM-2009-SaidBS #refinement #state machine #tool support #uml
Language and Tool Support for Class and State Machine Refinement in UML-B (MYS, MJB, CFS), pp. 579–595.
SEFMSEFM-2009-ColomboPS #java #monitoring #realtime #source code
LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper) (CC, GJP, GS), pp. 33–37.
SEFMSEFM-2009-HoangFA #tool support
Event-B Patterns and Their Tool Support (TSH, AF, JRA), pp. 210–219.
ICFPICFP-2009-FlattBF #ad hoc #documentation #named #tool support
Scribble: closing the book on ad hoc documentation tools (MF, EB, RBF), pp. 109–120.
ICFPICFP-2009-PaganoAMCCWMC #case study #certification #embedded #experience #framework #ml #safety #tool support #using
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework (BP, OA, TM, BC, EC, PW, PM, JLC), pp. 215–220.
CHICHI-2009-FaureCR #tool support
Power tools for copying and moving: useful stuff for your desktop (GF, OC, NR), pp. 1675–1678.
CHICHI-2009-FroehlichDKMCHL #mobile #named
UbiGreen: investigating a mobile tool for tracking and supporting green transportation habits (JF, TD, PVK, JM, SC, BLH, JAL), pp. 1043–1052.
CHICHI-2009-KassilS #evaluation
Evaluation of a tool-mounted guidance display for computer-assisted surgery (KK, AJS), pp. 1275–1278.
CHICHI-2009-KleekBPVKS #lightweight
Note to self: examining personal information keeping in a lightweight note-taking tool (MVK, MSB, KP, GGV, DRK, MMCS), pp. 1477–1480.
CHICHI-2009-LichtschlagKB #named
Fly: a tool to author planar presentations (LL, TK, JOB), pp. 547–556.
CHICHI-2009-LoveJTH #assessment #learning #predict
Learning to predict information needs: context-aware display as a cognitive aid and an assessment tool (BCL, MJ, MTT, MH), pp. 1351–1360.
CHICHI-2009-PirolliWS #wiki
So you know you’re getting the best possible information: a tool that increases Wikipedia credibility (PP, EW, BS), pp. 1505–1508.
HCIDHM-2009-FaustC #3d
3D Body Scanning’s Contribution to the Use of Apparel as an Identity Construction Tool (MEF, SC), pp. 19–28.
HCIHCD-2009-BradshawFJBBEJLUD #process #tool support
From Tools to Teammates: Joint Activity in Human-Agent-Robot Teams (JMB, PJF, MJ, MRB, LB, TCE, HJ, JL, AU, JvD), pp. 935–944.
HCIHCD-2009-FuKN #distributed #web
Web Orchestration: Customization and Sharing Tool for Web Information (LF, TK, FN), pp. 689–696.
HCIHCD-2009-Hasegawa #architecture #exclamation #prototype
Site-it!: An Information Architecture Prototyping Tool (AH), pp. 707–711.
HCIHCD-2009-MejiaMFOP #communication #concept #design #development #evaluation
Evaluating Design Concepts to Support Informal Communication in Hospitals through the Development of a Tool Based on an Iterative Evaluation (DAM, ALM, JF, SFO, JAP), pp. 1013–1022.
HCIHCD-2009-RunonenM #concept #development #research #tool support
Shaping the Future with Users — Futures Research Methods as Tools for User-Centered Concept Development (MR, PM), pp. 904–911.
HCIHCI-NIMT-2009-KoudaKS #design #interface #using
Motion Stroke-A Tablet-Based Interface for Motion Design Tool Using Drawing (HK, IK, KS), pp. 821–829.
HCIHCI-NIMT-2009-LevendovszkyM #behaviour #domain-specific language #modelling #visual notation
Tooling the Dynamic Behavior Models of Graphical DSLs (TL, TM), pp. 830–839.
HCIHCI-NT-2009-AlacamD #eye tracking #representation #usability
A Usability Study of WebMaps with Eye Tracking Tool: The Effects of Iconic Representation of Information (ÖA, MD), pp. 12–21.
HCIHCI-NT-2009-MesarinaJSCR #communication
Evaluating a Personal Communication Tool: Sidebar (MRM, JJ, CS, TC, JR), pp. 490–499.
HCIHCI-NT-2009-MirelW #development #heuristic #tool support
Heuristic Evaluations of Bioinformatics Tools: A Development Case (BM, ZW), pp. 329–338.
HCIHCI-NT-2009-MoesleinBS #collaboration #development #roadmap #tool support
Open Collaborative Development: Trends, Tools, and Tactics (KMM, ACB, JHS), pp. 874–881.
HCIHCI-NT-2009-Park #human-computer #research
Psychophysiology as a Tool for HCI Research: Promises and Pitfalls (BP), pp. 141–148.
HCIHCI-NT-2009-RajK #agile #consistency #design pattern #interactive #library #mobile #named #process #user interface
RUCID: Rapid Usable Consistent Interaction Design Patterns-Based Mobile Phone UI Design Library, Process and Tool (AR, VK), pp. 677–686.
HCIHCI-VAD-2009-DukeFK #multi #novel #visualisation
A Novel Visualization Tool for Evaluating Medication Side-Effects in Multi-drug Regimens (JDD, AF, HK), pp. 478–487.
HCIHCI-VAD-2009-SaC #development #learning #mobile #personalisation #tool support
Supporting End-User Development of Personalized Mobile Learning Tools (MdS, LC), pp. 217–225.
HCIHCI-VAD-2009-SullivanBMR #collaboration #sketching #tool support
Social-Technical Tools for Collaborative Sensemaking and Sketching (JS, MB, CM, RR), pp. 614–623.
HCIHIMI-DIE-2009-EgiHKTTN #design #video
Designing a Peer Reviewing Tool on Lecture Video with Handwritten Annotation (HE, SH, YK, TT, WT, MN), pp. 31–39.
HCIHIMI-DIE-2009-KawashimoSDAT
A Skill Transfer Method for Manual Machine Tool Operation Utilizing Cutting Sound (TK, NS, DD, MA, TT), pp. 77–86.
HCIHIMI-DIE-2009-Soderston #experience #tool support #user interface
A Retrospective and Prospective View of Information Technology Professionals’ Use of Tools: Maturing the User Experience (CS), pp. 306–315.
HCIHIMI-DIE-2009-UgaiA #analysis #network #social #tool support
Organization Diagnosis Tools Based on Social Network Analysis (TU, KA), pp. 181–189.
HCIHIMI-II-2009-AnseT #development #web
Development of a Coloration Support Tool for Making Web Page Screens User-Friendly for Color Blind (MA, TT), pp. 3–9.
HCIHIMI-II-2009-GaoMT #multi #network #social #visualisation
A Multiple-Aspects Visualization Tool for Exploring Social Networks (JG, KM, JT), pp. 277–286.
HCIHIMI-II-2009-LigdaJLJ #automation #distributed #tool support #using
Pilot Confidence with ATC Automation Using Cockpit Situation Display Tools in a Distributed Traffic Management Environment (SVL, NHJ, JL, WWJ), pp. 816–825.
HCIHIMI-II-2009-MarcoMFG #effectiveness #image #performance
Evaluating the Effectiveness and the Efficiency of a Vector Image Search Tool (PDM, TDM, DF, MG), pp. 259–268.
HCIHIMI-II-2009-ShiraishiMT #category theory #representation #visual notation
A Tool for Analyzing Categorical Data Visually with Granular Representation (KS, KM, JT), pp. 342–351.
HCIIDGD-2009-KondratovaG #design #development #interface #research
Cultural Interface Design Advisor Tool: Research Methodology and Practical Development Efforts (IK, IG), pp. 259–265.
VISSOFTVISSOFT-2009-SensalireOT #evaluation #lessons learnt #tool support #visualisation
Evaluation of software visualization tools: Lessons learned (MS, PO, ACT), pp. 19–26.
EDOCEDOC-2009-HingeGK #modelling #process #semantics
Process SEER: A Tool for Semantic Effect Annotation of Business Process Models (KH, AKG, GK), pp. 54–63.
ICEISICEIS-AIDSS-2009-RaimbaultGL #diagrams #information management #uml #using
Using UML Class Diagram as a Knowledge Engineering Tool (TR, DG, SL), pp. 60–65.
ICEISICEIS-AIDSS-2009-SmutsML #information management #tool support
Key Characteristics in Selecting Software Tools for Knowledge Management (HS, AvdM, ML), pp. 170–179.
ICEISICEIS-DISI-2009-BergerS #architecture #case study #implementation #named #query
FedDW: A Tool for Querying Federations of Data Warehouses — Architecture, Use Case and Implementation (SB, MS), pp. 113–122.
ICEISICEIS-HCI-2009-GermanakosTLMBS #authoring #framework #tool support
Intelligent Authoring Tools for Enhancing Mass Customization of e-Services — The smarTag Framework (PG, NT, ZL, CM, MB, GS), pp. 91–96.
ICEISICEIS-ISAS-2009-BifflFHM #analysis #automation #evaluation #open source #process #tool support
Evaluation of Case Tool Methods and Processes — An Analysis of Eight Open-source CASE Tools (SB, CF, CH, TM), pp. 41–48.
ICEISICEIS-J-2009-BenevidesG #concept #modelling #ontology
A Model-Based Tool for Conceptual Modeling and Domain Ontology Engineering in OntoUML (ABB, GG), pp. 528–538.
ICEISICEIS-J-2009-CastroS #named #simulation
AgEx: A Financial Market Simulation Tool for Software Agents (PALdC, JSS), pp. 704–715.
ICEISICEIS-J-2009-Islam #tool support #user satisfaction
Developing a Model to Measure User Satisfaction and Success of Virtual Meeting Tools in an Organization (AKMNI), pp. 975–987.
ICEISICEIS-J-2009-LokmanNN #design #named
ExpertKanseiWeb: A Tool to Design Kansei Website (AML, NLMN, MN), pp. 894–905.
ICEISICEIS-J-2009-MartinoBBF #analysis #multi #tool support
Integrating Google Earth within OLAP Tools for Multidimensional Exploration and Analysis of Spatial Data (SDM, SB, MB, FF), pp. 940–951.
ICEISICEIS-J-2009-SousaLCA #algorithm #automation #metamodelling
A Step Forward in Semi-automatic Metamodel Matching: Algorithms and Tool (JdS, DL, DBC, ZA), pp. 137–148.
ICEISICEIS-SAIC-2009-CernuzziZ #design #named #tool support #using
Gaia4E: A Tool Supporting the Design of MAS using Gaia (LC, FZ), pp. 82–88.
CIKMCIKM-2009-VienVCYKC #kernel #locality #named #using #visualisation
VRIFA: a nonlinear SVM visualization tool using nomogram and localized radial basis function (LRBF) kernels (NAV, NHV, TC, HY, SK, BHC), pp. 2081–2082.
KDDKDD-2009-Hand #data mining #mining #modelling #tool support
Mismatched models, wrong results, and dreadful decisions: on choosing appropriate data mining tools (DJH), pp. 1–2.
KEODKEOD-2009-Essert-VillardBS #approach #multi #semantics #towards
Multi-semantic Approach Towards a Generic Formal Solver of Tool Placement for Percutaneous Surgery (CEV, CB, PS), pp. 443–446.
KEODKEOD-2009-KrempelsPST #development
Interconnected Tool-assistance for Development of Agent-oriented Software Systems (KHK, AP, JvS, CT), pp. 308–314.
KMISKMIS-2009-BuchnerMN #analysis #concept #enterprise #open source #tool support
A Concept and Service based Analysis of Commercial and Open Source Enterprise 2.0 Tools (TB, FM, CN), pp. 37–45.
KMISKMIS-2009-WiilMG #information management #process #tool support
Knowledge Management Processes, Tools and Techniques for Counterterrorism (UKW, NM, JG), pp. 29–36.
SEKESEKE-2009-AxelssonBFSK #bibliography #code review #detection #fault #interactive #machine learning #visualisation
Detecting Defects with an Interactive Code Review Tool Based on Visualisation and Machine Learning (SA, DB, RF, DS, DK), pp. 412–417.
SEKESEKE-2009-HendersonH #architecture #collaboration #consistency #development #nondeterminism
Collaborative Development of System Architecture — a Tool for Coping with Inconsistency (PH, MJH), pp. 520–525.
SEKESEKE-2009-KocaguneliTBTC #analysis #fault #metric #named #predict
Prest: An Intelligent Software Metrics Extraction, Analysis and Defect Prediction Tool (EK, AT, ABB, BT, BC), pp. 637–642.
SEKESEKE-2009-Nakajima #diagrams #feature model
Constructing FODA Feature Diagrams with a GUI-based Tool (SN), pp. 20–25.
SEKESEKE-2009-SalamahBBPFC #specification #tool support #validation
Enhancing Property Specification Tools With Validation Techniques (SS, MDB, EB, SP, DF, LC), pp. 487–492.
SEKESEKE-2009-TosunBK #development #issue tracking #named #project management
BITS: Issue Tracking and Project Management Tool in Healthcare Software Development (AT, ABB, EK), pp. 526–529.
SIGIRSIGIR-2009-ArmstrongMWZ09a #information retrieval #named #online
EvaluatIR: an online tool for evaluating and comparing IR systems (TGA, AM, WW, JZ), p. 833.
ECMFAECMDA-FA-2009-EvansFM #case study #eclipse #experience #modelling #network #using
Experiences of Developing a Network Modeling Tool Using the Eclipse Environment (AE, MAF, PM), pp. 301–312.
OOPSLAOOPSLA-2009-OverbeyJ #programming language #refactoring #tool support
Regrowing a language: refactoring tools allow programming languages to evolve (JLO, REJ), pp. 493–502.
OOPSLAOOPSLA-2009-SongT #program transformation #programming #tool support
Enhancing source-level programming tools with an awareness of transparent program transformations (MS, ET), pp. 301–320.
GPCEGPCE-2009-VillazonBAM09a #adaptation #aspect-oriented #java #named #programming #tool support
HotWave: creating adaptive tools with dynamic aspect-oriented programming in Java (AV, WB, DA, PM), pp. 95–98.
RERE-2009-Breaux #approach #requirements
Exercising Due Diligence in Legal Requirements Acquisition: A Tool-supported, Frame-Based Approach (TDB), pp. 225–230.
RERE-2009-GotelM #how #requirements
How to Select a Requirements Management Tool: Initial Steps (OG, PM), pp. 365–367.
REFSQREFSQ-2009-KarlsenMK #requirements #tool support
Inventing Requirements with Creativity Support Tools (IKK, NAMM, AK), pp. 162–174.
REFSQREFSQ-2009-TunYLN #approach #identification #interactive #problem
Early Identification of Problem Interactions: A Tool-Supported Approach (TTT, YY, RCL, BN), pp. 74–88.
SACSAC-2009-AhulloLAA #network #simulation
An extensible simulation tool for overlay networks and services (JPA, PGL, MSA, MAA), pp. 2072–2076.
SACSAC-2009-CastilloGC #database #legacy #named #process #re-engineering #web #web service
PRECISO: a reengineering process and a tool for database modernisation through web services (RPC, IGRdG, IC), pp. 2126–2133.
SACSAC-2009-CossentinoSS #collaboration #design #process
A collaborative tool for designing and enacting design processes (MC, LS, VS), pp. 715–721.
SACSAC-2009-KoongLCCS #authoring #component #interactive #visual notation
The visual authoring tool of flash-based component for interactive item template (CSK, CML, DJC, CHC, CS), pp. 547–548.
SACSAC-2009-NetoFP #named #people #using
MATRACA: a tool to provide support for people with impaired vision when using the computer for simple tasks (FGdON, JMF, RRGP), pp. 158–159.
SACSAC-2009-RekapalliHZ #identification #named #scalability
HSP-HMMER: a tool for protein domain identification on a large scale (BR, CH, IBZ), pp. 766–770.
ESEC-FSEESEC-FSE-2009-ArbabMMKQ #analysis #coordination #modelling #named #performance
Reo2MC: a tool chain for performance analysis of coordination models (FA, SM, YJM, MZK, HQ), pp. 287–288.
ESEC-FSEESEC-FSE-2009-ArtziKE #named
ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications (SA, SK, MDE), pp. 295–296.
ESEC-FSEESEC-FSE-2009-KnabKP #problem
Smart views for analyzing problem reports: tool demo (PK, HG, MP), pp. 289–290.
ICSEICSE-2009-CanforaCP #difference #named
Ldiff: An enhanced line differencing tool (GC, LC, MDP), pp. 595–598.
ICSEICSE-2009-GarlanS #architecture #evolution #named
Ævol: A tool for defining and planning architecture evolution (DG, BRS), pp. 591–594.
ICSEICSE-2009-HenklerGHSAEHLSG #behaviour #realtime #synthesis
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite (SH, JG, MH, WS, KA, TE, CH, RL, AS, HG), pp. 615–618.
ICSEICSE-2009-HsuO #framework #named #testing
MINTS: A general framework and tool for supporting test-suite minimization (HYH, AO), pp. 419–429.
ICSEICSE-2009-HumayounDC #development #evaluation #named
UEMan: A tool to manage user evaluation in development environments (SRH, YD, TC), pp. 551–554.
ICSEICSE-2009-KastnerTSFLWA #development #feature model #framework #named
FeatureIDE: A tool framework for feature-oriented software development (CK, TT, GS, JF, TL, FW, SA), pp. 611–614.
ICSEICSE-2009-SentillesPNNPC #analysis #component #design #embedded #implementation #named
Save-IDE — A tool for design, analysis and implementation of component-based embedded systems (SS, AP, DN, TN, PP, IC), pp. 607–610.
ICSEICSE-2009-WlokaRT #named #testing
JUnitMX — A change-aware unit testing tool (JW, BGR, FT), pp. 567–570.
CAVCAV-2009-BensalemBNS #composition #concurrent #detection #named #verification
D-Finder: A Tool for Compositional Deadlock Detection and Verification (SB, MB, THN, JS), pp. 614–619.
ICLPICLP-2009-Paolucci #natural language #research #summary #tool support
Research Summary: Intelligent Natural Language Processing Techniques and Tools (AP), pp. 536–537.
ICSTICST-2009-BartoliniBMP #named #testing #web #web service
WS-TAXI: A WSDL-based Testing Tool for Web Services (CB, AB, EM, AP), pp. 326–335.
ICSTICST-2009-TanNM #automation #black box #library #parallel #programming #testing
Automated Black Box Testing Tool for a Parallel Programming Library (RPT, PN, SM), pp. 307–316.
ICSTICST-2009-WedyanAB #automation #detection #effectiveness #fault #predict #refactoring #static analysis #tool support
The Effectiveness of Automated Static Analysis Tools for Fault Detection and Refactoring Prediction (FW, DA, JMB), pp. 141–150.
MBTMBT-2009-DadeauT #animation #named #testing
jSynoPSys — A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines (FD, RT), pp. 117–132.
RTARTA-2009-BaudetCD #named
YAPA: A Generic Tool for Computing Intruder Knowledge (MB, VC, SD), pp. 148–163.
RTARTA-2009-KorpSZM #termination
Tyrolean Termination Tool 2 (MK, CS, HZ, AM), pp. 295–304.
QoSAQoSA-2008-LeeK #architecture #design #visualisation
A Tool to Visualize Architectural Design Decisions (LL, PK), pp. 43–54.
ASEASE-2008-BucchiaroneGLTF #tool support
QuARS Express — A Tool Demonstration (AB, SG, GL, GT, AF), pp. 473–474.
ASEASE-2008-CamachoM #automation #named #using
APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars (DOC, KM), pp. 489–490.
ASEASE-2008-CapillaNMC #architecture #design #named
ADDSS: Architecture Design Decision Support System Tool (RC, FN, JM, CC), pp. 487–488.
ASEASE-2008-DanielB #automation #effectiveness #predict #testing #tool support
Predicting Effectiveness of Automatic Testing Tools (BD, MB), pp. 363–366.
ASEASE-2008-Frisby #analysis #tool support
Unifying Analysis Tools with Rosetta (NF), pp. 505–508.
ASEASE-2008-GrunbacherRD #lessons learnt #product line #tool support
Product Line Tools are Product Lines Too: Lessons Learned from Developing a Tool Suite (PG, RR, DD), pp. 351–354.
ASEASE-2008-MalavoltaMP #architecture #framework #named #tool support
DUALLY: A framework for Architectural Languages and Tools Interoperability (IM, HM, PP), pp. 483–484.
ASEASE-2008-SchumannGPMB #analysis #parametricity #scalability #simulation #tool support
Tool Support for Parametric Analysis of Large Software Simulation Systems (JS, KGB, CSP, TM, TB), pp. 497–498.
ASEASE-2008-StaatsDRHW #named #requirements
ReqsCov: A Tool for Measuring Test-Adequacy over Requirements (MS, WD, AR, MPEH, KW), pp. 499–500.
ASEASE-2008-YuJS #development #tool support #traceability
Tools for Traceability in Secure Software Development (YY, JJ, JS), pp. 503–504.
CASECASE-2008-ChanYDS #clustering #scheduling #tool support
Optimal scheduling of k-unit production of cluster tools with single-blade robots (WKC, JY, SD, DS), pp. 335–340.
CASECASE-2008-GuetaCAUO #configuration management #design #multi
Design of the end-effector tool attachment for robot arm with multiple reconfigurable goals (LBG, RC, TA, TU, JO), pp. 876–881.
CASECASE-2008-JungL #clustering #performance #scheduling #tool support
Efficient scheduling method based on an assignment model for robotized cluster tools (CJ, TEL), pp. 79–84.
CASECASE-2008-Kim #clustering #constraints
Stable schedule for a single-armed cluster tool with time constraints (JHK), pp. 97–102.
CASECASE-2008-PaekL #clustering #scheduling #strict #tool support
Optimal scheduling of dual-armed cluster tools without swap restriction (JHP, TEL), pp. 103–108.
CASECASE-2008-SunWHRW #case study #effectiveness #identification #monitoring #set
Identification of feature set for effective tool condition monitoring — a case study in titanium machining (JS, YSW, GSH, MR, ZW), pp. 273–278.
CASECASE-2008-WuZPCC #clustering #constraints #modelling #petri net #process #realtime #tool support
Petri net modeling and real-time control of dual-arm cluster tools with residency time constraint and activity time variations (NW, MZ, SP, FC, CC), pp. 109–114.
DACDAC-2008-BaertGB #automation #case study #memory management
An automatic scratch pad memory management tool and MPEG-4 encoder case study (RB, EdG, EB), pp. 201–204.
DATEDATE-2008-CruzBCM #embedded #modelling #named #realtime #synthesis
ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis (FC, RSB, LCC, PRMM), pp. 1510–1515.
DATEDATE-2008-ElmqvistN #analysis #component #incremental #tool support
Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems (JE, SNT), pp. 921–927.
DATEDATE-2008-FrankWESN #analysis #architecture #design #evaluation #standard #tool support
Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures (EF, RW, RE, ALSV, MDN), pp. 659–663.
HTHT-2008-BolchiniGP #development #hypermedia #tool support
Investigating success factors for hypermedia development tools (DB, FG, PP), pp. 187–192.
HTHT-2008-BravoVO #adaptation #evaluation #hypermedia #named
Asquare: a powerful evaluation tool for adaptive hypermedia course system (JB, CVS, AO), pp. 219–220.
HTHT-2008-GaffneyDW #authoring #bibliography #simulation #tool support
A survey of soft skill simulation authoring tools (CG, DD, VW), pp. 181–186.
HTHT-2008-PetersenW #agile #development #named
Asap: a planning tool for agile software development (RRP, UKW), pp. 27–32.
SIGMODSIGMOD-2008-FisherWZ #ad hoc #automation #generative #named
LearnPADS: automatic tool generation from ad hoc data (KF, DW, KQZ), pp. 1299–1302.
SIGMODSIGMOD-2008-RaffioBCPH #named
Clip: a tool for mapping hierarchical schemas (AR, DB, SC, PP, MAH), pp. 1271–1274.
VLDBVLDB-2008-KatsisDPZ #integration #interactive #named
RIDE: a tool for interactive source registration in community-oriented information integration (YK, AD, YP, KKZ), pp. 1464–1467.
ITiCSEITiCSE-2008-DemailleLP #compilation #education #set #tool support
A set of tools to teach compiler construction (AD, RL, BP), pp. 68–72.
ITiCSEITiCSE-2008-DenegriFGM #design pattern #education #interactive
A tool for teaching interactions between design patterns (ED, GF, AG, PJM), p. 371.
ITiCSEITiCSE-2008-Deugo #eclipse #education
Eclipse as a teaching tool (DD), p. 318.
ITiCSEITiCSE-2008-Garcia-OsorioGG #algorithm #education #ll #lr #parsing
A tool for teaching LL and LR parsing algorithms (CGO, CGP, NGP), p. 317.
ITiCSEITiCSE-2008-KiesmullerB #algorithm #analysis #how #problem
How do 7th graders solve algorithmic problems?: a tool-based analysis (UK, TB), p. 353.
ITiCSEITiCSE-2008-LevyB #behaviour #tool support
Perceived behavior control and its influence on the adoption of software tools (RBBL, MBA), pp. 169–173.
ITiCSEITiCSE-2008-PoplawskiK #design #logic #named #simulation
JLS: a pedagogically targeted logic design and simulation tool (DAP, ZK), p. 314.
ESOPESOP-2008-MandelM #programming #tool support
Programming in JoCaml (Tool Demonstration) (LM, LM), pp. 108–111.
FASEFASE-2008-CamaraSC #composition #interpreter #named
Clint: A Composition Language Interpreter (Tool Paper) (JC, GS, CC), pp. 423–427.
TACASTACAS-2008-BlancKS #analysis #modelling #named
Scoot: A Tool for the Analysis of SystemC Models (NB, DK, NS), pp. 467–470.
TACASTACAS-2008-OlveczkyM #maude #realtime
The Real-Time Maude Tool (PCÖ, JM), pp. 332–336.
TACASTACAS-2008-TsayCTCL #automaton #logic #research #towards
GOAL Extended: Towards a Research Tool for ω Automata and Temporal Logic (YKT, YFC, MHT, WCC, CJL), pp. 346–350.
CSMRCSMR-2008-Bull #tool support
CSMR Tool Demonstration: Welcome (RIB), p. 319.
CSMRCSMR-2008-FulopFG #benchmark #design pattern #metric #mining #tool support #towards
Towards a Benchmark for Evaluating Design Pattern Miner Tools (LJF, RF, TG), pp. 143–152.
CSMRCSMR-2008-LewisS #tool support
SMART Tool Demonstration (GAL, DBS), pp. 332–334.
CSMRCSMR-2008-PapastefanatosAVV #analysis #database #evolution #named
Hecataeus: A What-If Analysis Tool for Database Schema Evolution (GP, FA, YV, PV), pp. 326–328.
CSMRCSMR-2008-TeleaV08a #optimisation #performance #scalability
A Tool for Optimizing the Build Performance of Large Software Code Bases (ACT, LV), pp. 323–325.
ICPCICPC-2008-PinzgerGKG #comprehension #dependence #source code #visual notation
A Tool for Visual Understanding of Source Code Dependencies (MP, KG, PK, HCG), pp. 254–259.
ICPCICPC-2008-SridharaHPV #case study #comparative #identification #semantics #similarity #tool support #word
Identifying Word Relations in Software: A Comparative Study of Semantic Similarity Tools (GS, EH, LLP, KVS), pp. 123–132.
ICSMEICSM-2008-Kienle #component #development #process #reverse engineering #tool support #towards
Building reverse engineering tools with software components: Towards a dedicated development process for academia (HMK), pp. 416–419.
ICSMEICSM-2008-XieGF #named #rest #testing
REST: A tool for reducing effort in script-based testing (QX, MG, CF), pp. 468–469.
ICSMEICSM-2008-ZhangGLZ08a #aspectj #automation #debugging #named
AutoFlow: An automatic debugging tool for AspectJ software (SZ, ZG, YL, JZ), pp. 470–471.
MSRMSR-2008-HillFBSNPV #automation #maintenance #mining #named #source code #tool support
AMAP: automatically mining abbreviation expansions in programs to enhance software maintenance tools (EH, ZPF, HB, GS, YN, LLP, KVS), pp. 79–88.
MSRMSR-2008-HolmesB #information management
Deep intellisense: a tool for rehydrating evaporated information (RH, AB), pp. 23–26.
PASTEPASTE-2008-KhooFHS #static analysis #tool support
Path projection for user-centered static analysis tools (YPK, JSF, MH, VS), pp. 57–63.
SCAMSCAM-2008-KhatchadourianR #aspect-oriented #evolution
Rejuvenate Pointcut: A Tool for Pointcut Expression Recovery in Evolving Aspect-Oriented Software (RK, AR), pp. 261–262.
SCAMSCAM-2008-RodriguesB #coordination #legacy #named
CoordInspector: A Tool for Extracting Coordination Data from Legacy Code (NFR, LSB), pp. 265–266.
WCREWCRE-2008-FulopHFG #benchmark #metric #reverse engineering #tool support #towards
Towards a Benchmark for Evaluating Reverse Engineering Tools (LJF, PH, RF, TG), pp. 335–336.
WCREWCRE-2008-HashimotoM #analysis #fine-grained #named
Diff/TS: A Tool for Fine-Grained Structural Change Analysis (MH, AM), pp. 279–288.
WCREWCRE-2008-KienleM #maintenance #process #tool support #towards
Towards a Process for Developing Maintenance Tools in Academia (HMK, HAM), pp. 237–246.
WCREWCRE-2008-SobreiraM #analysis #comprehension #visual notation
A Visual Trace Analysis Tool for Understanding Feature Scattering (VS, MdAM), pp. 337–338.
WCREWCRE-2008-YuW #comprehension #evolution #tool support
Graph-Centric Tools for Understanding the Evolution and Relationships of Software Structures (YY, MW), pp. 329–330.
PEPMPEPM-2008-LiT #functional #refactoring #source code #tool support
Tool support for refactoring functional programs (HL, SJT), pp. 199–203.
PEPMPEPM-2008-VolanschiR #tool support
Unparsed patterns: easy user-extensibility of program manipulation tools (NV, CR), pp. 111–121.
LATALATA-2008-Domaratzki #formal method #tool support
Formal Language Tools for Template-Guided DNA Recombination (MD), pp. 3–5.
SEFMSEFM-2008-Roggenbach #csp #tool support
Tools for CSP (MR), pp. 213–214.
GT-VMTGT-VMT-2006-AutiliP08 #requirements #towards #visual notation
Towards a Graphical Tool for Refining User to System Requirements (MA, PP), pp. 147–157.
GT-VMTGT-VMT-2006-KonigK08 #analysis #graph transformation
Augur 2 — A New Version of a Tool for the Analysis of Graph Transformation Systems (BK, VK), pp. 201–210.
ICGTICGT-2008-Bisztray #architecture #refactoring #tool support #verification
Verification of Architectural Refactorings: Rule Extraction and Tool Support (DB), pp. 475–477.
ICGTICGT-2008-RensinkG #contest #graph #tool support
Graph-Based Tools: The Contest (AR, PVG), pp. 463–466.
CHICHI-2008-Akiyama #music #named
PlaceAndPlay: a digital tool for children to create and record music (YA, SO), pp. 735–738.
CHICHI-2008-FitzmauriceMKGK #agile #named
PieCursor: merging pointing and command selection for rapid in-place tool switching (GWF, JM, AK, MG, GK), pp. 1361–1370.
CHICHI-2008-HayesGAT #behaviour #named
CareLog: a selective archiving tool for behavior management in schools (GRH, LMG, GDA, KNT), pp. 685–694.
CHICHI-2008-PatelFLH #development #machine learning #statistics
Investigating statistical machine learning as a tool for software development (KP, JF, JAL, BLH), pp. 667–676.
CSCWCSCW-2008-AgustinaLXSS #3d #collaboration #design #named #tool support
CoMaya: incorporating advanced collaboration capabilities into 3d digital media design tools (A, FL, SX, HS, CS), pp. 5–8.
SOFTVISSOFTVIS-2008-DachseltFD #sketching #tool support #uml
Enhancing UML sketch tools with digital pens and paper (RD, MF, ED), pp. 203–204.
SOFTVISSOFTVIS-2008-PauwAA #named #scalability #streaming #visualisation
Streamsight: a visualization tool for large-scale streaming applications (WDP, HA, LA), pp. 125–134.
SOFTVISSOFTVIS-2008-SensalireOT #maintenance #tool support #visualisation
Classifying desirable features of software visualization tools for corrective maintenance (MS, PO, ACT), pp. 87–90.
CAiSECAiSE-2008-KongdenfhaBSC #analysis #interactive #named
SpreadMash: A Spreadsheet-Based Interactive Browsing and Analysis Tool for Data Services (WK, BB, RSP, FC), pp. 343–358.
CAiSECAiSE-2008-SimonssonJE #assessment #modelling
The IT Organization Modeling and Assessment Tool for IT Governance Decision Support (MS, PJ, ME), pp. 258–261.
ICEISICEIS-AIDSS-2008-EsminLYC #information management #interactive #named #web
ArchCollect — A Tool for WEB Usage Knowledge Acquisition from User’s Interactions (AAAE, JdCL, ETY, TGdSC), pp. 375–380.
ICEISICEIS-DISI-2008-LiuQLZWD #distributed #specification #visual notation
A Visual Specification Tool for Event-Condition-Action Rules Supporting Web-Based Distributed System (WL, YQ, XL, KZ, HW, GD), pp. 246–251.
ICEISICEIS-HCI-2008-PicussaGBFDBSCS #education #interface #online #web
A User-Interface Environment Solution as an Educational Tool for an Online Chess Server on the Web (JP, LSG, JB, MVRF, AID, LCEDB, FS, MAC, MSS), pp. 262–267.
ICEISICEIS-ISAS1-2008-ThomRCI #modelling #process
Applying Activity Patterns for Developing an Intelligent Process Modeling Tool (LHT, MR, CMC, CI), pp. 112–119.
ICEISICEIS-ISAS2-2008-MendezPMO #named
ITO-Tracker — A Tool for Evaluating ITO Projects based on Critical Success Factors (EMM, MAP, LEM, MO), pp. 170–175.
ICEISICEIS-ISAS2-2008-SantosBBR #analysis #architecture #modelling #semantics
A Model Driven Architecture Tool Based on Semantic Analysis Method (TMdS, RB, MCCB, MAR), pp. 305–310.
ICEISICEIS-J-2008-HeerRK08a #integration #ontology #tool support
Tool Support for the Integration of Light-Weight Ontologies (TH, DR, BK), pp. 175–187.
CIKMCIKM-2008-MukherjiRBR
SNIF TOOL: sniffing for patterns in continuous streams (AM, EAR, DCB, VR), pp. 369–378.
ICPRICPR-2008-HuWGW #interactive #video
An interactive scene annotation tool for video surveillance (WH, JW, HG, YW), pp. 1–4.
ICPRICPR-2008-JhaN #independence #layout #representation
Wang Notation Tool: Layout independent representation of tables (PJ, GN), pp. 1–4.
ICPRICPR-2008-VillS #analysis #automation #classification
Automated stroke ending analysis for drawing tool classification (MCV, RS), pp. 1–4.
KDDKDD-2008-HuaP #named
DiMaC: a disguised missing data cleaning tool (MH, JP), pp. 1077–1080.
SEKESEKE-2008-BadriBS #approach #co-evolution #object-oriented #predict
Predicting Change Propagation in Object-oriented Systems: a Control-call Path Based Approach and Associated Tool (LB, MB, DSY), pp. 103–110.
SEKESEKE-2008-BaiL #named #source code #testing
SyncTest: a Tool to Synchronize Source Code, Model and Testing (XB, TL), pp. 723–728.
SEKESEKE-2008-BarbosaNRM #development #ontology #testing #tool support
Ontology-based Development of Testing Related Tools (EFB, EYN, ACR, JCM), pp. 697–702.
SEKESEKE-2008-GallegosOGRSV #generative #specification
A Property Specification Tool for Generating Formal Specifications: Prospec 2.0 (IG, OO, AQG, SR, SS, CV), pp. 273–278.
SEKESEKE-2008-LappalainenHSPML #comparison #developer #tool support
A Comparison of Time Tracking Tools for Software Developers (JL, LH, JS, TP, HM, HL), pp. 91–96.
SEKESEKE-2008-LiuCH #analysis #named
PSPCAT: A PSP Data Collection and Analysis Tool (CHL, SLC, YCH), pp. 33–37.
SEKESEKE-2008-TinkhamTP #assessment #comprehension #java #reverse engineering #source code #testing #tool support
A Qualitative Assessment of the Reverse Engineering Capabilities of Unit Testing Tools for Understanding Java Programs (AT, SRT, TP), pp. 111–116.
SIGIRSIGIR-2008-MurthyTFVYG #approach #concept #implementation #information retrieval #tool support #visualisation
From concepts to implementation and visualization: tools from a team-based approach to ir (UM, RdST, EAF, LV, SY, MAG), p. 889.
MODELSMoDELS-2008-ObataI #modelling #validation
General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool (TO, TI), pp. 889–895.
MODELSMoDELS-2008-ObataI #modelling #validation
General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool (TO, TI), pp. 889–895.
TOOLSTOOLS-EUROPE-2008-AydalUW #comparison #modelling #tool support #validation
A Comparison of State-Based Modelling Tools for Model Validation (EGA, MU, JW), pp. 278–296.
TOOLSTOOLS-EUROPE-2008-StrommerW #concept #framework #model transformation #tool support
A Framework for Model Transformation By-Example: Concepts and Tool Support (MS, MW), pp. 372–391.
PADLPADL-2008-PaganoACCCMW #development #implementation #ml #tool support
Certified Development Tools Implementation in Objective Caml (BP, OA, BC, EC, JLC, TM, PW), pp. 2–17.
POPLPOPL-2008-FisherWZW #ad hoc #automation #generative
From dirt to shovels: fully automatic tool generation from ad hoc data (KF, DW, KQZ, PW), pp. 421–434.
REFSQREFSQ-2008-AlenljungP #named #requirements #tool support
DESCRY: A Method for Evaluating Decision-Supporting Capabilities of Requirements Engineering Tools (BA, AP), pp. 52–57.
SACSAC-2008-AraujoSF #algebra #analysis #process
HIV drug resistance analysis tool based on process algebra (LVdA, ECS, JEF), pp. 1358–1363.
SACSAC-2008-AveglianoS #named #simulation
RePart: a reputation-based simulation tool for partnership formation (PA, JSS), pp. 46–47.
SACSAC-2008-CartaxoANM #embedded #functional #named #testing
LTS-BT: a tool to generate and select functional test cases for embedded systems (EGC, WdLA, FGON, PDLM), pp. 1540–1544.
SACSAC-2008-DuraoVAM #code search #semantics #source code
Applying a semantic layer in a source code search tool (FAD, TAV, ESdA, SRdLM), pp. 1151–1157.
SACSAC-2008-KucinskisF #information management #representation
An onboard knowledge representation tool for satellite autonomous applications (FdNK, MGVF), pp. 1678–1682.
SACSAC-2008-Mevius #modelling #novel #process
A novel modeling language for tool-based business process engineering (MvM), pp. 590–591.
SACSAC-2008-OliveiraMWS #analysis #locality
Brain registration and subtraction — improved localization for SPECT analysis (B.R.A.S.I.L.): a computer-aided diagnosis in epilepsy tool kit (LFdO, PMdAM, LWA, ACS), pp. 1390–1394.
SACSAC-2008-SansL #algebra #interface #named #order #visualisation #xquery
IFOX: interface for ordered XQuery an algebraic oriented tool for ordered XQuery visualization (VS, DL), pp. 1252–1257.
SACSAC-2008-SchiabelSA #detection #image #segmentation
Segmentation technique for detecting suspect masses in dense breast digitized images as a tool for mammography CAD schemes (HS, VTS, MFA), pp. 1333–1337.
SACSAC-2008-ShenK #fault #named #uml
ICER: a tool for finding errors in a UML model (WS, DKK), pp. 804–808.
ICSEICSE-2008-AmelunxenKKRS #integration #metamodelling #tool support
Metamodel-based tool integration with moflon (CA, FK, AK, TR, AS), pp. 807–810.
ICSEICSE-2008-ChenSR #analysis #java #named #predict #runtime
jPredictor: a predictive runtime analysis tool for java (FC, TFS, GR), pp. 221–230.
ICSEICSE-2008-Duala-EkokoR #named #tool support
Clonetracker: tool support for code clone management (EDE, MPR), pp. 843–846.
ICSEICSE-2008-ElkarabliehK #data type #named
Juzi: a tool for repairing complex data structures (BE, SK), pp. 855–858.
ICSEICSE-2008-MalikPUK #generative #invariant #named #representation
Deryaft: a tool for generating representation invariants of structurally complex data (MZM, AP, EU, SK), pp. 859–862.
ICSEICSE-2008-Murphy-HillB #refactoring #tool support
Breaking the barriers to successful refactoring: observations and tools for extract method (ERMH, APB), pp. 421–430.
ICSEICSE-2008-ReinhardMSCG #modelling #navigation #tool support #visual notation
Tool support for the navigation in graphical models (TR, SM, RS, CC, MG), pp. 823–826.
ICSEICSE-2008-ScaffidiMS08a #tool support #validation
Tool support for data validation by end-user programmers (CS, BAM, MS), pp. 867–870.
LDTALDTA-2007-Schmitz08 #ambiguity #detection
An Experimental Ambiguity Detection Tool (SS), pp. 69–84.
SLESLE-2008-SunDJTG #approach
A Model Engineering Approach to Tool Interoperability (YS, ZD, FJ, RT, JG), pp. 178–187.
SPLCSPLC-2008-BotterweckTNAC #comprehension #configuration management #product line #tool support #visual notation
Visual Tool Support for Configuring and Understanding Software Product Lines (GB, ST, DN, SbA, CC), pp. 77–86.
SPLCSPLC-2008-EvestiNHP #architecture #quality
A Tool Chain for Quality-Driven Software Architecting (AE, EN, KH, MP), p. 360.
PPoPPPPoPP-2008-VakkalankaSGK #model checking #named #source code
ISP: a tool for model checking MPI programs (SSV, SS, GG, RMK), pp. 285–286.
CAVCAV-2008-BackesLMP #abstraction #analysis #protocol #security
The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis (MB, SL, MM, KP), pp. 419–422.
CAVCAV-2008-Cremers #analysis #protocol #security #verification
The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols (CJFC), pp. 414–418.
CAVCAV-2008-Legay #model checking
T(O)RMC: A Tool for (ω)-Regular Model Checking (AL), pp. 548–551.
CAVCAV-2008-MagillTLT #named #reasoning
THOR: A Tool for Reasoning about Shape and Arithmetic (SM, MHT, PL, YKT), pp. 428–432.
ICLPICLP-2008-Cipriano #constraints #modelling #on the #programming #tool support
On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools (RC), pp. 803–804.
ICSTICST-2008-LechnerB #workflow
Workflow Inspector — A Test Tool for Microsoft Workflow Foundation (AL, RB), pp. 498–501.
ICSTICST-2008-PloschGPSS #tool support
Tool Support for Expert-Centred Code Assessments (RP, HG, GP, MS, SS), pp. 258–267.
ICSTICST-2008-WagnerDAWS #debugging #evaluation #java #tool support
An Evaluation of Two Bug Pattern Tools for Java (SW, FD, MA, JW, MS), pp. 248–257.
IJCARIJCAR-2008-DuranLM #maude #named #termination
MTT: The Maude Termination Tool (System Description) (FD, SL, JM), pp. 313–319.
IJCARIJCAR-2008-SatoWKM #multi #termination #tool support
Multi-completion with Termination Tools (System Description) (HS, SW, MK, AM), pp. 306–312.
ISSTAISSTA-2008-EdwardsTWVD #automation #fault #identification #named
AFID: an automated fault identification tool (AE, ST, SW, RV, BD), pp. 179–188.
ISSTAISSTA-2008-LinckeLL #metric #tool support
Comparing software metrics tools (RL, JL, WL), pp. 131–142.
ECSAECSA-2007-FarenhorstLV #architecture #effectiveness #tool support
Effective Tool Support for Architectural Knowledge Sharing (RF, PL, HvV), pp. 123–138.
ECSAECSA-2007-NavaCD #architecture #design #process #tool support
Processes for Creating and Exploiting Architectural Design Decisions with Tool Support (FN, RC, JCD), pp. 321–324.
WICSAWICSA-2007-JansenVAH #architecture #tool support
Tool Support for Architectural Decisions (AJ, JSvdV, PA, DKH), p. 4.
ASEASE-2007-Abi-AntounA #execution #object-oriented #source code #tool support
Tool support for the compile-time execution structure of object-oriented programs with ownership annotations (MAA, JA), pp. 543–544.
ASEASE-2007-ArmandoBCMS #model checking
The eureka tool for software model checking (AA, MB, DC, JM, PS), pp. 541–542.
ASEASE-2007-CabotCR #constraints #modelling #named #ocl #programming #uml #using #verification
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming (JC, RC, DR), pp. 547–548.
ASEASE-2007-CaiHX #composition #design #framework #testing #tool support
A framework and tool supports for testing modularity of software design (YC, SH, TX), pp. 441–444.
ASEASE-2007-CharlesFS #eclipse #framework #ide #named
IMP: a meta-tooling platform for creating language-specific ides in eclipse (PC, RMF, SMSJ), pp. 485–488.
ASEASE-2007-DhunganaRGN #product line #tool support
Integrated tool support for software product line engineering (DD, RR, PG, TN), pp. 533–534.
ASEASE-2007-HoskingG #domain-specific language #implementation #tool support #visual notation
Meta tools for implementing domain specific visual languages (JGH, JCG), p. 576.
ASEASE-2007-InverardiM #distributed #generative #monitoring #named
DESERT: a decentralized monitoring tool generator (PI, LM), pp. 529–530.
ASEASE-2007-JurjensY #modelling #security #tool support
Tools for model-based security engineering: models vs. code (JJ, YY), pp. 545–546.
ASEASE-2007-KiyavitskayaZBACMM #process #towards
Extracting rights and obligations from regulations: toward a tool-supported process (NK, NZ, TDB, AIA, JRC, LM, JM), pp. 429–432.
ASEASE-2007-MohaG #design #detection #fault #named
Decor: a tool for the detection of design defects (NM, YGG), pp. 527–528.
ASEASE-2007-XieGH #named #testing
Smart: a tool for application reference testing (QX, MG, MH), pp. 537–538.
CASECASE-2007-ArsandVH #health #mobile #people #self #usability
Usability of a Mobile Self-Help Tool for People with Diabetes: the Easy Health Diary (, RV, GH), pp. 863–868.
CASECASE-2007-ChanYD #clustering #multi #on the #scheduling #tool support
On the Optimality of One-Unit Cycle Scheduling of Multi-Cluster Tools with Single-Blade Robots (WKC, JY, SD), pp. 392–397.
CASECASE-2007-GrauWS #tool support
Improving dispatch rules for cascading tools (GG, JW, KS), pp. 261–264.
CASECASE-2007-MorrisonM #clustering #on the #throughput #tool support
On the Throughput of Clustered Photolithography Tools: Wafer Advancement and Intrinsic Equipment Loss (JRM, MKM), pp. 88–93.
CASECASE-2007-YiDZ0 #analysis #clustering #linear #throughput #tool support
Throughput Analysis of Linear Cluster Tools (JY, SD, MTZ, PvdM), pp. 1063–1068.
DACDAC-2007-VenkataramaniBCG #analysis
Global Critical Path: A Tool for System-Level Timing Analysis (GV, MB, TC, SCG), pp. 783–786.
DATEDATE-2007-BauerPT #analysis #hybrid #modelling
Tool-support for the analysis of hybrid systems and models (AB, MP, MT), pp. 924–929.
DATEDATE-2007-YetikSTD #architecture #interactive #matlab #optimisation
Interactive presentation: A coefficient optimization and architecture selection tool for SigmaDelta modulators in MATLAB (ÖY, OS, ST, GD), pp. 87–92.
HTHT-2007-LaniadoEC #folksonomy #navigation #semantics
A semantic tool to support navigation in a folksonomy (DL, DE, MC), pp. 153–154.
ICDARICDAR-2007-BoussellaaZTAB #analysis #documentation #named #preprocessor
PRAAD: Preprocessing and Analysis Tool for Arabic Ancient Documents (WB, AZ, BT, AMA, AB), pp. 1058–1062.
ICDARICDAR-2007-JournetRME #documentation #image #library #retrieval #tool support
A Proposition of Retrieval Tools for Historical Document Images Libraries (NJ, JYR, RM, VE), pp. 1053–1057.
ICDARICDAR-2007-LuthyVB #markov #modelling #segmentation #using
Using Hidden Markov Models as a Tool for Handwritten Text Line Segmentation (FL, TV, HB), p. 8–?.
ICDARICDAR-2007-SilvaN #classification #markov #modelling #performance #visualisation
A Visualization Tool to Improve the Performance of a Classifier Based on Hidden Markov Models (GdS, MN), pp. 1083–1087.
SIGMODSIGMOD-2007-FaloutsosKS #graph #matrix #mining #scalability #tool support #using
Mining large graphs and streams using matrix and tensor tools (CF, TGK, JS), p. 1174.
VLDBVLDB-2007-DuchateauBH #benchmark #metric #named #tool support #xml
XBenchMatch: a Benchmark for XML Schema Matching Tools (FD, ZB, EH), pp. 1318–1321.
CSEETCSEET-2007-McGregorBBBK #architecture #education #reasoning #using
Using an Architecture Reasoning Tool to Teach Software Architecture (JDM, FB, LB, PB, MK), pp. 275–282.
ITiCSEITiCSE-2007-Albin-Clark #implementation #multi #named #pseudo
MaBL: a tool for mapping pseudocode to multiple implementation languages (AAC), p. 315.
ITiCSEITiCSE-2007-BarkerP #tool support
Accessibility tools (GB, JP), p. 354.
ITiCSEITiCSE-2007-Koppelman
Exercises as a tool for sharing pedagogical knowledge (HK), p. 361.
ITiCSEITiCSE-2007-LevyB #education #tool support
We work so hard and they don’t use it: acceptance of software tools by teachers (RBBL, MBA), pp. 246–250.
ITiCSEITiCSE-2007-MarraHW #case study #tool support
A study of phylogenetic tools for genomic nomenclature data cleaning (JDM, KGH, JTLW), p. 347.
ITiCSEITiCSE-2007-Sanchez-TorrubiaTC #algorithm #graph #interactive #learning #tool support
New interactive tools for graph algorithms active learning (MGST, CTB, JC), p. 337.
ITiCSEITiCSE-2007-TremblayLS #testing
Extending a marking tool with simple support for testing (GT, LL, AS), p. 313.
WRLAWRLA-2006-ChalubB07 #maude
Maude MSOS Tool (FC, CB), pp. 133–146.
WRLAWRLA-2006-SasseM07 #algebra #hoare #java #logic #semantics #verification
Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics (RS, JM), pp. 29–46.
FASEFASE-2007-GrammesG #semantics #tool support
SDL Profiles — Formal Semantics and Tool Support (RG, RG), pp. 200–214.
TACASTACAS-2007-MossakowskiML #set
The Heterogeneous Tool Set, Hets (TM, CM, KL), pp. 519–522.
TACASTACAS-2007-TsayCTWC #automaton #named #visual notation
GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae (YKT, YFC, MHT, KNW, WCC), pp. 466–471.
ICPCICPC-2007-AlwisMR #case study #comparative #tool support
A Comparative Study of Three Program Exploration Tools (BdA, GCM, MPR), pp. 103–112.
ICSMEICSM-2007-Gueheneuc #flexibility #named #reverse engineering
Ptidej: A Flexible Reverse Engineering Tool Suite (YGG), pp. 529–530.
ICSMEICSM-2007-GustavssonLLMB07a #modelling #open source #xmi
Integrating proprietary and open-source tool chains through horizontal interchange of XMI models (HG, BL, BL, AM, MB), pp. 521–522.
ICSMEICSM-2007-JoshiO #named
SCARPE: A Technique and Tool for Selective Capture and Replay of Program Executions (SJ, AO), pp. 234–243.
SCAMSCAM-2007-Larson #debugging #detection #framework #named #tool support
SUDS: An Infrastructure for Creating Bug Detection Tools (EL), pp. 123–132.
SCAMSCAM-2007-Marinescu #analysis #design #enterprise #named
DATES: Design Analysis Tool for Enterprise Systems (CM), pp. 157–158.
WCREWCRE-2007-AlamD #3d #architecture #visualisation
EvoSpaces Visualization Tool: Exploring Software Architecture in 3D (SA, PD), pp. 269–270.
WCREWCRE-2007-Baxter #re-engineering #tool support
Reengineering Tools: A Perspective from the Trenches (keynote) (IDB).
WCREWCRE-2007-FarahL #comprehension #modelling
Temporal Exploration of Software Models: A Tool Feature to Enhance Software Understanding (HF, TCL), pp. 41–49.
WCREWCRE-2007-Kienle #component #lessons learnt #reverse engineering #tool support
Building Reverse Engineering Tools with Software Components: Ten Lessons Learned (HMK), pp. 289–292.
WCREWCRE-2007-ShevertalovM #protocol #reverse engineering
A Reverse Engineering Tool for Extracting Protocols of Networked Applications (MS, SM), pp. 229–238.
PEPMPEPM-2007-FernandesS #library #source code #tool support
Tools and libraries to model and manipulate circular programs (JPF, JS), pp. 102–111.
ICFPICFP-2007-SewellNOPRSS #effectiveness #named #semantics #tool support
Ott: effective tool support for the working semanticist (PS, FZN, SO, GP, TR, SS, RS), pp. 1–12.
ICFPICFP-2007-SimsD #case study #experience #validation
Experience report: the reactis validation tool (SS, DCD), pp. 137–140.
LISPILC-2007-Harmon #analysis #lisp #tool support
Computational tools for the analysis of spatial patterns of gene expression in Common Lisp (CLH), p. 18.
AGTIVEAGTIVE-2007-GeissK #graph grammar #performance
GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool (RG, MK), pp. 568–569.
AGTIVEAGTIVE-2007-HeerRK #algorithm #graph grammar #integration #ontology
Algorithm and Tool for Ontology Integration Based on Graph Rewriting (TH, DR, BK), pp. 577–582.
AGTIVEAGTIVE-2007-RensinkDEJKLMSZ #case study #graph transformation #named #tool support
Ludo: A Case Study for Graph Transformation Tools (AR, AD, CE, SJ, OK, JdL, SM, TS, AZ), pp. 493–513.
AGTIVEAGTIVE-2007-RensinkT #contest #graph transformation
AGTIVE 2007 Graph Transformation Tool Contest (AR, GT), pp. 487–492.
AGTIVEAGTIVE-2007-TaentzerBBBBBGGHKMNPV #case study #generative #graph transformation #tool support
Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools (GT, EB, DB, BB, IB, AB, LG, RG, ÁH, OK, TM, BN, DP, TV), pp. 514–539.
AGTIVEAGTIVE-2007-VarroABBDGGGKNRW #case study #csp #graph transformation #modelling #tool support #uml
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools (DV, MA, DB, AB, DHD, RG, JG, PVG, OK, AN, ER, EW), pp. 540–565.
GT-VMTGT-VMT-2007-WorzbergerHH #graph #tool support #workflow
Evaluating Workflow Definition Language Revisions with Graph-Based Tools (RW, MH, FWH).
CHICHI-2007-BoshernitsanGH #development #tool support
Aligning development tools with the way programmers think about code changes (MB, SLG, MAH), pp. 567–576.
CHICHI-2007-GuimbretiereDH #analysis #interactive #named
ExperiScope: an analysis tool for interaction data (FG, MD, KH), pp. 1333–1342.
CHICHI-2007-LiuL #design #named
BrickRoad: a light-weight tool for spontaneous design of location-enhanced applications (ALL, YL), pp. 295–298.
HCIDHM-2007-MeulenS #analysis #named
Ramsis — The Leading Cad Tool for Ergonomic Analysis of Vehicles (PvdM, AS), pp. 1008–1017.
HCIHCI-AS-2007-KaholFMPS #artificial reality
Augmented Virtual Reality for Laparoscopic Surgical Tool Training (KK, JF, TLM, SP, MS), pp. 459–467.
HCIHCI-AS-2007-XiaoCR #authentication #collaboration #learning #process
Support Case-Based Authentic Learning Activities: A Collaborative Case Commenting Tool and a Collaborative Case Builder (LX, JMC, MBR), pp. 371–380.
HCIHCI-IDU-2007-BuchholzEMP #evaluation #modelling #tool support #usability
Model-Based Usability Evaluation — Evaluation of Tool Support (GB, JE, CM, SP), pp. 1043–1052.
HCIHCI-IDU-2007-Forsman #experience #human-computer #research #tool support #using
After Hurricane Katrina: Post Disaster Experience Research Using HCI Tools and Techniques (CF), pp. 78–87.
HCIHCI-IDU-2007-FujiokaTKO #coordination #detection #problem #usability
Tool for Detecting Webpage Usability Problems from Mouse Click Coordinate Logs (RF, RT, YK, HO), pp. 438–445.
HCIHCI-IDU-2007-GaoSRA #design #effectiveness #navigation #tool support #web
Design Effective Navigation Tools for Older Web Users (QG, HS, PLPR, YA), pp. 765–773.
HCIHCI-IDU-2007-GeorgiakakisRPP #design #design pattern #tool support #usability
DEPTH TOOLKIT: A Web-Based Tool for Designing and Executing Usability Evaluations of E-Sites Based on Design Patterns (PG, SR, YP, GP), pp. 453–462.
HCIHCI-IDU-2007-MorganN #development #interface #research
Interface Between Two Disciplines — The Development of Theatre as a Research Tool (MM, AFN), pp. 184–193.
HCIHCI-IDU-2007-PleussH #authoring #development #interactive #modelling #multi #tool support
Integrating Authoring Tools into Model-Driven Development of Interactive Multimedia Applications (AP, HH), pp. 1168–1177.
HCIHCI-IDU-2007-Schaefer #bibliography #development #modelling #tool support #user interface
A Survey on Transformation Tools for Model Based User Interface Development (RS), pp. 1178–1187.
HCIHCI-IDU-2007-WideroosP #empirical #research
Studying Utility of Personal Usage-History: A Software Tool for Enabling Empirical Research (KW, SP), pp. 976–984.
HCIHCI-IDU-2007-YamazakiF #design #experience #tool support #user interface
Design Tools for User Experience Design (KY, KF), pp. 298–307.
HCIHCI-IPT-2007-Lee07a #mobile #tool support
Support Zooming Tools for Mobile Devices (KBL), pp. 408–417.
HCIHCI-IPT-2007-MavrommatiD #bibliography #perspective #tool support
End User Tools for Ambient Intelligence Environments: An Overview (IM, JD), pp. 864–872.
HCIHCI-IPT-2007-WissmannB #tool support #visualisation
Bilingual Mapping Visualizations as Tools for Chinese Language Acquisition (JW, GSB), pp. 171–180.
HCIHCI-IPT-2007-ZhengSS #3d #physics #simulation #sketching #web
A 3D Sketching Interacting Tool for Physical Simulation Based on Web (ZZ, LS, SS), pp. 710–719.
HCIHCI-MIE-2007-WonCKC #authoring
Customer-Dependent Storytelling Tool with Authoring and Viewing Functions (SW, MYC, GYK, HIC), pp. 1000–1009.
HCIHIMI-IIE-2007-ItoMN #communication #design #development
Design and Development of Computer-Based Discussion Support Tool for Science and Technology Communication Exercise (KI, EM, SN), pp. 356–363.
HCIHIMI-IIE-2007-IwakuraO
An Assistant Tool for Concealing Personal Information in Text (TI, SO), pp. 38–46.
HCIHIMI-IIE-2007-OchoaNBO #collaboration #mobile #named
MOCET: A MObile Collaborative Examination Tool (SFO, HAN, GB, EGO), pp. 440–449.
HCIHIMI-MTT-2007-CornsML #approach #development #machine learning #optimisation #using
Development of an Approach for Optimizing the Accuracy of Classifying Claims Narratives Using a Machine Learning Tool (TEXTMINER[4]) (HLC, HRM, MRL), pp. 411–416.
HCIHIMI-MTT-2007-MascioLM #image #interface
The Interface of VISTO, a New Vector Image Search Tool (TDM, LL, VM), pp. 417–426.
HCIOCSC-2007-NuschkeJ #collaboration #communication #framework #information management #tool support #using
A Framework for Inter-organizational Collaboration Using Communication and Knowledge Management Tools (PN, XJ), pp. 406–415.
HCIOCSC-2007-ZhengSR #authoring #collaboration #data transformation #named
WikiTable: A New Tool for Collaborative Authoring and Data Management (XSZ, IS, RR), pp. 501–508.
VISSOFTVISSOFT-2007-KienleM #bibliography #requirements #tool support #visualisation
Requirements of Software Visualization Tools: A Literature Survey (HMK, HAM), pp. 2–9.
VISSOFTVISSOFT-2007-KienleMM #analysis #challenge #dependence
Dependencies Analysis of Azureus with Rigi: Tool Demo Challenge (HMK, HAM, JM), pp. 159–160.
VISSOFTVISSOFT-2007-PaddaSM #visualisation
Visualization Patterns: A Context-Sensitive Tool to Evaluate Visualization Techniques (HKP, AS, SPM), pp. 88–91.
VISSOFTVISSOFT-2007-Sawant #architecture #multi #named #visualisation
DiffArchViz: A Tool to Visualize Correspondence Between Multiple Representations of a Software Architecture (APS), pp. 121–128.
VISSOFTVISSOFT-2007-SawantB #architecture #named #visualisation
SoftArchViz: A Software Architecture Visualization Tool (APS, NB), pp. 154–155.
VISSOFTVISSOFT-2007-SensalireO #industrial #object-oriented #tool support #towards #visualisation
Visualizing Object Oriented Software: Towards a Point of Reference for Developing Tools for Industry (MS, PO), pp. 26–29.
AdaSIGAda-2007-Dewar #compilation #static analysis
The compiler as a static analysis tool (RBKD), pp. 83–88.
CAiSECAiSE-2007-EnglebertH #automation #tool support #towards
Towards More Extensible MetaCASE Tools (VE, PH), pp. 454–468.
EDOCEDOC-2007-JohnsonJSU #analysis #architecture #enterprise
A Tool for Enterprise Architecture Analysis (PJ, EJ, TS, JU), pp. 142–156.
ICEISICEIS-AIDSS-2007-FurstT #concept #graph #ontology
Heavyweight Ontology Matching — A Method and a Tool based on the Conceptual Graphs Model (FF, FT), pp. 265–270.
ICEISICEIS-AIDSS-2007-PrauseKAOC #development #documentation #tool support
Interconnecting Documentation — Harnessing the Different Powers of Current Documentation Tools in Software Development (CP, JK, SA, RO, ABC), pp. 63–68.
ICEISICEIS-DISI-2007-Baina #named #workflow
WFESelector — A tool for comparing and selecting workflow engines (KB), pp. 330–337.
ICEISICEIS-EIS-2007-AuerMB #modelling #tool support #uml #usability
Explorative UML Modeling — Comparing the Usability of UML Tools (MA, LM, SB), pp. 466–473.
ICEISICEIS-EIS-2007-ThomLIM #modelling #process #reuse #tool support #workflow
Extending Business Process Modeling Tools with Workflow Pattern Reuse (LHT, JML, CI, JM), pp. 447–452.
ICEISICEIS-SAIC-2007-Baghdadi #architecture #monitoring #specification #web #web service
Specification of a Tool for Monitoring and Managing a Web Services Architecture (YB), pp. 51–56.
SEKESEKE-2007-Garcia-CastroGS #benchmark #metric #ontology #rdf #tool support
Benchmarking the RDF(S) Interoperability of Ontology Tools (RGC, AGP, YS), pp. 410–415.
SEKESEKE-2007-GirardiL #domain model #multi #named
ONTOMADEM: An Ontology-driven Tool for Multi-Agent Domain Engineering (RG, AL), pp. 559–564.
SEKESEKE-2007-KearneyP #automation #framework #named #reverse engineering #tool support #uml
REM4j — A Framework for Measuring the Reverse Engineering Capability of UML CASE Tools (SK, JFP), pp. 209–214.
SEKESEKE-2007-NakagawaSFM #architecture #testing #tool support #towards
Towards a Reference Architecture for Software Testing Tools (EYN, AdSS, FCF, JCM), pp. 157–162.
SIGIRSIGIR-2007-EfthimiadisF #education #information retrieval #learning #named
IR-Toolbox: an experiential learning tool for teaching IR (ENE, NGF), p. 914.
SIGIRSIGIR-2007-ShahM #information management #named
DiscoverInfo: a tool for discovering information with relevance and novelty (CS, GM), p. 902.
SIGIRSIGIR-2007-YeungFC #named
X-Site: a workplace search tool for software engineers (PCKY, LF, CLAC), p. 900.
ECMFAECMDA-FA-2007-AchilleosGY #development #framework #modelling #open source #tool support
An Open Source Domain-Specific Tools Framework to Support Model Driven Development of OSS (AA, NG, KY), pp. 1–16.
ECMFAECMDA-FA-2007-BrorkensK #abstraction #legacy #metamodelling #standard #tool support #xml
Improving the Interoperability of Automotive Tools by Raising the Abstraction from Legacy XML Formats to Standardized Metamodels (MB, MK), pp. 59–67.
MODELSMoDELS-2007-PleussVH #development #interactive #tool support
Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications (AP, AV, HH), pp. 241–255.
MODELSMoDELS-2007-PleussVH #development #interactive #tool support
Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications (AP, AV, HH), pp. 241–255.
TOOLSTOOLS-EUROPE-2007-CancianSSF #automation #component #development #embedded
A Tool for Supporting and Automating the Development of Component-based Embedded Systems (RLC, MRS, AS, AAF), pp. 399–416.
TOOLSTOOLS-EUROPE-2007-RomeroRDV #maude #modelling #tool support
Formal and Tool Support for Model Driven Engineering with Maude (JRR, JER, FD, AV), pp. 187–207.
RERE-2007-DjebbiSF #bibliography #industrial #product line #requirements #roadmap #tool support
Industry Survey of Product Lines Management Tools: Requirements, Qualities and Open Issues (OD, CS, GF), pp. 301–306.
RERE-2007-RabiserDGLF #product line #requirements
Involving Non-Technicians in Product Derivation and Requirements Engineering: A Tool Suite for Product Line Engineering (RR, DD, PG, KL, CF), pp. 367–368.
RERE-2007-SeyffGGM #mobile #requirements
The Mobile Scenario Presenter: A Tool for in situ Requirements Discovery with Scenarios (NS, FG, PG, NAMM), pp. 365–366.
REFSQREFSQ-2007-BalushiSDL #elicitation #named #quality
ElicitO: A Quality Ontology-Guided NFR Elicitation Tool (THAB, PRFS, DD, PL), pp. 306–319.
SACSAC-2007-Saad-KhorchefRC #communication #framework #robust #testing
A framework and a tool for robustness testing of communicating software (FSK, AR, RC), pp. 1461–1466.
SACSAC-2007-VogelerGB #documentation #tool support #xml
New specialist tools for medieval document XML markup (GV, SG, BB), pp. 594–599.
ESEC-FSEESEC-FSE-2007-AsuncionFT #industrial #traceability
An end-to-end industrial software traceability tool (HUA, FF, RNT), pp. 115–124.
ESEC-FSEESEC-FSE-2007-Kwiatkowska #modelling #tool support #verification
Quantitative verification: models techniques and tools (MZK), pp. 449–458.
ICSEICSE-2007-AutiliINT #automation #component #distributed #named #synthesis
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems (MA, PI, AN, MT), pp. 784–787.
ICSEICSE-2007-BurmesterGHHTGMV #perspective #realtime #tool support
Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View (SB, HG, SH, MH, MT, AG, EM, HV), pp. 801–804.
ICSEICSE-2007-ChesleyRRT #fault #java #locality #source code
Crisp- A Fault Localization Tool for Java Programs (OCC, XR, BGR, FT), pp. 775–779.
ICSEICSE-2007-CoppitPR #named #prototype
Spotlight: A Prototype Tool for Software Plans (DC, RRP, MR), pp. 754–757.
ICSEICSE-2007-Egyed07a #consistency #modelling #named #uml
UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models (AE), pp. 793–796.
ICSEICSE-2007-GrundyH #diagrams #sketching #visual notation
Supporting Generic Sketching-Based Input of Diagrams in a Domain-Specific Visual Language Meta-Tool (JCG, JGH), pp. 282–291.
ICSEICSE-2007-HonidenTYTW #architecture #development #re-engineering #tool support
Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan (SH, YT, NY, KT, HW), pp. 708–718.
ICSEICSE-2007-MilicevicMMK #generative #named #testing
Korat: A Tool for Generating Structurally Complex Test Inputs (AM, SM, DM, SK), pp. 771–774.
ICSEICSE-2007-Staron #education #evaluation #learning #process #re-engineering #student #using
Using Experiments in Software Engineering as an Auxiliary Tool for Teaching — A Qualitative Evaluation from the Perspective of Students’ Learning Process (MS), pp. 673–676.
ICSEICSE-2007-UzuncaovaK #declarative #named #slicing #specification
Kato: A Program Slicing Tool for Declarative Specifications (EU, SK), pp. 767–770.
ICSEICSE-2007-ZhuLBG #capacity #modelling #named
Revel8or: Model Driven Capacity Planning Tool Suite (LZ, YL, NBB, IG), pp. 797–800.
SPLCSPLC-2007-BeucheBDFGHJJKMW #product line #requirements #tool support #using
Using Requirements Management Tools in Software Product Line Engineering: The State of the Practice (DB, AB, HD, AF, HG, GH, DJ, IJ, RTK, TvdM, AW), pp. 84–96.
LCTESLCTES-2007-Engelsma #case study #experience #perspective #tool support
Enabling seamless mobility: an enablers, experiences and tools perspective (JE), p. 136.
CADECADE-2007-MurkLH #c #named #source code #verification
KeY-C: A Tool for Verification of C Programs (OM, DL, RH), pp. 385–390.
CADECADE-2007-VerchinineLP #automation #deduction #proving #verification
System for Automated Deduction (SAD): A Tool for Proof Verification (KV, AVL, AP), pp. 398–403.
CAVCAV-2007-BloemCPRT #analysis #formal method #named #requirements
RAT: A Tool for the Formal Analysis of Requirements (RB, RC, IP, MR, AT), pp. 263–267.
CAVCAV-2007-JobstmannGWB #named #synthesis
Anzu: A Tool for Property Synthesis (BJ, SJG, MW, RB), pp. 258–262.
CAVCAV-2007-ManoliosSV #analysis #named
BAT: The Bit-Level Analysis Tool (PM, SKS, DV), pp. 303–306.
ICLPICLP-2007-MancarellaTT #abduction #logic programming #verification #web
Web Sites Verification: An Abductive Logic Programming Tool (PM, GT, FT), pp. 434–435.
CBSECBSE-2006-LeeKLC #adaptation #integration #interface #web #web service
A Tool to Generate an Adapter for the Integration of Web Services Interface (KL, JK, WL, KC), pp. 328–335.
CBSECBSE-2006-LudersFWC #component #embedded #prototype #realtime
A Prototype Tool for Software Component Services in Embedded Real-Time Systems (FL, DF, AW, IC), pp. 222–237.
ASEASE-2006-GrundyHZL #editing #generative #specification #visual notation
Generating Domain-Specific Visual Language Editors from High-level Tool Specifications (JCG, JGH, NZ, NL), pp. 25–36.
ASEASE-2006-Hall #named #scalability
LSS: A Tool for Large Scale Scenarios (RJH), pp. 349–350.
ASEASE-2006-RamanathanGJ #automation #detection #named
Sieve: A Tool for Automatically Detecting Variations Across Program Versions (MKR, AG, SJ), pp. 241–252.
ASEASE-2006-Singer #evaluation #testing #tool support
Testing Tools and Techniques: A Mini-Tutorial on Evaluation Methods for ASE (JS), pp. 371–374.
ASEASE-2006-SpanoudakisZ #uml
UML-based Service Discovery Tool (GS, AZ), pp. 361–362.
ASEASE-2006-TateishiMOS #automation #verification
Automated Verification Tool for DHTML (TT, HM, KO, SS), pp. 363–364.
CASECASE-2006-DingYZA #clustering #evaluation #multi #nondeterminism #optimisation #performance #process #tool support
Performance Evaluation and Schedule Optimization of Multi-Cluster Tools with Process Times Uncertainty (SD, JY, MTZ, RAT), pp. 112–117.
CASECASE-2006-LeeLS #clustering #graph
Token delays and generalized workload balancing for timed event graphs with application to cluster tool operation (TEL, HYL, RSS), pp. 93–99.
CASECASE-2006-WuZ #clustering #constraints #petri net #scheduling #tool support
Schedulability and Scheduling of Dual-Arm Cluster Tools with Residency Time Constraints Based on Petri Net (NW, MZ), pp. 87–92.
DACDAC-2006-FlakeDS #design #tool support
System-level exploration tools for MPSoC designs (PF, SJD, FS), pp. 286–287.
DACDAC-2006-GoffioulVDDC #consistency #design #object-oriented #using
Ensuring consistency during front-end design using an object-oriented interfacing tool called NETLISP (MG, GV, JVD, BD, BC), pp. 889–892.
DACDAC-2006-LiuMM #analysis #design #reliability #tool support
Design tools for reliability analysis (ZL, BM, JZM), pp. 182–187.
DACDAC-2006-SheahanFWMM #challenge #design
4.25 Gb/s laser driver: design challenges and EDA tool limitations (BS, JWF, JW, KM, BM), pp. 863–866.
DACDAC-2006-SingheeFMR #probability #statistics #tool support #towards
Probabilistic interval-valued computation: toward a practical surrogate for statistics inside CAD tools (AS, CFF, JDM, RAR), pp. 167–172.
DACDAC-2006-WangDC #approach #named #scheduling #tool support
ExtensiveSlackBalance: an approach to make front-end tools aware of clock skew scheduling (KW, LD, XC), pp. 951–954.
DATEDATE-2006-GianniniNBCCDB #design #power management #synthesis
A synthesis tool for power-efficient base-band filter design (VG, PN, FDB, JC, BC, SD, AB), pp. 162–163.
DATEDATE-2006-MaciiPFADZ #design #matter #power management #question #tool support
Low-power design tools: are EDA vendors taking this matter seriously? (EM, MP, DF, RCA, AD, RZ), p. 1227.
DATEDATE-2006-SethuramanV #architecture #automation #generative #multi #named #using
optiMap: a tool for automated generation of noc architectures using multi-port routers for FPGAs (BS, RV), pp. 947–952.
DATEDATE-2006-X #architecture #design #tool support
4G applications, architectures, design methodology and tools for MPSoC, pp. 830–831.
PODSPODS-2006-GyssensPGF #documentation #navigation #semantics #xpath
Structural characterizations of the semantics of XPath as navigation tool on a document (MG, JP, DVG, GHLF), pp. 318–327.
VLDBVLDB-2006-YuanBWMH #integration #semantics
A Semantic Information Integration Tool Suite (JY, AB, CW, MOM, AH), pp. 1171–1174.
CSEETCSEET-2006-CarverH #education #empirical #programming
Viope as a Tool for Teaching Introductory Programming: An Empirical Investigation (JCC, LH), pp. 9–16.
CSEETCSEET-2006-WangS #learning #re-engineering
Writing as a Tool for Learning Software Engineering (AIW, CFS), pp. 35–42.
ITiCSEITiCSE-2006-AlmstrumL #tool support #women
Men are from toys: women are from tools (VLA, MZL), p. 313.
ITiCSEITiCSE-2006-CostaTBS #metric #quality #sequence
Reconstructed high frame rate sequences quality measurement tool (MIC, CT, JB, SFSPS), p. 333.
ITiCSEITiCSE-2006-DonyC #education #programming
A tool for helping teach a programming method (ID, BLC), pp. 212–216.
ITiCSEITiCSE-2006-TrontEP #named #tablet
WriteOn: a tool for classroom presentations on tablet PCs (JGT, VE, JCP), p. 352.
ITiCSEITiCSE-2006-Wise #development #java #named
GoJava: a java development tool for beginners (JW), p. 359.
TACASTACAS-2006-BolligKSS #named #specification
MSCan — A Tool for Analyzing MSC Specifications (BB, CK, MS, VS), pp. 455–458.
TACASTACAS-2006-GaravelMBCDJSS #distributed #generative #tool support
DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation (HG, RM, DB, AC, ND, CJ, ISS, GS), pp. 445–449.
TACASTACAS-2006-HintonKNP #automation #named #probability #verification
PRISM: A Tool for Automatic Verification of Probabilistic Systems (AH, MZK, GN, DP), pp. 441–444.
CSMRCSMR-2006-Bastide #adaptation #component
A Refactoring-based Tool for Software Component Adaptation (GB), pp. 315–318.
CSMRCSMR-2006-GueheneucMW #comparative #design #framework #tool support
A Comparative Framework for Design Recovery Tools (YGG, KM, RW), pp. 123–134.
ICPCICPC-2006-JinC #reverse engineering #tool support #using
Integrating Reverse Engineering Tools Using a Service-Sharing Methodology (DJ, JRC), pp. 94–99.
SCAMSCAM-2006-Bruntink #analysis #tool support
Linking Analysis and Transformation Tools with Source-Based Mappings (MB), pp. 107–116.
SCAMSCAM-2006-FulopGF #c++ #design pattern #mining #tool support
Evaluating C++ Design Pattern Miner Tools (LJF, TG, RF), pp. 127–138.
SCAMSCAM-2006-WykKBJSR #c #compilation #composition #framework #java #tool support
Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C (EVW, LK, DB, EJ, AS, PR), p. 161.
WCREWCRE-2006-MarinMD06a #mining #named #tool support
FINT: Tool Support for Aspect Mining (MM, LM, AvD), pp. 299–300.
PEPMPEPM-2006-MadouPB #interactive #named #obfuscation
LOCO: an interactive code (De)obfuscation tool (MM, LVP, KDB), pp. 140–144.
FLOPSFLOPS-2006-BartheFPR #coq #proving #reasoning #recursion
Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant (GB, JF, DP, VR), pp. 114–129.
ICGTICGT-2006-GeissBGHS #graph grammar #named #performance
GrGen: A Fast SPO-Based Graph Rewriting Tool (RG, GVB, DG, SH, AS), pp. 383–397.
CHICHI-2006-IsbisterHSL #evaluation
The sensual evaluation instrument: developing an affective evaluation tool (KI, KH, MS, JL), pp. 1163–1172.
CHICHI-2006-KoM #editing #framework #implementation #interactive #named #tool support
Barista: An implementation framework for enabling new tools, interaction techniques and views in code editors (AJK, BAM), pp. 387–396.
CSCWCSCW-2006-CataldoWHC #collaboration #coordination #design #identification #requirements #tool support
Identification of coordination requirements: implications for the Design of collaboration and awareness tools (MC, PW, JDH, KMC), pp. 353–362.
CSCWCSCW-2006-WeisethMTL #analysis #collaboration #framework #tool support
The wheel of collaboration tools: a typology for analysis within a holistic framework (PEW, BEM, BT, SL), pp. 239–248.
SOFTVISSOFTVIS-2006-HoskingKD #semistructured data #visualisation
A tool for visualizing schemas for semistructured data (JGH, NK, GD), pp. 149–150.
AdaEuropeAdaEurope-2006-RazaVP #named #program analysis #reverse engineering
Bauhaus — A Tool Suite for Program Analysis and Reverse Engineering (AR, GV, EP), pp. 71–82.
AdaSIGAda-2006-PlantecS #ada #automation #library #refactoring
Refactoring of an Ada 95 library with a Meta CASE tool (AP, FS), pp. 61–70.
AdaSIGAda-2006-SwardG #safety
Developing safety critical software for an unmanned aerial vehicle situational awareness tool (RES, MG), pp. 45–50.
EDOCEDOC-2006-ErnstLSW #architecture #enterprise #tool support
Tool Support for Enterprise Architecture Management — Strengths and Weaknesses (AME, JL, CMS, AW), pp. 13–22.
ICEISICEIS-AIDSS-2006-KumarVBM #evaluation #information retrieval #multi #tool support
Multi-Criteria Evaluation of Information Retrieval Tools (NK, JV, JDB, MFM), pp. 150–155.
ICEISICEIS-HCI-2006-EspirituST #automation #named #semantics #topic #visualisation #wiki
ENWIC: Visualizing Wiki Semantics as Topic Maps — An Automated Topic Discovery and Visualization Tool (CE, ES, TT), pp. 35–42.
ICEISICEIS-ISAS-2006-DaoHHRV #abstraction #mining #modelling #tool support #towards #uml
Towards Practical Tools for Mining Abstractions in UML Models (MD, MH, MRH, CR, PV), pp. 276–283.
ICEISICEIS-ISAS-2006-EinigTP #editing #ontology #visual notation
Managing the Knowledge Needed to Support an Electronic Personal Assistant — An End-User Friendly Graphical Ontology Editing Tool (ME, RT, GP), pp. 304–309.
ICEISICEIS-ISAS-2006-GervaisBFL #database #named #relational #transaction
EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions (FG, PB, MF, RL), pp. 44–51.
ICEISICEIS-J-2006-CarricoSA06a #personalisation #tool support
Handheld Tools for Personalized and Proactive Psychotherapy (LC, MdS, PA), pp. 452–464.
CIKMCIKM-2006-PiochE #collaboration #information management #named #tool support
POLESTAR: collaborative knowledge management and sensemaking tools for intelligence analysts (NJP, JOE), pp. 513–521.
ICPRICPR-v1-2006-Katayama #using
Camera Calibration with a Transparent Calibration Tool Using Color Filters: Application to Stereo Camera Calibration for a Distant Object (YK), pp. 607–612.
SEKESEKE-2006-BabichCC #java #named
TaxTOOLJ: A Tool to Catalog Java Classes (DB, KC, PJC), pp. 375–380.
SEKESEKE-2006-BaileyS #empirical #modelling #tool support
Applying Models of Technology Adoption to Software Tools and Methods: An Empirical Study (SAB, SES), pp. 200–205.
SEKESEKE-2006-GaaloulG #analysis #mining