BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
tool support
Google tool support

Tag #tool support

1454 papers:

CCCC-2020-GorgovanCL #case study #development #performance
Balancing performance and productivity for the development of dynamic binary instrumentation tools: a case study on Arm systems (CG, GC, ML), pp. 132–142.
ECSAECSA-2019-PigazziniFM #architecture #case study #industrial #migration
Tool Support for the Migration to Microservice Architecture: An Industrial Case Study (IP, FAF, AM), pp. 247–263.
EDMEDM-2019-VaratharajBLH #assessment #automation
Hao Fa Yin: Developing Automated Audio Assessment Tools for a Chinese Language Course (AV, AFB, XL, NTH).
ICPCICPC-2019-BaiCSCWS #composition #regular expression
Exploring tools and strategies used during regular expression composition tasks (GRB, BC, NS, CC, CW, KTS), pp. 197–208.
ICPCICPC-2019-SchnappingerOPF #classification #learning #maintenance #predict #static analysis
Learning a classifier for prediction of maintainability based on static analysis tools (MS, MHO, AP, AF), pp. 243–248.
MSRMSR-2019-ChatterjeeDPAK #case study #mining #re-engineering
Exploratory study of slack Q&A chats as a mining source for software engineering tools (PC, KD, LLP, VA, NAK), pp. 490–501.
SANERSANER-2019-Farmahinifarahani #clone detection #detection #on the #precise
On Precision of Code Clone Detection Tools (FF, VS, DY, HS, CVL), pp. 84–94.
IFM-2019-CamilliGMS #named #nondeterminism #testing #web
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications (MC, AG, RM, PS), pp. 495–503.
CHI-PLAYCHI-PLAY-2019-HarpsteadRSH #game studies #overview #research #streaming #towards
Toward a Twitch Research Toolkit: A Systematic Review of Approaches to Research on Game Streaming (EH, JSR, JS, JH), pp. 111–119.
CHI-PLAYCHI-PLAY-2019-SyllaSDAB #evaluation
Fiddling, Pointing, Hovering, and Sliding: Embodied Actions with Three Evaluation Tools for Children (CMS, EMS, AD, ASA, EIB), pp. 59–72.
DiGRADiGRA-2019-ToftedahlE #game studies #industrial #taxonomy
A Taxonomy of Game Engines and the Tools that Drive the Industry (MT, HE).
ECIRECIR-p2-2019-MoraesH #named #stack #web
node-indri: Moving the Indri Toolkit to the Modern Web Stack (FM, CH), pp. 241–245.
ECIRECIR-p2-2019-TschuggnallGS #named #visualisation
StyleExplorer: A Toolkit for Textual Writing Style Visualization (MT, TG, GS), pp. 220–224.
ASEASE-2019-CastroPA #locality #named
Pangolin: An SFL-Based Toolset for Feature Localization (BC, AP, RA), pp. 1130–1133.
ASEASE-2019-LiuFXLGGY #automation #evaluation #named #performance #simulation #workflow
FogWorkflowSim: An Automated Simulation Toolkit for Workflow Performance Evaluation in Fog Computing (XL, LF, JX, XL, LG, JCG, YY), pp. 1114–1117.
ESEC-FSEESEC-FSE-2019-DurieuxDMA #debugging #empirical #java #overview #program repair #scalability
Empirical review of Java program repair tools: a large-scale experiment on 2, 141 bugs and 23, 551 repair attempts (TD, FM, MM, RA), pp. 302–313.
ESEC-FSEESEC-FSE-2019-MordahlOKWG #debugging #detection #empirical #variability
An empirical study of real-world variability bugs detected by variability-oblivious tools (AM, JO, UK, SW, PG), pp. 50–61.
ESEC-FSEESEC-FSE-2019-RiggerMAM #comprehension
Understanding GCC builtins to develop better tools (MR, SM, BA, HM), pp. 74–85.
ICSE-2019-KavalerTVF #assurance #git #javascript #matter #quality
Tool choice matters: JavaScript quality assurance tools and usage outcomes in GitHub projects (DK, AT, BV, VF), pp. 476–487.
ICSE-2019-Murphy-HillSSJW #developer #question
Do developers discover new tools on the toilet? (ERMH, EKS, CS, CJ, CW, MJ, AK, AT, SG), pp. 465–475.
ICSE-2019-YangZSS00X #debugging #difference #random #test coverage #testing
Hunting for bugs in code coverage tools via randomized differential testing (YY, YZ, HS, ZS, ZZ0, LX0, BX), pp. 488–498.
ICSE-2019-ZhuLSG #framework #testing
A framework for checking regression test selection tools (CZ, OL, AS, MG), pp. 430–441.
CASECASE-2019-ChengT #flexibility #using
Control of a mechatronics-assisted system for surgeries using flexible tools (LC, MT), pp. 1768–1773.
CASECASE-2019-MarzanoFM #energy #performance #policy
Energy Efficient State Control of Machine Tools: a Time-Based Dynamic Control Policy (LM, NF, AM), pp. 596–601.
FASEFASE-2019-RungeSCTKW
Tool Support for Correctness-by-Construction (TR, IS, LC, TT, DGK, BWW), pp. 25–42.
CAVCAV-2019-DreossiFGKRVS #analysis #design #named
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems (TD, DJF, SG, EK, HR, MVC, SAS), pp. 432–442.
ICPCICPC-2018-LyuNK #diagrams #named #sequence chart
SDexplorer: a generic toolkit for smoothly exploring massive-scale sequence diagram (KL, KN, TK), pp. 380–384.
ICSMEICSME-2018-Nucci #testing
Methods and Tools for Focusing and Prioritizing the Testing Effort (DDN), pp. 722–726.
SANERSANER-2018-IslamZ #analysis #comparison #re-engineering #sentiment
A comparison of software engineering domain specific sentiment analysis tools (MRI, MFZ), pp. 487–491.
SANERSANER-2018-VassalloPPPZG #developer #static analysis
Context is king: The developer perspective on the usage of static analysis tools (CV, SP, FP, SP, AZ, HCG), pp. 38–49.
SCAMSCAM-2018-MostaeenSRRS #automation #design #machine learning #research #towards #using #validation
[Research Paper] On the Use of Machine Learning Techniques Towards the Design of Cloud Based Automatic Code Clone Validation Tools (GM, JS, BR, CKR, KAS), pp. 155–164.
FMFM-2018-BeckerPDT #analysis #float #optimisation
Combining Tools for Optimization and Analysis of Floating-Point Computations (HB, PP, ED, ZT), pp. 355–363.
FMFM-2018-BeyeneR #integration #verification
Evidential and Continuous Integration of Software Verification Tools (TAB, HR), pp. 679–685.
CoGCIG-2018-MascarenhasGPDS #developer #game studies
A Virtual Agent Toolkit for Serious Games Developers (SM, MG, RP, JD, PAS, KS, BH, ES, RK), pp. 1–7.
FDGFDG-2018-CooperSKSS #game studies
Repurposing citizen science games as software tools for professional scientists (SC, ALRS, RK, WMS, JBS), p. 6.
FDGFDG-2018-LevyLSG #design #game studies #reliability
Method in the madness: the design of games as valid and reliable scientific tools (LML, AJL, RS, MG), p. 10.
FDGFDG-2018-Maureira #game studies #learning #named
CURIO: a game-based learning toolkit for fostering curiosity (MAGM), p. 6.
KDDKDD-2018-Smola #algorithm #hardware
Algorithms, Data, Hardware and Tools: A Perfect Storm (AS), p. 2878.
MoDELSMoDELS-2018-PouraliA #challenge #empirical #modelling #using
An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools (PP, JMA), pp. 224–234.
PADLPADL-2018-CatalanoLRRV #development #framework
A REST-Based Development Framework for ASP: Tools and Application (GC, GL, KR, FR, PV), pp. 161–169.
ASEASE-2018-HaririS #c #mutation testing #named #representation #source code #testing
SRCIROR: a toolset for mutation testing of C source code and LLVM intermediate representation (FH, AS), pp. 860–863.
ASEASE-2018-Vera-PerezMB #detection #named #pseudo
Descartes: a PITest engine to detect pseudo-tested methods: tool demonstration (OLVP, MM, BB), pp. 908–911.
ASEASE-2018-WangLYCZDX #android #case study #empirical #generative #industrial #testing
An empirical study of Android test generation tools in industrial cases (WW, DL0, WY0, YC, ZZ, YD, TX0), pp. 738–748.
ESEC-FSEESEC-FSE-2018-Brindescu #developer #how #process
How do developers resolve merge conflicts? an investigation into the processes, tools, and improvements (CB), pp. 952–955.
ESEC-FSEESEC-FSE-2018-PauckBW #analysis #android #question
Do Android taint analysis tools keep their promises? (FP, EB, HW), pp. 331–341.
ESEC-FSEESEC-FSE-2018-RoyPDH #debugging #fault #synthesis
Bug synthesis: challenging bug-finding tools with deep faults (SR, AP, BDG, YH), pp. 224–234.
ESEC-FSEESEC-FSE-2018-Spadini #testing
Practices and tools for better software testing (DS), pp. 928–931.
CASECASE-2018-YangWSQ #analysis #clustering #constraints #scheduling
Cyclic Scheduling Analysis of Single-arm Cluster Tools with Wafer Residency Time Constraint and Chamber Cleaning Operations (FY, NW, RS, YQ), pp. 241–246.
FASEFASE-2018-SemerathV #domain-specific language #generative #modelling #specification #testing
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools (OS, DV), pp. 227–245.
CAVCAV-2018-GrishchenkoMS #contract #static analysis
Foundations and Tools for the Static Analysis of Ethereum Smart Contracts (IG, MM, CS), pp. 51–78.
ICSTICST-2018-PrauseGG #automation #verification
Evaluating Automated Software Verification Tools (CP, RG, RG), pp. 343–353.
ICSTICST-2018-RaposC #evolution #maintenance #named
SimEvo: A Toolset for Simulink Test Evolution & Maintenance (EJR, JRC), pp. 410–415.
IJCARIJCAR-2018-HirokawaNM #confluence #framework
Cops and CoCoWeb: Infrastructure for Confluence Tools (NH, JN, AM), pp. 346–353.
ICSAICSA-2017-ErnstBON #automation #design #what
What to Fix? Distinguishing between Design and Non-design Rules in Automated Tools (NAE, SB, IO, RLN), pp. 165–168.
JCDLJCDL-2017-NwalaWZAN #memory management
Local Memory Project: Providing Tools to Build Collections of Stories for Local Events from Local Sources (ACN, MCW, ABZ, AA, MLN), pp. 219–228.
CSEETCSEET-2017-LiebelBH #case study #education #modelling #multi #re-engineering #uml
Model Driven Software Engineering in Education: A Multi-Case Study on Perception of Tools and UML (GL, OB, RH), pp. 124–133.
ICPCICPC-2017-AzadmaneshHV #comprehension #data flow #independence
Language-independent information flow tracking engine for program comprehension tools (MRA, MH, MLVdV), pp. 346–355.
ICSMEICSME-2017-AlorainiN #android #fault #open source #state of the art #static analysis
Evaluating State-of-the-Art Free and Open Source Static Analysis Tools Against Buffer Errors in Android Apps (BA, MN), pp. 295–306.
ICSMEICSME-2017-CaiR17a #android #named
DroidFax: A Toolkit for Systematic Characterization of Android Applications (HC, BGR), pp. 643–647.
ICSMEICSME-2017-KevicF #towards
Towards Activity-Aware Tool Support for Change Tasks (KK, TF0), pp. 171–182.
MSRMSR-2017-TiwariUNR #framework #mining #named #platform #repository
Candoia: a platform for building and sharing mining software repositories tools as apps (NMT, GU, HAN, HR), pp. 53–63.
MSRMSR-2017-ZampettiSOCP #analysis #how #integration #open source #pipes and filters
How open source projects use static code analysis tools in continuous integration pipelines (FZ, SS, RO, GC, MDP), pp. 334–344.
SANERSANER-2017-BuckersCDGWBZ #automation #multi #named #static analysis
UAV: Warnings from multiple Automated Static Analysis Tools at a glance (TB, CC, MD, BG, SW, MB, AZ), pp. 472–476.
SANERSANER-2017-StefanicaM #named #program analysis
XCORE: Support for developing program analysis tools (AS, PFM), pp. 462–466.
ICFP-2017-WeitzLHTET #library #named #verification
SpaceSearch: a library for building and verifying solver-aided tools (KW, SL, SH, ET, MDE, ZT), p. 28.
AIIDEAIIDE-2017-Grow
Cooperative Creativity Support Tools for Computational Crafting (AG), pp. 289–291.
FDGFDG-2017-KaltmanOWM #analysis #game studies
Getting the GISST: a toolkit for the creation, analysis and reference of game studies resources (EK, JCO, NWF, MM), p. 10.
KDDKDD-2017-RuizPWL #performance #quote
“The Leicester City Fairytale?”: Utilizing New Soccer Analytics Tools to Compare Performance in the 15/16 & 16/17 EPL Seasons (HR, PP, XW, PL), pp. 1991–2000.
MoDELSMoDELS-2017-AravantinosK #verification
Tool Support for Live Formal Verification (VA, SK), pp. 145–155.
MoDELSMoDELS-2017-KlareBKLSR #java #metamodelling #named
Ecoreification: Making Arbitrary Java Code Accessible to Metamodel-Based Tools (HK, EB, MEK, ML, TS, RHR), pp. 221–228.
MoDELSMoDELS-2017-ZolotasRKPH #model management #modelling #open source
Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon (AZ, HHR, DSK, RFP, SH), pp. 237–247.
LOPSTRLOPSTR-2017-AlbertiS #analysis #c #generative #specification
Context Generation from Formal Specifications for C Analysis Tools (MA, JS), pp. 93–111.
ASEASE-2017-CorradiniFP0TV17a #named #process #verification
BProVe: tool support for business process verification (FC, FF, AP, BR0, FT, AV), pp. 937–942.
ESEC-FSEESEC-FSE-2017-Pashchenko #benchmark #difference #metric #security #static analysis #testing
FOSS version differentiation as a benchmark for static analysis security testing tools (IP), pp. 1056–1058.
SLESLE-2017-LuhunuS #code generation #comparison #performance
Comparison of the expressiveness and performance of template-based code generation tools (LL, ES), pp. 206–216.
CASECASE-2017-BaoW #clustering #multi #scheduling
Cyclic scheduling of multi-cluster tools based on equivalent processing modules (TB, HW), pp. 642–647.
CASECASE-2017-WangPH0 #clustering #multi #scheduling
Scheduling of single-arm cluster tools with multi-type wafers and shared PMs (JW, CP, HH, YZ0), pp. 1046–1051.
FASEFASE-2017-DomenechGJS #agile #development #named #prototype #research #user interface
EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools (JD, SG, EBJ, RS), pp. 379–383.
ICSTICST-2017-PatrickDG #probability #simulation #statistics #testing
A Toolkit for Testing Stochastic Simulations against Statistical Oracles (MP, RD, CAG), pp. 448–453.
CSEETCSEET-2016-GoncalvesW #education #project management
An Instructional Unit for Teaching Project Management Tools Aligned with PMBOK (RQG, CGvW), pp. 46–55.
CSEETCSEET-2016-LeppanenLI #ad hoc #student
Hammer and Nails - Crucial Practices and Tools in Ad Hoc Student Teams (ML, SL, PI), pp. 142–146.
CSEETCSEET-2016-LiebelHS #education #industrial #modelling #using
Impact of the Use of Industrial Modelling Tools on Modelling Education (GL, RH, JPS), pp. 18–27.
CSEETCSEET-2016-SouzaFB #assessment #overview #programming
A Systematic Literature Review of Assessment Tools for Programming Assignments (DMdS, KRF, EFB), pp. 147–156.
EDMEDM-2016-SabourinMW #data mining #education #mining
SAS Tools for Educational Data Mining (JS, SWM, ADW), pp. 632–633.
ICSMEICSME-2016-DemuthKEM #automation #case study #consistency #experience #impact analysis #traceability
Introducing Traceability and Consistency Checking for Change Impact Analysis across Engineering Tools in an Automation Solution Company: An Experience Report (AD, RK, AE, DM), pp. 529–538.
MSRMSR-2016-AhmedBCHS #case study #detection #effectiveness #experience #performance #web
Studying the effectiveness of application performance management (APM) tools for detecting performance regressions for web applications: an experience report (TMA, CPB, THC, AEH, WS), pp. 1–12.
SANERSANER-2016-DavidBTMFPM #analysis #execution #named #symbolic computation
BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis (RD, SB, TDT, LM, JF, MLP, JYM), pp. 653–656.
SANERSANER-2016-FleckKMNPTW #case study #experience #multi #reverse engineering
Experience Report on Building ASTM Based Tools for Multi-language Reverse Engineering (GF, WK, MM, LN, JP, RT, MW), pp. 683–687.
SCAMSCAM-2016-HollandSAK #algorithm #complexity #detection #dynamic analysis
Statically-Informed Dynamic Analysis Tools to Detect Algorithmic Complexity Vulnerabilities (BH, GRS, PA, SK), pp. 79–84.
SCAMSCAM-2016-KintisPPVM #effectiveness #mutation testing #testing
Analysing and Comparing the Effectiveness of Mutation Testing Tools: A Manual Study (MK, MP, AP, EV, NM), pp. 147–156.
FMFM-2016-LutebergetJFS #design #incremental #rule-based #verification
Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations (BL, CJ, CF, MS), pp. 772–778.
SEFMSEFM-2016-Agha #abstraction #analysis #concurrent #modelling #problem #semantics
Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems - (Extended Abstract) (GA), pp. 3–8.
CIKMCIKM-2016-LiPC #benchmark #metric #named #query
OptMark: A Toolkit for Benchmarking Query Optimizers (ZL, OP, MC), pp. 2155–2160.
CIKMCIKM-2016-ShaabaniASS #named #synthesis
MIST: Missing Person Intelligence Synthesis Toolkit (ES, HA, PS, JEKS), pp. 1843–1867.
KDDKDD-2016-SeideA #named #open source
CNTK: Microsoft's Open-Source Deep-Learning Toolkit (FS, AA), p. 2135.
MoDELSMoDELS-2016-Garcia-Dominguez #graph #integration #modelling
Integration of a graph-based model indexer in commercial modelling tools (AGD, KB, DSK, MAAdS, AA, AB), pp. 340–350.
MoDELSMoDELS-2016-KahaniBDC #analysis #eclipse #modelling #problem #topic
The problems with eclipse modeling tools: a topic analysis of eclipse forums (NK, MB, JD, JRC), pp. 227–237.
ASEASE-2016-LiuGAA #automation #integration #named #testing
TeeVML: tool support for semi-automatic integration testing environment emulation (JL, JCG, IA, MAA), pp. 840–845.
ASEASE-2016-SchwagerlW #collaboration #modelling #named #product line
SuperMod: tool support for collaborative filtered model-driven software product line engineering (FS, BW), pp. 822–827.
FSEFSE-2016-Barik #developer #how #question #static analysis
How should static analysis tools explain anomalies to developers? (TB), pp. 1118–1120.
FSEFSE-2016-Hammoudi #testing #using #web
Regression testing of web applications using Record/Replay tools (MH), pp. 1079–1081.
FSEFSE-2016-ZhuZM #effectiveness
Effectiveness of code contribution: from patch-based to pull-request-based tools (JZ, MZ, AM), pp. 871–882.
ICSE-2016-RizziED #case study #on the
On the techniques we create, the tools we build, and their misalignments: a study of KLEE (EFR, SGE, MBD), pp. 132–143.
CASECASE-2016-KabirLSRZKMG #algorithm #multi
Planning algorithms for multi-setup multi-pass robotic cleaning with oscillatory moving tools (AMK, JDL, SS, VSR, CZ, KNK, JAM, SKG), pp. 751–757.
CASECASE-2016-QiaoZWZL #clustering #linear #optimisation #process
Optimizing close-down processes of single-robot cluster tools via linear programing (YQ, MZ, NW, QZ, ZL), pp. 148–153.
CASECASE-2016-YangWBZ #analysis #clustering #multi #scheduling
Optimal one-wafer cyclic scheduling analysis of transport-dominant single-arm multi-cluster tools (FY, NW, LB, MZ), pp. 1405–1410.
CASECASE-2016-YangWQZ #analysis #clustering #hybrid #multi #scheduling
Optimal scheduling analysis of treelike hybrid multi-cluster tools (FY, NW, YQ, MZ), pp. 1400–1404.
JCDLJCDL-2015-Adamczyk #library
The Google Cultural Institute: Tools for Libraries, Archives, and Museums (PA), p. 1.
EDMEDM-2015-BravoRLP #data mining #education #mining #online
Exploring the Influence of ICT in online Education Through Data Mining Tools (JB, SJR, JML, SP), pp. 540–543.
EDMEDM-2015-JugoKS #learning #optimisation #visual notation
Integrating a Web-based ITS with DM tools for Providing Learning Path Optimization and Visual Analytics (IJ, BK, VS), pp. 574–575.
EDMEDM-2015-Popescu #data analysis #design #interactive
Data Analysis Tools and Methods for Improving the Interaction Design in e-Learning (PSP), pp. 653–655.
ITiCSEITiCSE-2015-GreenbergR
Tools for Outreach Presentations (RIG, DR), p. 331.
ITiCSEITiCSE-2015-KarpovaDHP #algebra #named #parsing #relational
RAPT: Relational Algebra Parsing Tools (OK, ND, DH, AP), p. 334.
ICSMEICSME-2015-JongelingDS #analysis #re-engineering #research #sentiment
Choosing your weapons: On sentiment analysis tools for software engineering research (RJ, SD, AS), pp. 531–535.
ICSMEICSME-2015-SvajlenkoR #clone detection #detection
Evaluating clone detection tools with BigCloneBench (JS, CKR), pp. 131–140.
SANERSANER-2015-DamevskiSP #code search #developer #evaluation #metric #scalability
Scaling up evaluation of code search tools through developer usage metrics (KD, DCS, LLP), pp. 181–190.
SANERSANER-2015-MuskeB #on the #static analysis
On implementational variations in static analysis tools (TM, PB), pp. 512–515.
SANERSANER-2015-PanichellaAPA #code review #developer #question #static analysis
Would static analysis tools help developers with code reviews? (SP, VA, MDP, GA), pp. 161–170.
SCAMSCAM-2015-SzokeNFFG #automation #named #refactoring #smell
FaultBuster: An automatic code smell refactoring toolset (GS, CN, LJF, RF, TG), pp. 253–258.
ICALPICALP-v1-2015-AronovK #algebra #diagrams
Batched Point Location in SINR Diagrams via Algebraic Tools (BA, MJK), pp. 65–77.
HaskellHaskell-2015-FarmerSG #equation #haskell #reasoning #source code
Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs (AF, NS, AG), pp. 23–34.
CHI-PLAYCHI-PLAY-2015-TanMZCCW #design #game studies #research
Tool Design Jam: Designing tools for Games User Research (CTT, PMB, VZ, AC, GC, GW), pp. 827–831.
FDGFDG-2015-RyanKMW15a #analysis #game studies #semantics #using
Tools for Game Discovery Built Using Latent Semantic Analysis (JOR, EK, MM, NWF).
CoGVS-Games-2015-HeinimakiE #automation
Augmenting Technology Trees: Automation and Tool Support (TJH, TE), pp. 1–8.
ICGTICGT-2015-LeblebiciAS #graph grammar #multi
Tool Support for Multi-amalgamated Triple Graph Grammars (EL, AA, AS), pp. 257–265.
CHICHI-2015-AmershiCDLSS #analysis #machine learning #named #performance
ModelTracker: Redesigning Performance Analysis Tools for Machine Learning (SA, MC, SMD, BL, PYS, JS), pp. 337–346.
CHICHI-2015-HoubenM #named #prototype
WatchConnect: A Toolkit for Prototyping Smartwatch-Centric Cross-Device Applications (SH, NM), pp. 1247–1256.
CHICHI-2015-JacobsZ #collaboration #design #hybrid
Hybrid Practice in the Kalahari: Design Collaboration through Digital Tools and Hunter-Gatherer Craft (JJ, AZ), pp. 619–628.
CHICHI-2015-KuznetsovDWMHP #biology #hybrid #open source #platform
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
New Interaction Tools for Preserving an Old Language (BP, LH, TZ, KK, AWY, GJ, RB, EYLD), pp. 3493–3502.
CHICHI-2015-VatavuW #analysis #elicitation #formal method #metric
Formalizing Agreement Analysis for Elicitation Studies: New Measures, Significance Test, and Toolkit (RDV, JOW), pp. 1325–1334.
CSCWCSCW-2015-FreitasD #collaboration #framework
The Group Context Framework: An Extensible Toolkit for Opportunistic Grouping and Collaboration (AAdF, AKD), pp. 1602–1611.
CSCWCSCW-2015-HalbertN #design #interactive
Designing for Discomfort: Supporting Critical Reflection through Interactive Tools (HH, LPN), pp. 349–360.
HCIDUXU-DD-2015-ChasanidouGL #design
Design Thinking Methods and Tools for Innovation (DC, AAG, EL), pp. 12–23.
HCIDUXU-DD-2015-Penzenstadler #design
A Toolkit for SE for Sustainability — A Design Fiction (BP), pp. 634–643.
HCIDUXU-IXD-2015-FioriniFASWRL #3d #education #interactive #modelling #simulation
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 #towards #user interface
Towards a Requirements Catalogue for Prototyping Tools of Mobile User Interfaces (BB), pp. 495–507.
HCILCT-2015-Alvarez-Montero #concept #feedback #overview #perspective
Feedback in Computer-Based Concept Mapping Tools: A Short Review (FJÁM, HJG, ERR), pp. 187–198.
HCILCT-2015-GonzalezHGS #interactive #learning #student
Exploring Student Interactions: Learning Analytics Tools for Student Tracking (MÁCG, ÁHG, FJGP, MLSE), pp. 50–61.
ICEISICEIS-v3-2015-BhatRM #architecture #enterprise #evolution #metric
Tool Support for Analyzing the Evolution of Enterprise Architecture Metrics (MB, TR, FM), pp. 154–161.
SEKESEKE-2015-FonsecaBF #integration #metric
Integration of Software Measurement Supporting Tools: A Mapping Study (VSF, MPB, RdAF), pp. 516–521.
SEKESEKE-2015-GoncalvesW #education #how #overview #perspective #project management
How to Teach the Usage of Project Management Tools in Computer Courses: A Systematic Literature Review (RQG, CGvW), pp. 36–41.
ECMFAECMFA-2015-BruneliereGDKHB #lightweight #metamodelling #modelling #on the
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 #uml
Empirical Evaluation of UML Modeling Tools — A Controlled Experiment (SAS, MZI, MUK), pp. 33–44.
MoDELSMoDELS-2015-FoucheNGE #diagrams #generative #modelling #standard
Systematic generation of standard compliant tool support of diagrammatic modeling languages (AF, FN, SG, ME), pp. 348–357.
SPLCSPLC-2015-DomisAB #analysis #modelling #safety #uml #using #variability
Integrating variability and safety analysis models using commercial UML-based tools (DD, RA, MB), pp. 225–234.
SPLCSPLC-2015-FerrariSGD #diagrams #documentation #feature model #natural language
CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams (AF, GOS, SG, FD), pp. 402–410.
OnwardOnward-2015-BarmanBCTBC #interactive #synthesis #towards
Toward tool support for interactive synthesis (SB, RB, SC, ET, AB, DC), pp. 121–136.
PLATEAUPLATEAU-2015-ChisNG #development #towards
Towards moldable development tools (AC, ON, TG), pp. 25–26.
PLATEAUPLATEAU-2015-KabacVC #developer #evaluation #learning #usability
An evaluation of the DiaSuite toolset by professional developers: learning cost and usability (MK, NV, CC), pp. 9–16.
ASEASE-2015-VuPNN #mobile
Tool Support for Analyzing Mobile App Reviews (PMV, HVP, TTN, TTN), pp. 789–794.
ESEC-FSEESEC-FSE-2015-JohnsonPMH #adaptation #concept #developer
Bespoke tools: adapted to the concepts developers know (BJ, RP, ERMH, SH), pp. 878–881.
ESEC-FSEESEC-FSE-2015-WangPGBI #automation #case study #named #specification #testing
UMTG: a toolset to automatically generate system test cases from use case specifications (CW, FP, AG, LCB, MZZI), pp. 942–945.
ESEC-FSEESEC-FSE-2015-WitscheyZWMMZ #developer #security
Quantifying developers’ adoption of security tools (JW, OZ, AKW, ERMH, CBM, TZ), pp. 260–271.
GTTSEGTTSE-2015-Steimann #refactoring
Refactoring Tools and Their Kin (FS), pp. 179–214.
ICSEICSE-v1-2015-SmithBZ #exclamation #scalability
Build It Yourself! Homegrown Tools in a Large Software Company (EKS, CB, TZ), pp. 369–379.
ICSEICSE-v2-2015-TannoZHS #automation #enterprise #generative #modelling #testing
TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications (HT, XZ, TH, KS), pp. 717–720.
SACSAC-2015-SousaS #domain-specific language #simulation
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 #using
Architecting cloud tools using software product line techniques: an exploratory study (LPT, LGA, MdB, RFGC), pp. 1441–1448.
SACSAC-2015-TriasCSM #migration #named #reverse engineering #web
RE-CMS: a reverse engineering toolkit for the migration to CMS-based web applications (FT, VdC, MLS, EM), pp. 810–812.
GPCEGPCE-2015-AdamS #domain-specific language #towards
Towards tool support for spreadsheet-based domain-specific languages (SA, UPS), pp. 95–98.
GPCEGPCE-2015-El-SharkawyKS #analysis #semantics
Analysing the Kconfig semantics and its analysis tools (SES, AK, KS), pp. 45–54.
CASECASE-2015-ChenHLL #development #ontology
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
Dynamic programming for energy control of machine tools in manufacturing (NF, JGS, AM), pp. 39–44.
CASECASE-2015-LinHWC #development #multitenancy #novel
Development of a novel cloud-based multi-tenant model creation scheme for machine tools (YCL, MHH, CFW, FTC), pp. 1448–1449.
CASECASE-2015-PanZQ #clustering #how #process
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
Local modular supervisory control applied to the scheduling of cluster tools (GS, MHdQ, JERC), pp. 1381–1388.
CASECASE-2015-TiengYC #precise
Total precision inspection of machine tools with virtual metrology (HT, HCY, FTC), pp. 1446–1447.
CASECASE-2015-ZhuQZ #clustering #modelling #multi #petri net #scheduling
Petri net modeling and one-wafer scheduling of single-arm tree-like multi-cluster tools (QZ, YQ, MZ), pp. 292–297.
DACDAC-2015-WangR #design
Design tools for oscillator-based computing systems (TW, JR), p. 6.
DATEDATE-2015-SaifhashemiHBB #equivalence #logic #using
Logical equivalence checking of asynchronous circuits using commercial tools (AS, HHH, PB, PAB), pp. 1563–1566.
CAVCAV-2015-DemyanovaPVZ #benchmark #empirical #metric #verification
Empirical Software Metrics for Benchmarking of Verification Tools (YD, TP, HV, FZ), pp. 561–579.
ICSTICST-2015-CseppentoM #symbolic computation
Evaluating Symbolic Execution-Based Test Tools (LC, ZM), pp. 1–10.
ICTSSICTSS-2015-CheMNZ #monitoring #testing
Guiding Testers' Hands in Monitoring Tools: Application of Testing Approaches on SIP (XC, SM, HNN, FZ), pp. 105–123.
TAPTAP-2015-MoreiraHDMNM #case study #code generation #testing #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 #towards
Towards a Reference Architecture to Provision Tools as a Service for Global Software Development (MAC, MAB), pp. 167–170.
DocEngDocEng-2014-SchmitzP #big data
Humanist-centric tools for big data: berkeley prosopography services (PS, LP), pp. 179–188.
DocEngDocEng-2014-SchmitzPD #automation #collaboration #metadata
DH-CASE II: collaborative annotations in shared environments: metadata, tools and techniques in the digital humanities (PS, LP, QD), pp. 211–212.
PODSPODS-2014-Haas #challenge #ecosystem #roadmap
Model-data Ecosystems: challenges, tools, and trends (PJH), pp. 76–87.
SIGMODSIGMOD-2014-ParameswaranTGW #named
DataSift: a crowd-powered search toolkit (AGP, MHT, HGM, JW), pp. 885–888.
VLDBVLDB-2014-ShiZLCLW #named #optimisation #pipes and filters
MRTuner: A Toolkit to Enable Holistic Optimization for MapReduce Jobs (JS, JZ, JL, ZC, SL, CW), pp. 1319–1330.
ITiCSEITiCSE-2014-GibsonM #collaboration #using
A small scale project to investigate the current and potential use of collaborative tools at sheffield hallam university (TMG, CM), p. 342.
SANERCSMR-WCRE-2014-KlammerP #legacy #towards
Towards tool support for analyzing legacy systems in technical domains (CK, JP), pp. 371–374.
SANERCSMR-WCRE-2014-PerscheidH #debugging #fault #navigation #testing
Follow the path: Debugging tools for test-driven fault navigation (MP, RH), pp. 446–449.
SANERCSMR-WCRE-2014-RooverS #development #library #metaprogramming #using
Building development tools interactively using the EKEKO meta-programming library (CDR, RS), pp. 429–433.
ICSMEICSME-2014-HallKWM #automation #source code
Establishing the Source Code Disruption Caused by Automated Remodularisation Tools (MH, MAK, NW, PM), pp. 466–470.
ICSMEICSME-2014-SvajlenkoR #clone detection #detection
Evaluating Modern Clone Detection Tools (JS, CKR), pp. 321–330.
ICSMEICSME-2014-ZhangHD #automation #parallel #scalability #simulation #validation
Tools for Enabling Automatic Validation of Large-Scale Parallel Application Simulations (DZ, GH, DD), pp. 601–604.
SCAMSCAM-2014-TengeriBHG #analysis #repository #test coverage #testing
Toolset and Program Repository for Code Coverage-Based Test Suite Analysis and Manipulation (DT, ÁB, DH, TG), pp. 47–52.
LATALATA-2014-DubourgJ #algebra
Algebraic Tools for the Overlapping Tile Product (ED, DJ), pp. 335–346.
FMFM-2014-ArmstrongGS #algebra #concurrent #verification
Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools (AA, VBFG, GS), pp. 78–93.
SEFMSEFM-2014-ArmstrongGS #higher-order #lightweight #verification
Lightweight Program Construction and Verification Tools in Isabelle/HOL (AA, VBFG, GS), pp. 5–19.
SEFMSEFM-2014-KoreckoSDS #development #education #formal method
A Toolset for Support of Teaching Formal Software Development (SK, JS, ZD, BS), pp. 278–283.
SEFMSEFM-2014-Leroy #code generation #proving #verification
Formal Proofs of Code Generation and Verification Tools (XL), pp. 1–4.
SEFMSEFM-2014-SznukS #education #hoare #logic
Tool Support for Teaching Hoare Logic (TS, AS), pp. 332–346.
CoGCIG-2014-ScalesT #api
SpelunkBots API - An AI toolset for Spelunky (DS, TT), pp. 1–8.
FDGFDG-2014-GrowGGMW #analysis #architecture #authoring #requirements
A methodology for requirements analysis of AI architecture authoring tools (AG, SEG, PG, MM, NWF).
FDGFDG-2014-MottRMTL #game studies #named #open source #user interface
FLARE: An open source toolkit for creating expressive user interfaces for serious games (BWM, JPR, WM, RGT, JCL).
FDGFDG-2014-StraatV #evaluation
Evaluating the evaluation tools (BS, HV).
GT-VMTGT-VMT-2014-LeblebiciASHRG #comparison #graph grammar #incremental
A Comparison of Incremental Triple Graph Grammar Tools (EL, AA, AS, SH, JR, JG).
CHICHI-2014-AtachiantsGJD #design #parallel #performance
Design considerations for parallel performance tools (RA, DG, KJ, GD), pp. 2501–2510.
CHICHI-2014-BardzellBT #quote #self
“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
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
TouchTools: leveraging familiarity and skill with physical tools to augment touch interaction (CH, RX, JS, SEH), pp. 2913–2916.
CHICHI-2014-LafreniereGMF #video
Investigating the feasibility of extracting tool demonstrations from in-situ video content (BL, TG, JM, GWF), pp. 4007–4016.
CHICHI-2014-VigoJS #authoring #design #ontology
Design insights for the next wave ontology authoring tools (MV, CJ, RS), pp. 1555–1558.
CSCWCSCW-2014-KangKK #analysis #collaboration #information management
Teammate inaccuracy blindness: when information sharing tools hinder collaborative analysis (RK, AK, SBK), pp. 797–806.
CSCWCSCW-2014-LingelR #quote
“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
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 #why
Social influences on secure development tool adoption: why security tools spread (SX, JW, ERMH), pp. 1095–1106.
HCIDUXU-DP-2014-MukherjeeWHCR #design
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-George-PalilonisB #multi #student #tablet
SMART Note: Student-Centered Multimedia Active Reading Tools for Tablet Textbooks (JGP, DB), pp. 217–229.
HCIDUXU-TMT-2014-MichailidouSKL #design #experience #user interface
A User Experience Design Toolkit (IM, CvS, SK, UL), pp. 163–172.
HCIDUXU-TMT-2014-OrehovackiG #assessment
Subjective and Objective Assessment of Mashup Tools (TO, TG), pp. 340–351.
HCIHCI-AS-2014-WenDHDB #capacity #navigation
Fighting Technology Dumb Down: Our Cognitive Capacity for Effortful AR Navigation Tools (JW, AD, WSH, AD, MB), pp. 525–536.
HCIHCI-TMT-2014-BorumBF #case study
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-Merlin #implementation #interactive #paradigm
IntNovate a Toolkit to Ease the Implementation of Every Interaction Paradigm on Every Device (BM), pp. 331–339.
HCIHIMI-DE-2014-BoscarioliVTR #clustering #human-computer
Analyzing HCI Issues in Data Clustering Tools (CB, JV, MFT, VHR), pp. 22–33.
HCIHIMI-DE-2014-TeixeiraSFSS #prototype #requirements #using
Requirements Engineering Using Mockups and Prototyping Tools: Developing a Healthcare Web-Application (LT, VS, CF, JS, BSS), pp. 652–663.
HCILCT-NLE-2014-MorGHH #assessment #design #learning
Designing Learning Tools: The Case of a Competence Assessment Tool (EM, AEGR, EH, MAH), pp. 83–94.
HCILCT-NLE-2014-YusoffS #concept #framework #overview
A Review of Storyboard Tools, Concepts and Frameworks (NMY, SSS), pp. 73–82.
HCILCT-TRE-2014-AgesilaouVIZ #collaboration #education #wiki
Collaborative Tools in the Primary Classroom: Teachers’ Thoughts on Wikis (AA, CV, SI, MZ), pp. 239–247.
HCISCSM-2014-PapachristosKKIFA #case study #deployment #enterprise #social #social media
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-SeriaiBCS #validation #visualisation
Validation of Software Visualization Tools: A Systematic Mapping Study (AS, OB, BC, HAS), pp. 60–69.
CAiSECAiSE-2014-OhlssonHJCR #process
Prioritizing Business Processes Improvement Initiatives: The Seco Tools Case (JO, SH, PJ, FC, LR), pp. 256–270.
ICPRICPR-2014-MontealegreH #interactive #named #visual notation
GIST: Graphical Interactive Display Tools Defining a Model for Interactive Search (IM, RMH), pp. 2984–2989.
KMISKMIS-2014-BorchardtRL
Determining and Evaluating the Benefits of KM Tool Support for SME (UB, JR, BL), pp. 203–211.
RecSysRecSys-2014-SaidB14a #evaluation #named #recommendation
Rival: a toolkit to foster reproducibility in recommender system evaluation (AS, AB), pp. 371–372.
SEKESEKE-2014-ShankarN #automation #metric
Automated Metrics Collection for IEC61131-3 Languages from Engineering Tools (MS, AN), pp. 7–12.
SIGIRSIGIR-2014-Jones #retrieval #speech
Speech search: techniques and tools for spoken content retrieval (GJFJ), p. 1287.
MODELSMoDELS-2014-GomesBA #classification #model transformation #pattern matching
Classification of Model Transformation Tools: Pattern Matching Techniques (CG, BB, VA), pp. 619–635.
PLATEAUPLATEAU-2014-SadowskiY #concurrent #detection #developer #how
How Developers Use Data Race Detection Tools (CS, JY), pp. 43–51.
ASEASE-2014-LinYSM #agile #project management
Studying task allocation decisions of novice agile teams with data from agile project management tools (JL, HY, ZS, CM), pp. 689–694.
ASEASE-2014-ThungKL #debugging #detection #named
DupFinder: integrated tool support for duplicate bug report detection (FT, PSK, DL), pp. 871–874.
FSEFSE-2014-Gui00ND #agile #analysis #named #nondeterminism #reliability
RaPiD: a toolkit for reliability analysis of non-deterministic systems (LG, JS, YL, TKN, JSD), pp. 727–730.
FSEFSE-2014-JiangZZZLSSGS #embedded #modelling #multi #named #synthesis #validation
Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems (YJ, HZ, HZ, XZ, HL, CS, XS, MG, JGS), pp. 711–714.
FSEFSE-2014-Penix #case study #developer #experience
Experiences developing tools for developers (JP), p. 4.
FSEFSE-2014-ThungLKL #debugging #locality #named
BugLocalizer: integrated tool support for bug localization (FT, TDBL, PSK, DL), pp. 767–770.
FSEFSE-2014-XiaoCK #analysis #architecture #named #quality
Titan: a toolset that connects software architecture with quality analysis (LX, YC, RK), pp. 763–766.
ICSEICSE-2014-OkurHDD #c# #case study #programming
A study and toolkit for asynchronous programming in c# (SO, DLH, DD, AvD), pp. 1117–1127.
ICSEICSE-2014-SchillerDCE #case study #contract #specification
Case studies and tools for contract specifications (TWS, KD, FC, MDE), pp. 596–607.
CASECASE-2014-YangWQZ #clustering #multi #scheduling
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
Modeling and schedulability analysis of single-arm multi-cluster tools with residency time constraints via Petri nets (QZ, NW, YQ, MZ), pp. 81–86.
CGOCGO-2014-ChabbiLM
Call Paths for Pin Tools (MC, XL, JMMC), p. 76.
DATEDATE-2014-Jin #evaluation #proving #security #trust
EDA tools trust evaluation through security property proofs (YJ), pp. 1–4.
PDPPDP-2014-BrownJHSIG #parallel #performance #refactoring #using
Agricultural Reform: More Efficient Farming Using Advanced Parallel Refactoring Tools (CB, VJ, KH, HS, KI, CWG), pp. 36–43.
TACASTACAS-2014-HartmannsH #ide #modelling #verification
The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification (AH, HH), pp. 593–598.
ISSTAISSTA-2014-KingNSCM #agile #domain-specific language #named #testing #web
Legend: an agile DSL toolset for web acceptance testing (TMK, GN, DS, AC, CM), pp. 409–412.
TAPTAP-2014-BardinCDK #automation #testing
An All-in-One Toolkit for Automated White-Box Testing (SB, OC, MD, NK), pp. 53–60.
CBSECBSE-2013-Danielson #empirical
Ethics outside the box: empirical tools for an ethics of artificial agents (PD), pp. 1–2.
TPDLTPDL-2013-BoelhouwerDK #state of the art
State-of-the-Art Tools for Text Digitisation (BB, AD, SK), pp. 486–487.
ICPCICPC-2013-GuptaMPV #identifier #re-engineering
Part-of-speech tagging of program identifiers for improved text-based software engineering tools (SG, SM, LLP, KVS), pp. 3–12.
ICSMEICSM-2013-CollardDM #analysis #framework #named #semiparsing #source code
srcML: An Infrastructure for the Exploration, Analysis, and Manipulation of Source Code: A Tool Demonstration (MLC, MJD, JIM), pp. 516–519.
ICSMEICSM-2013-LeL #approach #automation #effectiveness #fault #locality #predict
Will Fault Localization Work for These Failures? An Automated Approach to Predict Effectiveness of Fault Localization Tools (TDBL, DL), pp. 310–319.
ICSMEICSM-2013-PruijtKB #architecture #case study #comparative #composition #semantics
Architecture Compliance Checking of Semantically Rich Modular Architectures: A Comparative Study of Tool Support (LP, CK, SB), pp. 220–229.
SCAMSCAM-2013-SvajlenkoRD #analysis #generative #named #similarity
ForkSim: Generating software forks for evaluating cross-project similarity analysis tools (JS, CKR, SD), pp. 37–42.
WCREWCRE-2013-SaeidiHKJ #analysis #legacy #modelling #named
Gelato: GEneric language tools for model-driven analysis of legacy software systems (AS, JH, RK, SJ), pp. 481–482.
CoGVS-Games-2013-HerpersSVSFHSH #automation #evaluation #safety
Vr-Based Safety Evaluation of Automatically Controlled Machine Tools (RH, DS, MV, TS, SF, TH, MS, MH), pp. 1–4.
CHICHI-2013-GrossPBB
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
How tools in IDEs shape developers’ navigation behavior (JPK, TK, JK, MW, JOB), pp. 3073–3082.
CHICHI-2013-UzorB #design
Exploring & designing tools to enhance falls rehabilitation in the home (SU, LB), pp. 1233–1242.
CHICHI-2013-YangPCLNC #design #developer #development #exclamation
I can do text analytics!: designing development tools for novice developers (HY, DPW, LC, YL, BN, ACF), pp. 1599–1608.
CHICHI-2013-ZhuZ #agile #automation #low cost #named #prototype
AutoGami: a low-cost rapid prototyping toolkit for automated movable paper craft (KZ, SZ), pp. 661–670.
CSCWCSCW-2013-GenestGTKI #distributed #game studies #named
KinectArms: a toolkit for capturing and displaying arm embodiments in distributed tabletop groupware (AG, CG, AT, MK, ZI), pp. 157–166.
CSCWCSCW-2013-KimMP #authoring #flexibility #framework #mobile #named
Sensr: evaluating a flexible framework for authoring mobile data-collection tools for citizen science (SK, JM, EP), pp. 1453–1462.
HCIDUXU-NTE-2013-JaimesMR #trust
Increasing Trust in Personal Informatics Tools (LGJ, TM, AR), pp. 520–529.
HCIDUXU-WM-2013-Zahabi #interface #online #research #student
Exploring Information-Triage: Speculative Interface Tools to Help College Students Conduct Online Research (LZ), pp. 611–620.
HCIHCI-IMT-2013-CamaraBMRB #3d #navigation
Evaluating Devices and Navigation Tools in 3D Environments (MC, PFdAB, ITM, AR, SDJB), pp. 439–448.
HCIHIMI-D-2013-HiranoNN #development #evaluation
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
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-LCCB-2013-BoltonS #collaboration #design #education #network #social
Social Networking and Culturally Situated Design Teaching Tools: Providing a Collaborative Environment for K-12 (ATB, CDS), pp. 3–8.
HCIHIMI-LCCB-2013-HallLS #assessment #evaluation #learning
Psychophysiological Assessment Tools for Evaluation of Learning Technologies (RHH, NSL, HS), pp. 33–42.
HCIHIMI-LCCB-2013-VartiainenJ #case study #collaboration
Pros and Cons of Various ICT Tools in Global Collaboration — A Cross-Case Study (MV, OJ), pp. 391–400.
HCIOCSC-2013-MurraySWWXS #online #social
Supporting Social Deliberative Skills Online: The Effects of Reflective Scaffolding Tools (TM, LS, BPW, LW, XX, NS), pp. 313–322.
VISSOFTVISSOFT-2013-ReissT13a #visualisation
Tool demonstration: The visualizations of code bubbles (SPR, AT), pp. 1–4.
ICEISICEIS-J-2013-AlvesSCCCWGBGC13a #named #semantics #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-v2-2013-Monte-AltoTH #legacy #overview
A Survey of Tools for Mapping and Synchronization of Knowledge from Legacy Systems (HHLCMA, LOT, EHMH), pp. 157–164.
KDIRKDIR-KMIS-2013-BaliBBG #information management #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-SousaM #using #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
How do You Execute Reuse Tasks Among Tools? (FPB, CMLW, RMP, TCO), pp. 721–726.
BXBX-2013-HildebrandtLGRGSLAS #graph grammar #overview
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
Integrating Modeling Tools in the Development Lifecycle with OSLC: A Case Study (ME, AN), pp. 154–169.
MODELSMoDELS-2013-FrancisKMP #spreadsheet
Adding Spreadsheets to the MDE Toolkit (MF, DSK, NDM, RFP), pp. 35–51.
MODELSMoDELS-2013-WhittleHRBH #industrial #modelling #problem #question
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 #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.
HILTHILT-2013-DoranA #development #embedded #modelling #named
Reddo: a model driven engineering toolset for embedded software development (SD, SEA), pp. 47–48.
REER-BR-2013-FilhoLRS #named #traceability
RETRATOS: Requirement Traceability Tool Support (GACF, ML, AR, CS).
ASEASE-2013-0002IP #c #concurrent #named #preprocessor #verification
CSeq: A concurrency pre-processor for sequential C verification tools (BF, OI, GP), pp. 710–713.
ASEASE-2013-AvazpourGG #automation #model transformation #specification #using #visualisation
Tool support for automatic model transformation specification using concrete visualisations (IA, JG, LG), pp. 718–721.
ESEC-FSEESEC-FSE-2013-KumarN #static analysis
The economics of static analysis tools (RK, AVN), pp. 707–710.
ICSEICSE-2013-Carvalho #comprehension #concept #ontology #problem
An ontology toolkit for problem domain concept location in program comprehension (NRC), pp. 1415–1418.
ICSEICSE-2013-JohnsonSMB #debugging #developer #question #static analysis #why
Why don’t software developers use static analysis tools to find bugs? (BJ, YS, ERMH, RWB), pp. 672–681.
ICSEICSE-2013-MemonC #automation #modelling #testing #user interface
Automated testing of GUI applications: models, tools, and controlling flakiness (AMM, MBC), pp. 1479–1480.
SLESLE-2013-LammelMV #wiki
Method and Tool Support for Classifying Software Languages with Wikipedia (RL, DM, AV), pp. 249–259.
CASECASE-2013-FerreiraL #generative #multi #using
A method for generating tool paths for milling pockets in prismatic parts using multiple tools (JCEF, RAL), pp. 528–533.
CASECASE-2013-JinM #algorithm #clustering #constraints #scheduling
Transient scheduling of single armed cluster tools: Algorithms for wafer residency constraints (HYJ, JRM), pp. 856–861.
CASECASE-2013-KimLK #clustering #scheduling
Optimal scheduling of transient cycles for single-armed cluster tools (DKK, TEL, HJK), pp. 874–879.
CASECASE-2013-KumarNSCK #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
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
Petri net modeling and one-wafer scheduling of single-arm multi-cluster tools (QZ, NW, YQ, MZ), pp. 862–867.
DACDAC-2013-DallyMK #design
21st century digital design tools (WJD, CM, SWK), p. 6.
DATEDATE-2013-YakovlevVR #industrial #logic #roadmap
Advances in asynchronous logic: from principles to GALS & NoC, recent industry applications, and commercial CAD tools (AY, PV, MR), pp. 1715–1724.
PLOSPLOS-2013-SunFBG #agile #automation #file system #generative
Annotation for automation: rapid generation of file system tools (KJS, DF, ADB, AG), p. 6.
TACASTACAS-2013-CranenGKSVWW #overview
An Overview of the mCRL2 Toolset and Its Recent Advances (SC, JFG, JJAK, FPMS, EPdV, WW, TACW), pp. 199–213.
ICSTICST-2013-SakamotoSTWF #framework #metric #multi #named #programming language #test coverage
OCCF: A Framework for Developing Test Coverage Measurement Tools Supporting Multiple Programming Languages (KS, KS, RT, HW, YF), pp. 422–430.
ICTSSICTSS-2013-FariaPC #consistency #diagrams #sequence chart #testing #uml
Techniques and Toolset for Conformance Testing against UML Sequence Diagrams (JPF, ACRP, MVdC), pp. 180–195.
TAPTAP-2013-GogollaBC #analysis #benchmark #metric #ocl #uml
Initiating a Benchmark for UML and OCL Analysis Tools (MG, FB, JC), pp. 115–132.
VMCAIVMCAI-2013-CruanesHOS #integration
Tool Integration with the Evidential Tool Bus (SC, GH, SO, NS), pp. 275–294.
VMCAIVMCAI-2013-SeladjiB #abstract domain #analysis #fixpoint #using
Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools (YS, OB), pp. 149–168.
DocEngDocEng-2012-KimBTFD #comparison #evaluation #parsing
Evaluation of BILBO reference parsing in digital humanities via a comparison of different tools (YMK, PB, JT, EF, MD), pp. 209–212.
DRRDRR-2012-DasSS #automation #documentation #workflow
Questioned document workflow for handwriting with automated tools (KD, SNS, HS).
TPDLTPDL-2012-LlewellynGOH #analysis #using
Enhancing the Curation of Botanical Data Using Text Analysis Tools (CL, CG, JO, EH), pp. 480–485.
TPDLTPDL-2012-WalkowskaW #automation #metadata #ontology #requirements #semantics #web
Advanced Automatic Mapping from Flat or Hierarchical Metadata Schemas to a Semantic Web Ontology — Requirements, Languages, Tools (JW, MW), pp. 260–272.
TPDLTPDL-2012-ZhangKB #metadata #using
The CMDI MI Search Engine: Access to Language Resources and Tools Using Heterogeneous Metadata Schemas (JZ, MKS, HB), pp. 492–495.
ITiCSEITiCSE-2012-BaghdadiAR #case study #distance #learning #safety
Applying advanced technology tools in distance learning: case study: traffic data and road safety (MB, KA, JR), p. 389.
ITiCSEITiCSE-2012-HershkovichH #education #how
How innovative technology tools can be used to create new methodology for teaching knowledge (EH, BH), p. 387.
CSMRCSMR-2012-FontanaCZ #benchmark #design pattern #detection #metric #named
DPB: A Benchmark for Design Pattern Detection Tools (FAF, AC, MZ), pp. 235–244.
ICSMEICSM-2012-AmalfitanoFTCI #android #testing #user interface
A toolset for GUI testing of Android applications (DA, ARF, PT, SDC, GI), pp. 650–653.
SCAMSCAM-2012-AftandilianSPK #compilation #java #program analysis #using
Building Useful Program Analysis Tools Using an Extensible Java Compiler (EA, RS, SP, SK), pp. 14–23.
WCREWCRE-2012-GarzonL #automation #how
Exploring How to Develop Transformations and Tools for Automated Umplification (MG, TCL), pp. 491–494.
FMFM-2012-HojjatKGIKR #verification
A Verification Toolkit for Numerical Transition Systems — Tool Paper (HH, FK, FG, RI, VK, PR), pp. 247–251.
FDGFDG-2012-HarteliusFB #game studies
Tisch digital tools supporting board games (UH, JF, SB), pp. 196–203.
FDGFDG-2012-SmithAMP #automation #case study #design #game studies
A case study of expressively constrainable level design automation tools for a puzzle game (AMS, EA, MM, ZP), pp. 156–163.
FDGFDG-2012-WetzelBO #authoring #game studies
Tidy city: a location-based game supported by in-situ and web-based authoring tools to enable user-created content (RW, LB, LO), pp. 238–241.
CoGVS-Games-2012-CarrozzinoEBLB #education #game studies #network #novel #social
Social Networks and Web-based Serious Games as Novel Educational Tools (MC, CE, RB, CL, MB), pp. 303–306.
CoGVS-Games-2012-CuratelliM #design #education #learning
Design Criteria for Educational Tools to Overcome Mathematics Learning Difficulties (FC, CM), pp. 92–102.
CHICHI-2012-DraxlerSSBR #social #synthesis
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-FlatlaG #difference #modelling #named
SSMRecolor: improving recoloring tools with situation-specific models of color differentiation (DRF, CG), pp. 2297–2306.
CHICHI-2012-FollmerI #named
KidCAD: digitally remixing toys through tangible tools (SF, HI), pp. 2401–2410.
CHICHI-2012-FriedmanH
The envisioning cards: a toolkit for catalyzing humanistic and technical imaginations (BF, DGH), pp. 1145–1148.
CHICHI-2012-LeonUSWBC #behaviour #evaluation #online #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-PiperWH #authoring #game studies #interactive #process
TAP & PLAY: an end-user toolkit for authoring interactive pen and paper language activities (AMP, NW, JDH), pp. 149–158.
CHICHI-2012-UzorBS #design
Senior designers: empowering seniors to design enjoyable falls rehabilitation tools (SU, LB, DS), pp. 1179–1188.
CHICHI-2012-WooL #named #smarttech
Clipoid: an augmentable short-distance wireless toolkit for “accidentally smart home” environments (JbW, YKL), pp. 1751–1754.
CSCWCSCW-2012-RoyGG #named #plugin #realtime
DiscoTech: a plug-in toolkit to improve handling of disconnection and reconnection in real-time groupware (BR, TCNG, CG), pp. 1287–1296.
CIKMCIKM-2012-BaoKLRY #programmable #quality
Gumshoe quality toolkit: administering programmable search (ZB, BK, YL, SR, HY), pp. 2716–2718.
ICPRICPR-2012-BicegoL #2d #biology #recognition #sequence #using
2D shape recognition using biological sequence alignment tools (MB, PL), pp. 1359–1362.
ICPRICPR-2012-PazzagliaC #approach #recognition #visual notation
Visual description and recognition of mechanical tools with a silhouette-based approach (FP, CC), pp. 2549–2552.
KMISKMIS-2012-MarsanCE #analysis #behaviour #enterprise #framework #information management #platform #scalability #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.
SEKESEKE-2012-GallegosG #detection
Tool Support for Anomaly Detection in Scientific Sensor Data (IG, AQG), pp. 678–683.
SEKESEKE-2012-GokhaleSM #education #open source #re-engineering #reverse engineering
Evaluating Open Source Reverse Engineering Tools for Teaching Software Engineering (SSG, TS, RM), pp. 162–167.
SEKESEKE-2012-NetoNAM #product line #testing
A Mapping Study on Software Product Lines Testing Tools (CRLN, PAdMSN, ESdA, SRdLM), pp. 628–634.
PLEASEPLEASE-2012-AcherMHCL #feature model #modelling
Languages and tools for managing feature models (MA, RM, PH, PC, PL), pp. 25–28.
SPLCSPLC-2012-Elsner #staged
Light-weight tool support for staged product derivation (CE), pp. 146–155.
TOOLSTOOLS-EUROPE-2012-BergmannHHRUV #emf #performance #query #state of the art
Integrating Efficient Model Queries in State-of-the-Art EMF Tools (GB, ÁH, ÁH, IR, ZU, DV), pp. 1–8.
PADLPADL-2012-BalducciniL #aspect-oriented #using
Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools (MB, YL), pp. 78–92.
RERE-2012-AmellerCF #architecture #named
ArchiTech: Tool support for NFR-guided architectural decision-making (DA, OC, XF), pp. 315–316.
RERE-2012-SupakkulC #modelling #multi #requirements
The RE-Tools: A multi-notational requirements modeling toolkit (SS, LC), pp. 333–334.
RERE-2012-VrbaskiPA #reasoning #rule-based
Tool support for combined rule-based and goal-based reasoning in Context-Aware systems (MV, DCP, DA), pp. 335–336.
REFSQREFSQ-2012-BerryGST #requirements
The Case for Dumb Requirements Engineering Tools (DMB, RG, PS, SFT), pp. 211–217.
ASEASE-2012-KamalrudinGH #consistency #multi #named #requirements
MaramaAI: tool support for capturing and managing consistency of multi-lingual requirements (MK, JG, JGH), pp. 326–329.
ASEASE-2012-KehrerKPS #adaptation #comparison #difference
Adaptability of model comparison tools (TK, UK, PP, MS), pp. 306–309.
ASEASE-2012-RabiserGL
A qualitative study on user guidance capabilities in product configuration tools (RR, PG, ML), pp. 110–119.
ASEASE-2012-ThungLLJRD #debugging #detection #empirical #fault #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.
ICSEICSE-2012-Chowdhury #development
Assisting end-user development in browser-based mashup tools (SRC), pp. 1625–1627.
ICSEICSE-2012-FuhrmanCA #education #framework #re-engineering
Integrating tools and frameworks in undergraduate software engineering curriculum (CF, RC, AA), pp. 1195–1204.
ICSEICSE-2012-Johnson #case study #question #static analysis #using #why
A study on improving static analysis tools: Why are we not using them? (BJ), pp. 1607–1609.
SLESLE-2012-BettiniSVC #implementation #type system #xtext
Approaches and Tools for Implementing Type Systems in Xtext (LB, DS, MV, SC), pp. 392–412.
CASECASE-2012-CabasinoGMS #comparison
A comparison among tools for the diagnosability of discrete event systems (MPC, AG, LM, CS), pp. 218–223.
CASECASE-2012-HoerningSWS #analysis #robust #simulation
Improving discrete event simulation in the emergency department with innovative and robust input analysis tools (SH, JS, TW, LS), pp. 131–136.
CASECASE-2012-MatsumotoN #approach #clustering #composition #concurrent #petri net #scheduling
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
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
Petri net-based scheduling analysis of dual-arm cluster tools with wafer revisiting (YQ, NW, MZ), pp. 206–211.
DACDAC-2012-Scheffer #design
Design tools for artificial nervous systems (LS), pp. 717–722.
DATEDATE-2012-BozgaDHHLLT #analysis #embedded #modelling #state of the art
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.
TACASTACAS-2012-VeanesB #automaton
Symbolic Automata: The Toolkit (MV, NB), pp. 472–477.
ICSTICST-2012-BorjessonF #automation #case study #comparative #industrial #testing #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
SMT-C: A Semantic Mutation Testing Tools for C (HD, RMH), pp. 654–663.
ICTSSICTSS-2012-BrauerPS #modelling #performance #testing
Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools (JB, JP, US), pp. 8–23.
ECSAECSA-2011-OliveiraN #architecture #testing
A Service-Oriented Reference Architecture for Software Testing Tools (LBRdO, EYN), pp. 405–421.
DocEngDocEng-2011-BilaucaH #pretty-printing
Building table formatting tools (MB, PH), pp. 13–22.
DocEngDocEng-2011-LuongLN #design #framework
A framework with tools for designing web-based geographic applications (TNL, SL, TN), pp. 33–42.
DRRDRR-2011-BallS #automation #statistics #using
Statistical characterization of handwriting characteristics using automated tools (GRB, SNS), pp. 1–10.
HTHT-2011-JonesA
Many views, many modes, many tools & one structure (WJ, KMA), pp. 113–122.
SIGMODSIGMOD-2011-PandisTBKPJA #execution #transaction
A data-oriented transaction execution engine and supporting tools (IP, PT, MB, DK, DP, RJ, AA), pp. 1237–1240.
ITiCSEITiCSE-2011-Cardell-OliverW #java #metric
UWA Java tools: harnessing software metrics to support novice programmers (RCO, PDW), p. 341.
ITiCSEITiCSE-2011-MeyerHST #collaboration #modelling #named
CoMoTo: the collaboration modeling toolkit (CM, CH, ES, JT), pp. 143–147.
ITiCSEITiCSE-2011-Moy #education #performance #student
Efficient and playful tools to teach Unix to new students (MM), pp. 93–97.
ITiCSEITiCSE-2011-SchweitzerBS #interactive
Interactive tools in the graphics classroom (DS, JB, LS), pp. 113–117.
SIGITESIGITE-2011-KurhilaV #programming #scalability
Management, structures and tools to scale up personal advising in large programming courses (JK, AV), pp. 3–8.
SCAMSCAM-J-2009-HollandD11 #classification #information management #quality
Classification and selection of tools for quality knowledge management (SH, RD), pp. 393–409.
SCAMSCAM-J-2009-TiarksKF11 #assessment #detection #state of the art
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 #uml
A UML Profile and Tool Support for Evolutionary Requirements Engineering (IC, MH), pp. 161–170.
CSMRCSMR-2011-GieseckeFF #architecture #multi
Long-Term Software Architecture Management with Multi-technology Tool Support (SG, JF, MF), pp. 321–324.
ICPCICPC-2011-Burnett #programming #question
Males and Females Developing Software: Are Programming Tools Getting in the Way? (MB), p. xvii.
SCAMSCAM-2011-CollardDM #fact extraction #lightweight #semiparsing
Lightweight Transformation and Fact Extraction with the srcML Toolkit (MLC, MJD, JIM), pp. 173–184.
ICFPICFP-2011-FisherFWZ #named #programming
Forest: a language and toolkit for programming with filestores (KF, NF, DW, KQZ), pp. 292–306.
CoGCIG-2011-LankveldSHA #game studies #profiling
Games as personality profiling tools (GvL, PS, HJvdH, AA), pp. 197–202.
DiGRADiGRA-2011-Suominen #game studies
Game reviews as tools in the construction of game historical awareness in Finland, 1984-2010: Case MikroBitti Magazine (JS).
AGTIVEAGTIVE-2011-MazanekRM
Tool Demonstration of the Transformation Judge (SM, CR, MM), pp. 97–104.
CHICHI-2011-CostaCS #collaboration #coordination #distributed #evolution #generative #scalability
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
Grids & guides: multi-touch layout and alignment tools (MF, SK, RL, RD), pp. 1615–1618.
CHICHI-2011-LeshedS #case study #experience #quote
“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-MatthewsWMY #approach #collaboration #design
Collaboration personas: a new approach to designing workplace collaboration tools (TM, SW, TPM, SY), pp. 2247–2256.
CHICHI-2011-SchwandaIRC #persuasion
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
Look ma, no email!: blogs and IRC as primary and preferred communication tools in a distributed firm (AJ), pp. 305–308.
CSCWCSCW-2011-Murphy-HillM #effectiveness #interactive
Peer interaction effectively, yet infrequently, enables programmers to discover new tools (ERMH, GCM), pp. 405–414.
HCIDUXU-v2-2011-KeatingGKPV #artificial reality #design #experience #mobile #user interface
Designing the AR Experience: Tools and Tips for Mobile Augmented Reality UX Design (GK, DG, AK, NP, AV), pp. 135–141.
HCIHCD-2011-BoltonS #design
Culturally Situated Design Tools: Animated Support Tools for Mathematics (ATB, CDS), pp. 351–359.
HCIHCD-2011-KandaK #communication #people
Holistic Prosthetic Approaches to the Hearing Handicapped People: Communication Tools in Various Situations (KK, TK), pp. 313–320.
HCIHCI-MIIE-2011-MorFDF #experience #social #user interface
User Experience of Social Bookmarking Tools (EM, NF, MGD, JAMF), pp. 510–516.
HCIHCI-UA-2011-Wang11a #interactive #learning #network #student #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-ZhouDHY #industrial #interface
A Human Interface Toolkit for Developing Operation Support System of Complex Industrial Systems with IVI-COM Technology (YZ, YD, XH, HY), pp. 82–89.
HCIHIMI-v2-2011-GonzalezGGS #hybrid #towards
Towards Argument Representational Tools for Hybrid Argumentation Systems (MPG, SG, AJG, GRS), pp. 236–245.
HCIHIMI-v2-2011-KikenRBBKSVB #online #performance
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
A Preliminary Investigation of Training Order for Introducing NextGen Tools (RCR, AK, CAM, SB, GM, KM, KPLV, TZS, VB), pp. 526–533.
VISSOFTVISSOFT-2011-MaleticMNCSR #named #scalability #visualisation
MosaiCode: Visualizing large scale software: A tool demonstration (JIM, DJM, CDN, MLC, AS, BPR), pp. 1–4.
ICEISICEIS-v1-2011-MeisenMSJ #integration #simulation
Application Integration of Simulation Tools Considering Domain Specific Knowledge (TM, PM, DS, SJ), pp. 42–53.
ICEISICEIS-v2-2011-KisilevichKBTR #open source #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.
KDDKDD-2011-GhotingKPK #algorithm #data mining #implementation #machine learning #mining #named #parallel #pipes and filters
NIMBLE: a toolkit for the implementation of parallel data mining and machine learning algorithms on mapreduce (AG, PK, EPDP, RK), pp. 334–342.
KEODKEOD-2011-KarousosPXKT #development #learning
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
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 #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
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
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 #using
Fraud Detection in Selection Exams Using Knowledge Engineering Tools (MdMB, MARD), pp. 163–168.
SEKESEKE-2011-GuoC #analysis #comparison #ontology #visualisation
A Comparison and Analysis of Some Ontology Visualization Tools (SSG, CWC), pp. 357–362.
SIGIRSIGIR-2011-ChenTLJ #knowledge base
A toolkit for knowledge base population (ZC, ST, AL, HJ), pp. 1267–1268.
SPLCSPLC-2011-AbbasiHH11a #workflow
A Toolset for Feature-Based Configuration Workflows (EKA, AH, PH), pp. 65–69.
SPLCSPLC-2011-VierhauserHRGLS #deployment #framework #modelling #product line
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
DSLs for Product Lines: Approaches, Tools, Experiences (MV), p. 353.
OnwardOnward-2011-AlabiG
The accessibility toolkit (HIA, BG), pp. 145–148.
OnwardOnward-2011-AnslowMM #evaluation #programming language #usability
Evaluation and usability of programming languages and tools: (PLATEAU) (CA, SM, ERMH), pp. 119–120.
PLATEAUPLATEAU-2011-LaTozaM #design #developer
Designing useful tools for developers (TDL, BAM), pp. 45–50.
POPLPOPL-2011-Leroy #question
Verified squared: does critical software deserve verified tools? (XL), pp. 1–2.
PPDPPPDP-2011-Rybalchenko #automation #synthesis #towards #verification
Towards automatic synthesis of software verification tools (AR), pp. 3–4.
ASEASE-2011-BergmannHHRUV #emf #implementation #performance #validation
Implementing efficient model validation in EMF tools (GB, ÁH, ÁH, IR, ZU, DV), pp. 580–583.
ASEASE-2011-EdwardsBM #editing #morphism
Isomorphism in model tools and editors (GE, YB, NM), pp. 460–463.
ASEASE-2011-Hall #calculus
The Capture Calculus Toolset (RJH), pp. 628–632.
ASEASE-2011-OverbeyJ #analysis #difference #lightweight #refactoring #reuse
Differential precondition checking: A lightweight, reusable analysis for refactoring tools (JLO, REJ), pp. 303–312.
ASEASE-2011-PietschYK #generative #modelling
Generating realistic test models for model processing tools (PP, HSY, UK), pp. 620–623.
ESEC-FSEESEC-FSE-2011-MontrieuxWY #data access #specification #uml #verification
Tool support for UML-based specification and verification of role-based access control properties (LM, MW, YY), pp. 456–459.
ICSEICSE-2011-BacchelliLD #email #named
Miler: a toolset for exploring email data (AB, ML, MD), pp. 1025–1027.
ICSEICSE-2011-BellamyDMMORS #sketching
Sketching tools for ideation (RKEB, MD, JM, PM, HO, JTR, CS), pp. 808–811.
ICSEICSE-2011-FeinRSMGGBCLSMMSD #automation #deployment #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-McVeighKM #architecture #evolution #named
Evolve: tool support for architecture evolution (AM, JK, JM), pp. 1040–1042.
ICSEICSE-2011-Sethanandha #open source #process
Improving open source software patch contribution process: methods and tools (BDS), pp. 1134–1135.
SACSAC-2011-LimaSM #aspect-oriented #authoring #design #hypermedia #non-functional
Considering non-functional aspects in the design of hypermedia authoring tools (BSL, LFGS, MFM), pp. 1259–1266.
SACSAC-2011-MajchrzakJK #evaluation #open source #performance
Efficiency evaluation of open source ETL tools (TAM, TJ, HK), pp. 287–294.
SACSAC-2011-WajidMNG #comprehension #documentation #enterprise
Tool support for realising a common understanding of business documents in collaborating enterprises (UW, NM, AN, PG), pp. 331–333.
LDTALDTA-2011-JorgensenEF #generative #named #visualisation
VLex: visualizing a lexical analyzer generator — tool demonstration (AJ, GRE, BF), p. 12.
LDTALDTA-2011-SoderbergH #editing #jastadd #semantics #using
Building semantic editors using JastAdd: tool demonstration (ES, GH), p. 11.
CASECASE-2011-CabasinoCGSS #framework #integration #platform
A software platform for the integration of discrete event systems tools (MPC, LC, AG, CS, AS), pp. 45–51.
CASECASE-2011-KimL #clustering #constraints #scheduling
Scheduling of cluster tools with ready time constraints for small lot production (HJK, TEL), pp. 96–101.
CASECASE-2011-QiaoWZ #analysis #clustering #modelling
Modeling and analysis of dual-arm cluster tools for wafer fabrication with revisiting (YQ, NW, MZ), pp. 90–95.
CGOCGO-2011-Altman
The language, optimizer, and tools mess (ERA).
DACDAC-2011-Jandhyala #automation #design #network #social #web
Physics-based field-theoretic design automation tools for social networks and web search (VJ), pp. 280–281.
DACDAC-2011-PuggelliWKS #logic #question #robust #synthesis
Are logic synthesis tools robust? (AP, TW, AK, ALSV), pp. 633–638.
DATEDATE-2011-BonannoBS #analysis #energy #modelling #monitoring #optimisation
Energy analysis methods and tools for modelling and Optimizing monitoring tyre systems (AB, AB, MS), pp. 1121–1122.
DATEDATE-2011-Sifakis #component #design
Methods and tools for component-based system design (JS), p. 1022.
DATEDATE-2011-VissersNN #interface #realtime #synthesis #using
Building real-time HDTV applications in FPGAs using processors, AXI interfaces and high level synthesis tools (KAV, SN, JN), pp. 848–850.
TACASTACAS-2011-SeshiaK #analysis #named
GameTime: A Toolkit for Timing Analysis of Software (SAS, JK), pp. 388–392.
CADECADE-2011-WinklerM #termination
AC Completion with Termination Tools (SW, AM), pp. 492–498.
ECSAECSA-2010-SchwittekE #architecture #communication #information management #requirements
Communicating Architectural Knowledge: Requirements for Software Architecture Knowledge Management Tools (WS, SE), pp. 457–463.
DocEngDocEng-2010-BilaucaH10a #authoring #documentation #layout #performance
Table layout performance of document authoring tools (MB, PH), pp. 199–202.
TPDLECDL-2010-ShipmanHPM
LIFE-SHARE Project: Developing a Digitisation Strategy Toolkit (BS, MH, NP, BM), pp. 502–505.
HTHT-2010-FossC #adaptation #authoring #generative #hypermedia #using
The next generation authoring adaptive hypermedia: using and evaluating the MOT3.0 and PEAL tools (JGKF, AIC), pp. 83–92.
SIGMODSIGMOD-2010-SeligmanMHSCCWMKB #integration #named #open source
OpenII: an open source information integration toolkit (LS, PM, AYH, KPS, MJC, KC, CW, JM, AK, DB), pp. 1057–1060.
ITiCSEITiCSE-2010-Kasyanov #graph
Support tools for graphs in computer science (VNK), p. 315.
ITiCSEITiCSE-2010-McDermottBE #student
Developing tools to encourage reflection in first year students blogs (RM, GB, GE), pp. 147–151.
CSMRCSMR-2010-KnieselBHFCGT #design pattern #detection
DPDX--Towards a Common Result Exchange Format for Design Pattern Detection Tools (GK, AB, PH, LJF, AC, YGG, NT), pp. 232–235.
SEFMSEFM-2010-XuZC #context-free grammar #generative
A Toolkit for Generating Sentences from Context-Free Grammars (ZX, LZ, HC), pp. 118–122.
ICGTICGT-2010-Esparza #concurrent
A False History of True Concurrency: From Petri to Tools (JE), pp. 1–2.
CHICHI-2010-BalakrishnanMM
Fitting an activity-centric system into an ecology of workplace tools (ADB, TM, TPM), pp. 787–790.
CHICHI-2010-GrigoreanuBR #approach #debugging #design
A strategy-centric approach to the design of end-user debugging tools (VG, MMB, GGR), pp. 713–722.
CSCWCSCW-2010-Cataldo #collaboration #development #distributed #fault
Sources of errors in distributed development projects: implications for collaborative tools (MC), pp. 281–290.
CSCWCSCW-2010-SetlockF #cost analysis #what
What’s it worth to you?: the costs and affordances of CMC tools to asian and american users (LDS, SRF), pp. 341–350.
ICEISICEIS-HCI-2010-FardounVGRG #mobile
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
Encouraging a Culture Change in Task Management within PIM Tools (RT, LK, TB), pp. 137–142.
ICEISICEIS-ISAS-2010-ArtignanH #graph #named #visualisation
STOOG — Style-Sheets-based Toolkit for Graph Visualization (GA, MH), pp. 123–131.
ICEISICEIS-ISAS-2010-PerezMDM #metric #quality #requirements
Quality Measurement Model for Requirements Engineering Floss Tools (MAP, EMM, KD, LEM), pp. 249–254.
ICEISICEIS-ISAS-2010-VolkelA #information management #requirements
Requirements for Personal Knowledge Management Tools (MV, AA), pp. 332–337.
ICPRICPR-2010-SeoAD #classification #evaluation #performance #segmentation
Performance Evaluation Tools for Zone Segmentation and Classification (PETS) (WS, MA, DSD), pp. 503–506.
SEKESEKE-2010-BinGHMMPRST #hardware #ontology #verification
Ontology-Based Tools in the Service of Hardware Verification (EB, AG, KH, EM, RM, OP, MR, GS, ET), pp. 303–308.
SEKESEKE-2010-GuoCH #modelling #ontology #visualisation
Tools for Ontology Modeling and Visualization (SSG, CWC, RH), pp. 604–607.
SIGIRSIGIR-2010-FetterlyM #information retrieval
A data-parallel toolkit for information retrieval (DF, FM), p. 701.
SIGIRSIGIR-2010-HuangAH #classification #recommendation
Medical search and classification tools for recommendation (XH, AA, QH), p. 707.
ECMFAECMFA-2010-BruneliereCCJB #eclipse #modelling #towards
Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools (HB, JC, CC, FJ, JB), pp. 32–47.
MODELSMoDELS-v1-2010-ArendtBJKT #concept #emf #model transformation #named
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
A Comparison of Model Migration Tools (LMR, MH, JRW, DSK, KG, RFP, FACP), pp. 61–75.
ECOOPECOOP-2010-RenggliGN
Embedding Languages without Breaking Tools (LR, TG, ON), pp. 380–404.
OOPSLAOOPSLA-2010-OssherBSAACDVFK #analysis #architecture #challenge #concept #flexibility #modelling #research
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.
PLDIPLDI-2010-RuwaseCGM #correctness #optimisation
Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools (OR, SC, PBG, TCM), pp. 25–35.
RERE-2010-SeyffGM #mobile #using
Using Mobile RE Tools to Give End-Users Their Own Voice (NS, FG, NAMM), pp. 37–46.
ASEASE-2010-AliHGH #specification #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 for continuous maintenance of state machine models in program code (MB, MS, MG), pp. 175–176.
ASEASE-2010-IvanovOSV #analysis #behaviour #embedded #modelling #set
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 for essential use cases to better capture software requirements (MK, JCG, JGH), pp. 255–264.
ASEASE-2010-KimKP #architecture #development #quality
Tool support for quality-driven development of software architectures (SK, DKK, SP), pp. 127–130.
ASEASE-2010-MontrieuxJHYST #code generation
Tool support for code generation from a UMLsec property (LM, JJ, CBH, YY, PYS, HT), pp. 357–358.
ASEASE-2010-ShangAH #case study #experience #mining #pipes and filters #repository #scalability #using
An experience report on scaling tools for mining software repositories using MapReduce (WS, BA, AEH), pp. 275–284.
ICSEICSE-2010-NandaGSCSB
Making defect-finding tools work for you (MGN, MG, SS, SC, DS, PB), pp. 99–108.
SACSAC-2010-JohanssonC #enterprise #requirements
Software tools for requirements management in an ERP system context (BJ, RAdC), pp. 169–170.
LDTALDTA-J-2007-CamachoMBV #automation #generative #using #verification
Automated generation of program translation and verification tools using annotated grammars (DOC, KM, MvdB, JJV), pp. 3–20.
LDTALDTA-2010-KlintSV #domain-specific language #implementation #maintenance #on the
On the impact of DSL tools on the maintainability of language implementations (PK, TvdS, JJV), p. 10.
CASECASE-2010-AhnM #analysis #behaviour #clustering #modelling
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
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
An open scheduling architecture for cluster tools (JHL, TEL), pp. 420–425.
CASECASE-2010-WuZ #bound #clustering #petri net #process #scheduling
Petri net-based scheduling of time-constrained dual-arm cluster tools with bounded activity time variation (NW, MZ), pp. 465–470.
DACDAC-2010-Potkonjak #synthesis #using
Synthesis of trustable ICs using untrusted CAD tools (MP), pp. 633–634.
IJCARIJCAR-2010-WinklerM #order #termination
Termination Tools in Ordered Completion (SW, AM), pp. 518–532.
LICSLICS-2010-Plotkin
Robin Milner, a Craftsman of Tools for the Mind (GDP), pp. 58–59.
WICSA-ECSAWICSA-ECSA-2009-GarlanBSC #architecture #evolution
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 #using
Open source based tools for sharing and reuse of software architectural knowledge (KH, MM), pp. 41–50.
WICSA-ECSAWICSA-ECSA-2009-Konemann #concept #modelling #uml
Integrating decision management with UML modeling concepts and tools (PK), pp. 297–300.
WICSA-ECSAWICSA-ECSA-2009-ShahinLK #architecture #design #modelling
Architectural design decision: Existing models and tools (MS, PL, MRK), pp. 293–296.
TPDLECDL-2009-SarnowskiK #standard
Building Standardized Digital Collections: ResCarta Tools, a Demo (JS, SK), pp. 475–476.
HTHT-2009-MitchellM #authoring #design #hypermedia #multi
Designing hypertext tools to facilitate authoring multiple points-of-view stories (AM, KM), pp. 309–316.
ICDARICDAR-2009-Guest #matlab #named #online
PENTOOLS — A MATLAB Toolkit for On-line Pen-Based Data Experimentation (RMG), pp. 1221–1225.
CSEETCSEET-2009-GargV #assessment #case study #re-engineering
Case Studies as Assessment Tools in Software Engineering Classrooms (KG, VV), pp. 8–11.
ITiCSEITiCSE-2009-AltinBEKOSSSMPR09a #experience #learning #student #user interface #using
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-Inghelbrecht #design #education
Tool support for teaching responsibility-driven design (YI), p. 351.
ITiCSEITiCSE-2009-ThomasWS #automation #diagrams
Generalised diagram revision tools with automatic marking (PGT, KGW, NS), pp. 318–322.
ICPCICPC-J-2008-DaltonWDH09 #behaviour #embedded #network #runtime #visualisation
Visualizing the runtime behavior of embedded network systems: A toolkit for TinyOS (ARD, SKW, SD, JOH), pp. 446–469.
ICPCICPC-J-2008-RoyCK09 #approach #clone detection #comparison #detection #evaluation
Comparison and evaluation of code clone detection techniques and tools: A qualitative approach (CKR, JRC, RK), pp. 470–495.
CSMRCSMR-2009-SoriaPC #architecture #fault #locality #modelling #using
Tool Support for Fault Localization Using Architectural Models (AS, JADP, MRC), pp. 59–68.
ICPCICPC-2009-ZhangDH #aspectj #impact analysis #visualisation
Impact analysis and visualization toolkit for static crosscutting in AspectJ (DZ, EDE, LJH), pp. 60–69.
SCAMSCAM-2009-TiarksKF #assessment #detection #state of the art
An Assessment of Type-3 Clones as Detected by State-of-the-Art Tools (RT, RK, RF), pp. 67–76.
SCAMSCAM-2009-Ward09a #maintenance
The FermaT Maintenance Environment Tool Demonstration (MPW), pp. 125–126.
CIAACIAA-2009-CleophasH #algorithm #automaton
Forest FIRE: A Taxonomy-based Toolkit of Tree Automata and Regular Tree Algorithms (LGC, KH), pp. 245–248.
FMFM-2009-LausdahlLL #uml
Connecting UML and VDM++ with Open Tool Support (KL, HKAL, PGL), pp. 563–578.
FMFM-2009-SaidBS #refinement #state machine #uml
Language and Tool Support for Class and State Machine Refinement in UML-B (MYS, MJB, CFS), pp. 579–595.
SEFMSEFM-2009-HoangFA
Event-B Patterns and Their Tool Support (TSH, AF, JRA), pp. 210–219.
HaskellHaskell-2009-BaaijKKGM #hardware #haskell
Tool DemonstrationCLasHFrom Haskell to Hardware (CB, MK, JK, MG, BM).
ICFPICFP-2009-FlattBF #ad hoc #documentation #named
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 #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.
CoGCIG-2009-Mateas #authoring
AI isn't just for players: AI-based authoring tools (MM).
FDGFDG-2009-LangeveldK #education #visualisation
Educational impact of digital visualization and auditing tools on a digital character production course (MCvL, RK), pp. 316–323.
FDGFDG-2009-NelsonM #analysis #design #game studies #requirements
A requirements analysis for videogame design support tools (MJN, MM), pp. 137–144.
CHICHI-2009-AppertZ #using
Using strokes as command shortcuts: cognitive benefits and toolkit support (CA, SZ), pp. 2289–2298.
CHICHI-2009-FaureCR
Power tools for copying and moving: useful stuff for your desktop (GF, OC, NR), pp. 1675–1678.
HCIHCD-2009-BradshawFJBBEJLUD #process
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-RunonenM #concept #development #research
Shaping the Future with Users — Futures Research Methods as Tools for User-Centered Concept Development (MR, PM), pp. 904–911.
HCIHCI-NT-2009-MirelW #development #heuristic
Heuristic Evaluations of Bioinformatics Tools: A Development Case (BM, ZW), pp. 329–338.
HCIHCI-NT-2009-MoesleinBS #collaboration #development #roadmap
Open Collaborative Development: Trends, Tools, and Tactics (KMM, ACB, JHS), pp. 874–881.
HCIHCI-VAD-2009-SaC #development #learning #mobile #personalisation
Supporting End-User Development of Personalized Mobile Learning Tools (MdS, LC), pp. 217–225.
HCIHCI-VAD-2009-SullivanBMR #collaboration #sketching
Social-Technical Tools for Collaborative Sensemaking and Sketching (JS, MB, CM, RR), pp. 614–623.
HCIHIMI-DIE-2009-Soderston #experience #user interface #using
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
Organization Diagnosis Tools Based on Social Network Analysis (TU, KA), pp. 181–189.
HCIHIMI-II-2009-LigdaJLJ #automation #distributed #using
Pilot Confidence with ATC Automation Using Cockpit Situation Display Tools in a Distributed Traffic Management Environment (SVL, NHJ, JL, WWJ), pp. 816–825.
VISSOFTVISSOFT-2009-SensalireOT #evaluation #lessons learnt #visualisation
Evaluation of software visualization tools: Lessons learned (MS, PO, ACT), pp. 19–26.
ICEISICEIS-AIDSS-2009-SmutsML #information management
Key Characteristics in Selecting Software Tools for Knowledge Management (HS, AvdM, ML), pp. 170–179.
ICEISICEIS-HCI-2009-GermanakosTLMBS #authoring #framework
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
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-Islam #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-MartinoBBF #analysis #multi
Integrating Google Earth within OLAP Tools for Multidimensional Exploration and Analysis of Spatial Data (SDM, SB, MB, FF), pp. 940–951.
ICEISICEIS-SAIC-2009-CernuzziZ #design #named #using
Gaia4E: A Tool Supporting the Design of MAS using Gaia (LC, FZ), pp. 82–88.
KDDKDD-2009-Hand #data mining #mining #modelling
Mismatched models, wrong results, and dreadful decisions: on choosing appropriate data mining tools (DJH), pp. 1–2.
KMISKMIS-2009-BuchnerMN #analysis #concept #enterprise #open source
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
Knowledge Management Processes, Tools and Techniques for Counterterrorism (UKW, NM, JG), pp. 29–36.
SEKESEKE-2009-SalamahBBPFC #specification #validation
Enhancing Property Specification Tools With Validation Techniques (SS, MDB, EB, SP, DF, LC), pp. 487–492.
OOPSLAOOPSLA-2009-OverbeyJ #programming language #refactoring
Regrowing a language: refactoring tools allow programming languages to evolve (JLO, REJ), pp. 493–502.
OOPSLAOOPSLA-2009-SongT #program transformation #programming
Enhancing source-level programming tools with an awareness of transparent program transformations (MS, ET), pp. 301–320.
AdaSIGAda-2009-Jennings #named #re-engineering
SPARK: the libre language and toolset for high-assurance software engineering (TJ), pp. 9–10.
REFSQREFSQ-2009-KarlsenMK #requirements
Inventing Requirements with Creativity Support Tools (IKK, NAMM, AK), pp. 162–174.
ASEASE-2009-GrunbacherRDL #case study #deployment #experience #industrial #modelling
Model-Based Customization and Deployment of Eclipse-Based Tools: Industrial Experiences (PG, RR, DD, ML), pp. 247–256.
ASEASE-2009-JanssenAG #automation #fault #locality #named
Zoltar: A Toolset for Automatic Fault Localization (TJ, RA, AJCvG), pp. 662–664.
ASEASE-2009-Kamalrudin #automation #consistency #nondeterminism #requirements
Automated Software Tool Support for Checking the Inconsistency of Requirements (MK), pp. 693–697.
ASEASE-2009-Maalej #integration #revisited
Task-First or Context-First? Tool Integration Revisited (WM), pp. 344–355.
ESEC-FSEESEC-FSE-2009-PathakG #named #network #visual notation
Srijan: a graphical toolkit for sensor network macroprogramming (AP, MKG), pp. 301–302.
ICSEICSE-2009-MarianiPP #analysis #automation
A toolset for automated failure analysis (LM, FP, MP), pp. 563–566.
GPCEGPCE-2009-VillazonBAM09a #adaptation #aspect-oriented #java #named #programming
HotWave: creating adaptive tools with dynamic aspect-oriented programming in Java (AV, WB, DA, PM), pp. 95–98.
CASECASE-2009-Morrison #clustering #modelling #process
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
A novel approach to scheduling of single-arm cluster tools with wafer revisiting (NW, FC, CC, MZ), pp. 567–572.
DATEDATE-2009-LiC #architecture #bibliography #memory management
An overview of non-volatile memory technology and the implication for tools and architectures (HL, YC), pp. 731–736.
ESOPESOP-2009-Eber #contract #design #programming language #question #specification #what
The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design? (JME), pp. 205–206.
ICLPICLP-2009-Paolucci #natural language #research #summary
Research Summary: Intelligent Natural Language Processing Techniques and Tools (AP), pp. 536–537.
ICSTICST-2009-WedyanAB #automation #detection #effectiveness #fault #predict #refactoring #static analysis
The Effectiveness of Automated Static Analysis Tools for Fault Detection and Refactoring Prediction (FW, DA, JMB), pp. 141–150.
HTHT-2008-BolchiniGP #development #hypermedia
Investigating success factors for hypermedia development tools (DB, FG, PP), pp. 187–192.
HTHT-2008-GaffneyDW #authoring #overview #simulation
A survey of soft skill simulation authoring tools (CG, DD, VW), pp. 181–186.
VLDBVLDB-2008-TianPNMK #graph #named #query
Periscope/GQ: a graph querying toolkit (YT, JMP, VN, SM, MK), pp. 1404–1407.
EDMEDM-2008-KoedingerCSL #analysis #fine-grained #repository
An Open Repository and analysis tools for fine-grained, longitudinal learner data (KRK, KC, AS, BL), pp. 157–166.
ITiCSEITiCSE-2008-DemailleLP #compilation #education #set
A set of tools to teach compiler construction (AD, RL, BP), pp. 68–72.
ITiCSEITiCSE-2008-LevyB #behaviour
Perceived behavior control and its influence on the adoption of software tools (RBBL, MBA), pp. 169–173.
CSMRCSMR-2008-Bull
CSMR Tool Demonstration: Welcome (RIB), p. 319.
CSMRCSMR-2008-FulopFG #benchmark #design pattern #metric #mining #towards
Towards a Benchmark for Evaluating Design Pattern Miner Tools (LJF, RF, TG), pp. 143–152.
CSMRCSMR-2008-LewisS
SMART Tool Demonstration (GAL, DBS), pp. 332–334.
ICPCICPC-2008-DaltonH #behaviour #runtime #visualisation
A Toolkit for Visualizing the Runtime Behavior of TinyOS Applications (ARD, JOH), pp. 43–52.
ICPCICPC-2008-SridharaHPV #case study #comparative #identification #semantics #similarity #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 #towards
Building reverse engineering tools with software components: Towards a dedicated development process for academia (HMK), pp. 416–419.
MSRMSR-2008-HillFBSNPV #automation #maintenance #mining #named #source code
AMAP: automatically mining abbreviation expansions in programs to enhance software maintenance tools (EH, ZPF, HB, GS, YN, LLP, KVS), pp. 79–88.
PASTEPASTE-2008-KhooFHS #static analysis
Path projection for user-centered static analysis tools (YPK, JSF, MH, VS), pp. 57–63.
WCREWCRE-2008-FulopHFG #benchmark #metric #reverse engineering #towards
Towards a Benchmark for Evaluating Reverse Engineering Tools (LJF, PH, RF, TG), pp. 335–336.
WCREWCRE-2008-KienleM #maintenance #process #towards
Towards a Process for Developing Maintenance Tools in Academia (HMK, HAM), pp. 237–246.
WCREWCRE-2008-YuW #comprehension #evolution
Graph-Centric Tools for Understanding the Evolution and Relationships of Software Structures (YY, MW), pp. 329–330.
LATALATA-2008-Domaratzki #formal method
Formal Language Tools for Template-Guided DNA Recombination (MD), pp. 3–5.
SEFMSEFM-2008-Roggenbach #csp
Tools for CSP (MR), pp. 213–214.
ICGTICGT-2008-Bisztray #architecture #refactoring #verification
Verification of Architectural Refactorings: Rule Extraction and Tool Support (DB), pp. 475–477.
ICGTICGT-2008-RensinkG #contest #graph
Graph-Based Tools: The Contest (AR, PVG), pp. 463–466.
CSCWCSCW-2008-AgustinaLXSS #3d #collaboration #design #named
CoMaya: incorporating advanced collaboration capabilities into 3d digital media design tools (A, FL, SX, HS, CS), pp. 5–8.
SOFTVISSOFTVIS-2008-DachseltFD #sketching #uml
Enhancing UML sketch tools with digital pens and paper (RD, MF, ED), pp. 203–204.
SOFTVISSOFTVIS-2008-SensalireOT #maintenance #visualisation
Classifying desirable features of software visualization tools for corrective maintenance (MS, PO, ACT), pp. 87–90.
ICEISICEIS-J-2008-HeerRK08a #integration #ontology
Tool Support for the Integration of Light-Weight Ontologies (TH, DR, BK), pp. 175–187.
KDDKDD-2008-YangAPM #graph #interactive
A visual-analytic toolkit for dynamic interaction graphs (XY, SA, SP, SM), pp. 1016–1024.
SEKESEKE-2008-BaratK #approach #enterprise #integration #modelling #process
A Model-driven Toolset to Support an Approach for Analyzing Integration of Business Process Aspect of Enterprise Application Integration (SB, VK), pp. 625–630.
SEKESEKE-2008-BarbosaNRM #development #ontology #testing
Ontology-based Development of Testing Related Tools (EFB, EYN, ACR, JCM), pp. 697–702.
SEKESEKE-2008-LappalainenHSPML #comparison #developer
A Comparison of Time Tracking Tools for Software Developers (JL, LH, JS, TP, HM, HL), pp. 91–96.
SEKESEKE-2008-TinkhamTP #assessment #comprehension #java #reverse engineering #source code #testing
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 #visualisation
From concepts to implementation and visualization: tools from a team-based approach to ir (UM, RdST, EAF, LV, SY, MAG), p. 889.
SPLCSPLC-2008-BotterweckTNAC #comprehension #configuration management #product line #visual notation
Visual Tool Support for Configuring and Understanding Software Product Lines (GB, ST, DN, SbA, CC), pp. 77–86.
TOOLSTOOLS-EUROPE-2008-AydalUW #comparison #modelling #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
A Framework for Model Transformation By-Example: Concepts and Tool Support (MS, MW), pp. 372–391.
PADLPADL-2008-FernandezFFGM #developer #ml #programming
A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers (MFF, KF, JNF, MG, YM), pp. 133–149.
PADLPADL-2008-PaganoACCCMW #development #implementation #ml
Certified Development Tools Implementation in Objective Caml (BP, OA, BC, EC, JLC, TM, PW), pp. 2–17.
PEPMPEPM-2008-LiT #functional #refactoring #source code
Tool support for refactoring functional programs (HL, SJT), pp. 199–203.
PEPMPEPM-2008-VolanschiR
Unparsed patterns: easy user-extensibility of program manipulation tools (NV, CR), pp. 111–121.
REFSQREFSQ-2008-AlenljungP #named #requirements
DESCRY: A Method for Evaluating Decision-Supporting Capabilities of Requirements Engineering Tools (BA, AP), pp. 52–57.
ASEASE-2008-BucchiaroneGLTF
QuARS Express — A Tool Demonstration (AB, SG, GL, GT, AF), pp. 473–474.
ASEASE-2008-DanielB #automation #effectiveness #predict #testing
Predicting Effectiveness of Automatic Testing Tools (BD, MB), pp. 363–366.
ASEASE-2008-Frisby #analysis
Unifying Analysis Tools with Rosetta (NF), pp. 505–508.
ASEASE-2008-GaffeR
The Clem Toolkit (DG, AR), pp. 495–496.
ASEASE-2008-GrunbacherRD #lessons learnt #product line
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
DUALLY: A framework for Architectural Languages and Tools Interoperability (IM, HM, PP), pp. 483–484.
ASEASE-2008-SchumannGPMB #analysis #parametricity #scalability #simulation
Tool Support for Parametric Analysis of Large Software Simulation Systems (JS, KGB, CSP, TM, TB), pp. 497–498.
ASEASE-2008-YuJS #development #traceability
Tools for Traceability in Secure Software Development (YY, JJ, JS), pp. 503–504.
ICSEICSE-2008-AmelunxenKKRS #integration #metamodelling
Metamodel-based tool integration with moflon (CA, FK, AK, TR, AS), pp. 807–810.
ICSEICSE-2008-Duala-EkokoR #named
Clonetracker: tool support for code clone management (EDE, MPR), pp. 843–846.
ICSEICSE-2008-Murphy-HillB #refactoring
Breaking the barriers to successful refactoring: observations and tools for extract method (ERMH, APB), pp. 421–430.
ICSEICSE-2008-ReinhardMSCG #modelling #navigation #visual notation
Tool support for the navigation in graphical models (TR, SM, RS, CC, MG), pp. 823–826.
ICSEICSE-2008-RobbesL #development #named
SpyWare: a change-aware development toolset (RR, ML), pp. 847–850.
ICSEICSE-2008-ScaffidiMS08a #validation
Tool support for data validation by end-user programmers (CS, BAM, MS), pp. 867–870.
CASECASE-2008-ChanYDS #clustering #scheduling
Optimal scheduling of k-unit production of cluster tools with single-blade robots (WKC, JY, SD, DS), pp. 335–340.
CASECASE-2008-JungL #clustering #performance #scheduling
Efficient scheduling method based on an assignment model for robotized cluster tools (CJ, TEL), pp. 79–84.
CASECASE-2008-PaekL #clustering #scheduling #strict
Optimal scheduling of dual-armed cluster tools without swap restriction (JHP, TEL), pp. 103–108.
CASECASE-2008-WuZPCC #clustering #constraints #modelling #petri net #process #realtime
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.
DATEDATE-2008-ElmqvistN #analysis #component #incremental
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
Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures (EF, RW, RE, ALSV, MDN), pp. 659–663.
ICLPICLP-2008-Cipriano #constraints #modelling #on the #programming
On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software Tools (RC), pp. 803–804.
ICSTICST-2008-PloschGPSS
Tool Support for Expert-Centred Code Assessments (RP, HG, GP, MS, SS), pp. 258–267.
ICSTICST-2008-WagnerDAWS #debugging #evaluation #java
An Evaluation of Two Bug Pattern Tools for Java (SW, FD, MA, JW, MS), pp. 248–257.
IJCARIJCAR-2008-SatoWKM #multi #termination
Multi-completion with Termination Tools (HS, SW, MK, AM), pp. 306–312.
ISSTAISSTA-2008-LinckeLL #metric
Comparing software metrics tools (RL, JL, WL), pp. 131–142.
ECSAECSA-2007-FarenhorstLV #architecture #effectiveness
Effective Tool Support for Architectural Knowledge Sharing (RF, PL, HvV), pp. 123–138.
ECSAECSA-2007-NavaCD #architecture #design #process
Processes for Creating and Exploiting Architectural Design Decisions with Tool Support (FN, RC, JCD), pp. 321–324.
WICSAWICSA-2007-JansenVAH #architecture
Tool Support for Architectural Decisions (AJ, JSvdV, PA, DKH), p. 4.
ICDARICDAR-2007-JournetRME #documentation #image #library #retrieval
A Proposition of Retrieval Tools for Historical Document Images Libraries (NJ, JYR, RM, VE), pp. 1053–1057.
JCDLJCDL-2007-AhmadCBSM #automation #concept #personalisation #towards
Towards automatic conceptual personalization tools (FA, SdlC, KRB, TS, JHM), pp. 452–461.
JCDLJCDL-2007-MonroyFS #editing #interface #workflow
Digital Donne: workflow, editing tools, and the reader’s interface of a collection of 17th-century english poetry (CM, RF, GS), pp. 411–412.
SIGMODSIGMOD-2007-FaloutsosKS #graph #matrix #mining #scalability #using
Mining large graphs and streams using matrix and tensor tools (CF, TGK, JS), p. 1174.
SIGMODSIGMOD-2007-HeWCLR #automation #named
BIwTL: a business information warehouse toolkit and language for warehousing simplification and automation (BH, RW, YC, AL, JR), pp. 1041–1052.
VLDBVLDB-2007-DuchateauBH #benchmark #metric #named #xml
XBenchMatch: a Benchmark for XML Schema Matching Tools (FD, ZB, EH), pp. 1318–1321.
ITiCSEITiCSE-2007-BarkerP
Accessibility tools (GB, JP), p. 354.
ITiCSEITiCSE-2007-LevyB #education
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
A study of phylogenetic tools for genomic nomenclature data cleaning (JDM, KGH, JTLW), p. 347.
ITiCSEITiCSE-2007-Sanchez-TorrubiaTC #algorithm #graph #interactive #learning
New interactive tools for graph algorithms active learning (MGST, CTB, JC), p. 337.
CSMRCSMR-2007-Sartipi #evolution #integration #multi
A Multi-view Toolkit to Assist Software Integration and Evolution (KS), pp. 337–338.
ICPCICPC-2007-AlwisMR #case study #comparative
A Comparative Study of Three Program Exploration Tools (BdA, GCM, MPR), pp. 103–112.
ICSMEICSM-2007-RenC #named #testing #validation
ATTEST: A Testing Toolkit for Validating Software Properties (Y(R, FC), pp. 469–472.
SCAMSCAM-2007-Larson #debugging #detection #framework #named
SUDS: An Infrastructure for Creating Bug Detection Tools (EL), pp. 123–132.
SCAMSCAM-2007-RoubtsovTH #assessment #named #quality #visualisation
SQuAVisiT: A Software Quality Assessment and Visualisation Toolset (SAR, ACT, DH), pp. 155–156.
WCREWCRE-2007-Baxter #re-engineering
Reengineering Tools: A Perspective from the Trenches (IDB).
WCREWCRE-2007-Kienle #component #lessons learnt #reverse engineering
Building Reverse Engineering Tools with Software Components: Ten Lessons Learned (HMK), pp. 289–292.
SEFMSEFM-2007-FraserB #configuration management #proving
Configurable Proof Obligations in the Frog Toolkit (SF, RB), pp. 361–370.
ICFPICFP-2007-SewellNOPRSS #effectiveness #named #semantics
Ott: effective tool support for the working semanticist (PS, FZN, SO, GP, TR, SS, RS), pp. 1–12.
LISPILC-2007-Harmon #analysis #lisp
Computational tools for the analysis of spatial patterns of gene expression in Common Lisp (CLH), p. 18.
DiGRADiGRA-2007-BraggeS #game studies #mining #profiling #research #using
Profiling Academic Research on Digital Games Using Text Mining Tools (JB, JS).
AGTIVEAGTIVE-2007-LevendovszkyLMM #mobile
Introducing the VMTS Mobile Toolkit (TL, LL, GM, TM), pp. 587–592.
AGTIVEAGTIVE-2007-RensinkDEJKLMSZ #case study #graph transformation #named
Ludo: A Case Study for Graph Transformation Tools (AR, AD, CE, SJ, OK, JdL, SM, TS, AZ), pp. 493–513.
AGTIVEAGTIVE-2007-TaentzerBBBBBGGHKMNPV #case study #generative #graph transformation
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 #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 #workflow
Evaluating Workflow Definition Language Revisions with Graph-Based Tools (RW, MH, FWH).
CHICHI-2007-BoshernitsanGH #development
Aligning development tools with the way programmers think about code changes (MB, SLG, MAH), pp. 567–576.
CHICHI-2007-FogartyH #modelling #statistics
Toolkit support for developing and deploying sensor-based statistical models of human situations (JF, SEH), pp. 135–144.
CHICHI-2007-LeclercPI #modelling #named #physics #visualisation
Senspectra: a computationally augmented physical modeling toolkit for sensing and visualization of structural strain (VL, AJP, HI), pp. 801–804.
HCIHCI-IDU-2007-BuchholzEMP #evaluation #modelling #usability
Model-Based Usability Evaluation — Evaluation of Tool Support (GB, JE, CM, SP), pp. 1043–1052.
HCIHCI-IDU-2007-Forsman #experience #human-computer #research #using
After Hurricane Katrina: Post Disaster Experience Research Using HCI Tools and Techniques (CF), pp. 78–87.
HCIHCI-IDU-2007-GaoSRA #design #effectiveness #navigation #web
Design Effective Navigation Tools for Older Web Users (QG, HS, PLPR, YA), pp. 765–773.
HCIHCI-IDU-2007-GeorgiakakisRPP #design #design pattern #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-PleussH #authoring #development #interactive #modelling #multi
Integrating Authoring Tools into Model-Driven Development of Interactive Multimedia Applications (AP, HH), pp. 1168–1177.
HCIHCI-IDU-2007-Schaefer #development #modelling #overview #user interface
A Survey on Transformation Tools for Model Based User Interface Development (RS), pp. 1178–1187.
HCIHCI-IDU-2007-YamazakiF #design #experience #user interface
Design Tools for User Experience Design (KY, KF), pp. 298–307.
HCIHCI-IPT-2007-Lee07a #mobile
Support Zooming Tools for Mobile Devices (KBL), pp. 408–417.
HCIHCI-IPT-2007-MavrommatiD #overview #perspective
End User Tools for Ambient Intelligence Environments: An Overview (IM, JD), pp. 864–872.
HCIHCI-IPT-2007-WissmannB #visualisation
Bilingual Mapping Visualizations as Tools for Chinese Language Acquisition (JW, GSB), pp. 171–180.
HCIHCI-MIE-2007-LyonsBWKS #gesture #named #process #recognition
GART: The Gesture and Activity Recognition Toolkit (KL, HB, TLW, JK, TS), pp. 718–727.
HCIHCI-MIE-2007-RigasA #design #empirical #interface #multimodal
A Toolkit for Multimodal Interface Design: An Empirical Investigation (DIR, MMA), pp. 196–205.
HCIOCSC-2007-NuschkeJ #collaboration #communication #framework #information management #using
A Framework for Inter-organizational Collaboration Using Communication and Knowledge Management Tools (PN, XJ), pp. 406–415.
HCIOCSC-2007-ZhangYAQ #named #network #social
SISN: A Toolkit for Augmenting Expertise Sharing Via Social Networks (JZ, YY, MSA, YQ), pp. 491–500.
VISSOFTVISSOFT-2007-KienleM #overview #requirements #visualisation
Requirements of Software Visualization Tools: A Literature Survey (HMK, HAM), pp. 2–9.
VISSOFTVISSOFT-2007-SensalireO #industrial #object-oriented #towards #visualisation
Visualizing Object Oriented Software: Towards a Point of Reference for Developing Tools for Industry (MS, PO), pp. 26–29.
CAiSECAiSE-2007-EnglebertH #automation #towards
Towards More Extensible MetaCASE Tools (VE, PH), pp. 454–468.
ICEISICEIS-AIDSS-2007-PrauseKAOC #development #documentation
Interconnecting Documentation — Harnessing the Different Powers of Current Documentation Tools in Software Development (CP, JK, SA, RO, ABC), pp. 63–68.
ICEISICEIS-EIS-2007-AuerMB #modelling #uml #usability
Explorative UML Modeling — Comparing the Usability of UML Tools (MA, LM, SB), pp. 466–473.
ICEISICEIS-EIS-2007-ThomLIM #modelling #process #reuse #workflow
Extending Business Process Modeling Tools with Workflow Pattern Reuse (LHT, JML, CI, JM), pp. 447–452.
SEKESEKE-2007-Garcia-CastroGS #benchmark #metric #ontology #rdf
Benchmarking the RDF(S) Interoperability of Ontology Tools (RGC, AGP, YS), pp. 410–415.
SEKESEKE-2007-KearneyP #automation #framework #named #reverse engineering #uml
REM4j — A Framework for Measuring the Reverse Engineering Capability of UML CASE Tools (SK, JFP), pp. 209–214.
SEKESEKE-2007-NakagawaSFM #architecture #testing #towards
Towards a Reference Architecture for Software Testing Tools (EYN, AdSS, FCF, JCM), pp. 157–162.
SIGIRSIGIR-2007-ChenBLCZ #mobile #retrieval
A full-text retrieval toolkit for mobile desktop search (WC, JB, KL, CC, CZ), p. 905.
ECMFAECMDA-FA-2007-AchilleosGY #development #framework #modelling #open source
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 #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
Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications (AP, AV, HH), pp. 241–255.
SPLCSPLC-2007-BeucheBDFGHJJKMW #product line #requirements #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.
MODELSMoDELS-2007-PleussVH #development #interactive
Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications (AP, AV, HH), pp. 241–255.
TOOLSTOOLS-EUROPE-2007-RomeroRDV #maude #modelling
Formal and Tool Support for Model Driven Engineering with Maude (JRR, JER, FD, AV), pp. 187–207.
PEPMPEPM-2007-FernandesS #library #source code
Tools and libraries to model and manipulate circular programs (JPF, JS), pp. 102–111.
AdaSIGAda-2007-Grosman #ada #development #eclipse #named
Hibachi: the eclipse ada development toolset (TG), p. 99.
RERE-2007-DjebbiSF #industrial #overview #product line #requirements #roadmap
Industry Survey of Product Lines Management Tools: Requirements, Qualities and Open Issues (OD, CS, GF), pp. 301–306.
ASEASE-2007-Abi-AntounA #execution #object-oriented #source code
Tool support for the compile-time execution structure of object-oriented programs with ownership annotations (MAA, JA), pp. 543–544.
ASEASE-2007-CaiHX #composition #design #framework #testing
A framework and tool supports for testing modularity of software design (YC, SH, TX), pp. 441–444.
ASEASE-2007-DhunganaRGN #product line
Integrated tool support for software product line engineering (DD, RR, PG, TN), pp. 533–534.
ASEASE-2007-HoskingG #domain-specific language #implementation #visual notation
Meta tools for implementing domain specific visual languages (JGH, JCG), p. 576.
ASEASE-2007-JurjensY #modelling #security
Tools for model-based security engineering: models vs. code (JJ, YY), pp. 545–546.
ESEC-FSEESEC-FSE-2007-Kwiatkowska #modelling #verification
Quantitative verification: models techniques and tools (MZK), pp. 449–458.
ICSEICSE-2007-BurmesterGHHTGMV #perspective #realtime
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-HonidenTYTW #architecture #development #re-engineering
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-LeclercqOQS #architecture
Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset (ML, AEÖ, VQ, JBS), pp. 209–219.
SACSAC-2007-VogelerGB #documentation #xml
New specialist tools for medieval document XML markup (GV, SG, BB), pp. 594–599.
CASECASE-2007-ChanYD #clustering #multi #on the #scheduling
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
Improving dispatch rules for cascading tools (GG, JW, KS), pp. 261–264.
CASECASE-2007-MorrisonM #clustering #on the #throughput
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
Throughput Analysis of Linear Cluster Tools (JY, SD, MTZ, PvdM), pp. 1063–1068.
DATEDATE-2007-BondarevCW #analysis #component #design #embedded #named #performance
CARAT: a toolkit for design and performance analysis of component-based embedded systems (ERVB, MRVC, PHNdW), pp. 1024–1029.
LCTESLCTES-2007-Engelsma #case study #experience #perspective
Enabling seamless mobility: an enablers, experiences and tools perspective (JE), p. 136.
PDPPDP-2007-QiJFG #deployment #framework #named
HAND: Highly Available Dynamic Deployment Infrastructure for Globus Toolkit 4 (LQ, HJ, ITF, JG), pp. 155–162.
FASEFASE-2007-GrammesG #semantics
SDL Profiles — Formal Semantics and Tool Support (RG, RG), pp. 200–214.
CAVCAV-2007-OuimetL #realtime #simulation #specification #verification
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems (MO, KL), pp. 126–130.
SIGMODSIGMOD-2006-ZieglerKSDB #detection #ontology #similarity
Generic similarity detection in ontologies with the SOQA-SimPack toolkit (PZ, CK, CS, KRD, AB), pp. 751–753.
ITiCSEITiCSE-2006-AlmstrumL #women
Men are from toys: women are from tools (VLA, MZL), p. 313.
CSMRCSMR-2006-CugnoNSDT #automation #composition #semantics
Semantic-Based Toolkit for Automated Building Block Composition in SAP R/3 (FdC, TDN, EDS, FMD, ET), pp. 343–346.
CSMRCSMR-2006-GueheneucMW #comparative #design #framework
A Comparative Framework for Design Recovery Tools (YGG, KM, RW), pp. 123–134.
ICPCICPC-2006-JinC #reverse engineering #using
Integrating Reverse Engineering Tools Using a Service-Sharing Methodology (DJ, JRC), pp. 94–99.
ICPCICPC-2006-SartipiYS #interactive #named
Alborz: An Interactive Toolkit to Extract Static and Dynamic Views of a Software System (KS, LY, HS), pp. 256–259.
SCAMSCAM-2006-Bruntink #analysis
Linking Analysis and Transformation Tools with Source-Based Mappings (MB), pp. 107–116.
SCAMSCAM-2006-FulopGF #c++ #design pattern #mining
Evaluating C++ Design Pattern Miner Tools (LJF, TG, RF), pp. 127–138.
SCAMSCAM-2006-WykKBJSR #c #compilation #composition #framework #java
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
FINT: Tool Support for Aspect Mining (MM, LM, AvD), pp. 299–300.
CIAACIAA-2006-MayK #automaton #named
Tiburon: A Weighted Tree Automata Toolkit (JM, KK), pp. 102–113.
IFLIFL-2006-PlasmeijerA
A Conference Management System Based on the iData Toolkit (RP, PA), pp. 108–125.
CHICHI-2006-KoM #editing #framework #implementation #interactive #named
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
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
The wheel of collaboration tools: a typology for analysis within a holistic framework (PEW, BEM, BT, SL), pp. 239–248.
SOFTVISSOFTVIS-2006-DemetrescuF #data-driven #visual notation #visualisation
A data-driven graphical toolkit for software visualization (CD, IF), pp. 57–66.
EDOCEDOC-2006-ErnstLSW #architecture #enterprise
Tool Support for Enterprise Architecture Management — Strengths and Weaknesses (AME, JL, CMS, AW), pp. 13–22.
ICEISICEIS-AIDSS-2006-KumarVBM #evaluation #information retrieval #multi
Multi-Criteria Evaluation of Information Retrieval Tools (NK, JV, JDB, MFM), pp. 150–155.
ICEISICEIS-ISAS-2006-DaoHHRV #abstraction #mining #modelling #towards #uml
Towards Practical Tools for Mining Abstractions in UML Models (MD, MH, MRH, CR, PV), pp. 276–283.
ICEISICEIS-J-2006-CarricoSA06a #personalisation
Handheld Tools for Personalized and Proactive Psychotherapy (LC, MdS, PA), pp. 452–464.
ICEISICEIS-J-2006-EspirituST06a #topic
The ViskiMap Toolkit: Extending Mediawiki with Topic Maps (CE, ES, TT), pp. 420–438.
CIKMCIKM-2006-PiochE #collaboration #information management #named
POLESTAR: collaborative knowledge management and sensemaking tools for intelligence analysts (NJP, JOE), pp. 513–521.
SEKESEKE-2006-BaileyS #empirical #modelling
Applying Models of Technology Adoption to Software Tools and Methods: An Empirical Study (SAB, SES), pp. 200–205.
ECMFAECMDA-FA-2006-CabotT #constraints #overview
Constraint Support in MDA Tools: A Survey (JC, ET), pp. 256–267.
ECMFAECMDA-FA-2006-NytunPT #automation #generative #modelling
Automatic Generation of Modelling Tools (JPN, AP, MST), pp. 268–283.
MODELSMoDELS-2006-KuhnGW #case study #development #experience #modelling #process
Model-Driven Development with SDL — Process, Tools, and Experiences (TK, RG, CW), pp. 83–97.
SPLCSPL-BOOK-2006-OldevikSHM #evaluation #framework #modelling #product line
Evaluation Framework for Model-Driven Product Line Engineering Tools (JO, AS, ØH, BMP), pp. 589–618.
SPLCSPLC-2006-SchmidKE #product line #requirements
Requirements Management for Product Lines: Extending Professional Tools (KS, KK, ME), pp. 113–122.
MODELSMoDELS-2006-KuhnGW #case study #development #experience #modelling #process
Model-Driven Development with SDL — Process, Tools, and Experiences (TK, RG, CW), pp. 83–97.
OOPSLAOOPSLA-2006-CohenGM #java #named
JTL: the Java tools language (TC, JYG, IM), pp. 89–108.
OOPSLAOOPSLA-2006-MaebeBEB #java #named #program analysis
Javana: a system for building customized Java program analysis tools (JM, DB, LE, KDB), pp. 153–168.
RERE-2006-LinLCSABBKDZ #automation #distributed #named #traceability
Poirot: A Distributed Tool Supporting Enterprise-Wide Automated Traceability (JL, CCL, JCH, RS, JA, GB, BB, OBK, CD, XZ), pp. 356–357.
RERE-2006-MaidenSGOM #mobile #requirements
Making Mobile Requirements Engineering Tools Usable and Useful (NAMM, NS, PG, OO, KM), pp. 26–35.
ASEASE-2006-Singer #evaluation #testing
Testing Tools and Techniques: A Mini-Tutorial on Evaluation Methods for ASE (JS), pp. 371–374.
ICSEICSE-2006-JurjensF #modelling #security
Tools for model-based security engineering (JJ, JF), pp. 819–822.
ICSEICSE-2006-SohnGSLCSC #case study #experience #open source
Experiences with place lab: an open source toolkit for location-aware computing (TS, WGG, JS, AL, YC, IES, MYC), pp. 462–471.
SACSAC-2006-KwonCC #grid
Light-weight service-oriented grid application toolkit (SK, JC, KC), pp. 1482–1486.
SACSAC-2006-SchiavoniQ #architecture #component #programming
A posteriori defensive programming: an annotation toolkit for DoS-resistant component-based architectures (VS, VQ), pp. 1734–1738.
SACSAC-2006-SriplakichBG #automation #distributed #integration
Supporting transparent model update in distributed CASE tool integration (PS, XB, MPG), pp. 1759–1766.
GPCEGPCE-2006-Riehl
Assimilating MetaBorg: : embedding language tools in languages (JR), pp. 21–28.
LDTALDTA-2006-JuergensP
The Language Evolver Lever — Tool Demonstration — (EJ, MP), pp. 55–60.
CASECASE-2006-DingYZA #clustering #evaluation #multi #nondeterminism #optimisation #performance #process
Performance Evaluation and Schedule Optimization of Multi-Cluster Tools with Process Times Uncertainty (SD, JY, MTZ, RAT), pp. 112–117.
CASECASE-2006-WuZ #clustering #constraints #petri net #scheduling
Schedulability and Scheduling of Dual-Arm Cluster Tools with Residency Time Constraints Based on Petri Net (NW, MZ), pp. 87–92.
CCCC-2006-LucasFW #compilation
The CGiS Compiler — A Tool Demonstration (PL, NF, RW), pp. 105–108.
DACDAC-2006-FlakeDS #design
System-level exploration tools for MPSoC designs (PF, SJD, FS), pp. 286–287.
DACDAC-2006-LiuMM #analysis #design #reliability
Design tools for reliability analysis (ZL, BM, JZM), pp. 182–187.
DACDAC-2006-SingheeFMR #probability #statistics #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
ExtensiveSlackBalance: an approach to make front-end tools aware of clock skew scheduling (KW, LD, XC), pp. 951–954.
DATEDATE-2006-MaciiPFADZ #design #matter #power management #question
Low-power design tools: are EDA vendors taking this matter seriously? (EM, MP, DF, RCA, AD, RZ), p. 1227.
DATEDATE-2006-X #architecture #design
4G applications, architectures, design methodology and tools for MPSoC, pp. 830–831.
HPDCHPDC-2006-ChingFLMC #parallel
Exploring I/O Strategies for Parallel Sequence-Search Tools with S3aSim (AC, WcF, HL, XM, ANC), pp. 229–240.
TACASTACAS-2006-GaravelMBCDJSS #distributed #generative
DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation (HG, RM, DB, AC, ND, CJ, ISS, GS), pp. 445–449.
CAVCAV-2006-SenA #model checking #testing
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools (KS, GA), pp. 419–423.
ICTSSTestCom-2006-CavalliMMMQ #case study #generative #industrial #testing
Application of Two Test Generation Tools to an Industrial Case Study (ARC, SM, WM, MM, YMQ), pp. 134–148.
DocEngDocEng-2005-SaxenaY
GroundTruth tools & technology: applications in real world (VS, SMY), pp. 223–224.
DRRDRR-2005-NartkerRL #research #testing
Software tools and test data for research and testing of page-reading OCR systems (TAN, SVR, SEL), pp. 37–47.
ICDARICDAR-2005-EglinBRE #biology #categorisation
Biological inspired Tools for Patrimonial Handwriting Denoising and Categorization (VE, SB, CR, HE), pp. 59–63.
JCDLJCDL-2005-Paynter #automation #evaluation #internet #metadata
Developing practical automatic metadata assignment and evaluation tools for internet resources (GWP), pp. 291–300.
JCDLJCDL-2005-TomsDLB
Assessing tools for use with webcasts (EGT, CD, JL, RB), pp. 79–88.
CSEETCSEET-2005-Liu #communication #issue tracking #learning #re-engineering #student #using
Using Issue Tracking Tools to Facilitate Student Learning of Communication Skills in Software Engineering Courses (CL), pp. 61–68.
ITiCSEITiCSE-2005-WermelingerD #automaton #formal method #prolog
A prolog toolkit for formal languages and automata (MW, AMD), pp. 330–334.
SIGITESIGITE-2005-AthaudaKWSREGS #dot-net #education #industrial #java #platform
Integrating industrial technologies, tools and practices to the IT curriculum: an innovative course with .NET and java platforms (RIA, NK, JW, PS, LR, AE, AG, DDS), pp. 125–132.
SIGITESIGITE-2005-WillisM #learning
Mind tools for enhancing thinking and learning skills (CLW, SLM), pp. 249–254.
CSMRCSMR-2005-PentaT #automation #evolution #re-engineering #towards
Towards the Automatic Evolution of Reengineering Tools (MDP, KT), pp. 241–244.
ICSMEICSM-2005-JinC #analysis #integration #ontology #re-engineering
Ontology-Based Software Analysis and Reengineering Tool Integration: The OASIS Service-Sharing Methodology (DJ, JRC), pp. 613–616.
ICSMEICSM-2005-KapserG
Improved Tool Support for the Investigation of Duplication in Software (CK, MWG), pp. 305–314.
ICSMEICSM-IT-2005-NyaryPHK #cobol #legacy #maintenance #repository
Supporting the Maintenance of legacy COBOL Applications with Tools for Repository Management and Viewing (EN, GP, MH, ZK), pp. 5–10.
IWPCIWPC-2005-Koskinen
HyperSoft System: Tool Demonstration and Use Example (JK), pp. 153–156.
IWPCIWPC-2005-Reiss #java #specification
Tool Demonstration: CHET: Checking Specifications in Java Systems (SPR), pp. 165–168.
IWPCIWPC-2005-ReissR #java
Tool Demonstration: JIVE and JOVE: Java as it Happens (SPR, MR), pp. 169–172.
IWPCIWPC-2005-Storey #comprehension #past present future
Theories, Methods and Tools in Program Comprehension: Past, Present and Future (MADS), pp. 181–191.
MSRMSR-2005-GermanCS #comprehension #development #framework #mining
A framework for describing and understanding mining tools in software development (DMG, DC, MADS), pp. 31–35.
IFLIFL-2005-EekelenM #proving #strict
Proof Tool Support for Explicit Strictness (MCJDvE, MdM), pp. 37–54.
CHICHI-2005-HeerCL #interactive #named #visualisation
prefuse: a toolkit for interactive information visualization (JH, SKC, JAL), pp. 421–430.
CHICHI-2005-HudsonMS
Extensible input handling in the subArctic toolkit (SEH, JM, IES), pp. 381–390.
VISSOFTVISSOFT-2005-SchaferM #flexibility #towards #visualisation
Towards More Flexibility in Software Visualization Tools (TS, MM), pp. 64–69.
CAiSECAiSE-2005-CabibboC #inheritance #relational
Managing Inheritance Hierarchies in Object/Relational Mapping Tools (LC, AC), pp. 135–150.
CAiSECAiSE-2005-MammarRGSG #named #performance #transaction
Efficient: A Toolset for Building Trusted B2B Transactions (AM, SR, BG, MSI, NG), pp. 430–445.
CAiSECAiSE-2005-RussellAHE #identification #representation #workflow
Workflow Resource Patterns: Identification, Representation and Tool Support (NR, WMPvdA, AHMtH, DE), pp. 216–232.
ICEISICEIS-v1-2005-ArandaVCP #elicitation
Choosing Groupware Tools and Elicitation Techniques According to Stakeholders’ Features (GNA, AV, AC, MP), pp. 68–75.
ICEISICEIS-v5-2005-BadjioP #data mining #metric #mining #quality #visual notation
Visual Data Mining Tools: Quality Metrics Definition and Application (EPFB, FP), pp. 98–103.
ICEISICEIS-v5-2005-BeaudouxB #named
OPENDPI: A Toolkit for Developing Document-Centered Environments (OB, MBL), pp. 39–47.
LSOLSO-2005-BuchH #information management #people
Substance, People, and Tools — Knowledge Management at sd&m (AB, BH), pp. 115–118.
SEKESEKE-2005-AsawateeraR #automation #implementation #multi #uml
The Implementation of Multi Agents Awareness System for CSCW UML CASE Tools (PA, SR), pp. 735–738.
MODELSMoDELS-2005-VokacG #case study #challenge #domain-specific language #experience #multi #using
Using a Domain-Specific Language and Custom Tools to Model a Multi-tier Service-Oriented Application — Experiences and Challenges (MV, JMG), pp. 492–506.
MODELSMoDELS-2005-VokacG #case study #challenge #domain-specific language #experience #multi #using
Using a Domain-Specific Language and Custom Tools to Model a Multi-tier Service-Oriented Application — Experiences and Challenges (MV, JMG), pp. 492–506.
OOPSLAOOPSLA-2005-PaceC #architecture #modelling #named #object-oriented
ArchMatE: from architectural styles to object-oriented models through exploratory tool support (JADP, MRC), pp. 117–132.
PLDIPLDI-2005-LukCMPKLWRH #named #program analysis
Pin: building customized program analysis tools with dynamic instrumentation (CKL, RSC, RM, HP, AK, PGL, SW, VJR, KMH), pp. 190–200.
SASSAS-2005-KodumalA #analysis #constraints #named #scalability
Banshee: A Scalable Constraint-Based Analysis Toolkit (JK, AA), pp. 218–234.
ASEASE-2005-ErikssonMBB #case study #modelling #product line
The PLUSS toolkit — extending telelogic DOORS and IBM-rational rose to support product line use case modeling (ME, HM, JB, KB), pp. 300–304.
ASEASE-2005-WuG #automation #domain-specific language #generative #testing
Automated generation of testing tools for domain-specific languages (HW, JG), pp. 436–439.
GTTSEGTTSE-2005-GeigerZ
Developing Tools with Fujaba XProM (LG, AZ), pp. 344–356.
ICSEICSE-2005-GortonZ #architecture #case study #evaluation #experience #re-engineering
Tool support for just-in-time architecture reconstruction and evaluation: an experience report (IG, LZ), pp. 514–523.
ICSEICSE-2005-Jurjens #effectiveness #modelling #security #uml
Sound methods and effective tools for model-based security engineering with UML (JJ), pp. 322–331.
ICSEICSE-2005-NagappanB05a #fault #static analysis
Static analysis tools as early indicators of pre-release defect density (NN, TB), pp. 580–586.
SACSAC-2005-Atterer #web
Where web engineering tool support ends: building usable websites (RA), pp. 1684–1688.
SACSAC-2005-GrunerN #detection #documentation
Tool support for plagiarism detection in text documents (SG, SN), pp. 776–781.
ATEMATEM-2004-JinC05 #integration #ontology #reverse engineering
Factbase Filtering Issues in an Ontology-Based Reverse Engineering Tool Integration System (DJ, JRC), pp. 65–75.
ATEMATEM-2004-Lammel05c
The Amsterdam Toolkit for Language Archaeology (RL), pp. 43–55.
LDTALDTA-2005-BrandCOV #debugging #framework #named
TIDE: A Generic Debugging Framework — Tool Demonstration (MvdB, BC, PAO, JJV), pp. 161–165.
DACDAC-2005-BlaauwC
CAD tools for variation tolerance (DB, KC), p. 766.
DATEDATE-2005-RosenstielBGGKLMMMS #question
Is there a Market for SystemC Tools? (WR, RAB, FG, TG, MK, MCvL, AM, MM, MM, SS), p. 950.
FASEFASE-2005-JurjensS #analysis #development #security #uml
Tools for Secure Systems Development with UML: Security Analysis with ATPs (JJ, PS), pp. 305–309.
TACASTACAS-2005-MargariaNS #integration #named
jETI: A Tool for Remote Tool Integration (TMS, RN, BS), pp. 557–562.
ICTSSTestCom-2005-WagnerJKT #debugging #testing
Comparing Bug Finding Tools with Reviews and Tests (SW, JJ, CK, PT), pp. 40–55.
JCDLJCDL-2004-KochummanMDFU #generative
Tools for a new generation of scholarly edition unified by a tei-based interchange format (RK, CM, JD, RF, EU), pp. 368–369.
SIGMODSIGMOD-2004-AndritsosMT #database #mining #scalability #set
Information-Theoretic Tools for Mining Database Structure from Large Data Sets (PA, RJM, PT), pp. 731–742.
SIGMODSIGMOD-2004-HullS #design #web #web service
Tools for Design of Composite Web Services (RH, JS), pp. 958–961.
CSEETCSEET-2004-AlfertPS #education #modelling #re-engineering
Software Engineering Education Needs Adequate Modeling Tools (KA, JP, JS), pp. 72–77.
ITiCSEITiCSE-2004-Ben-Ari #concurrent #education
A suite of tools for teaching concurrency (MBA), p. 251.
ITiCSEITiCSE-2004-PaciniFF #database #learning #problem #spreadsheet
Learning problem solving with spreadsheet and database tools (GP, GF, AF), p. 267.
ITiCSEITiCSE-WGR-2004-BoyerC #compilation #design #implementation
ICE™ and ICE/T™: tools to assist in compiler design and implementation (TPB, MC), pp. 55–57.
SIGITESIGITE-2004-WillisM #exclamation #tablet
Tablet PC’s as Instructional Tools or the Pen is Mightier than the ’Board! (CLW, LM), pp. 153–159.
CSMRCSMR-2004-LagoNV #evolution
Tool Support for Traceable Product Evolution (PL, EN, HvV), pp. 261–269.
ICSMEICSM-2004-TeohW #source code
Tools for Extracting Software Structure from Compiled Programs (HST, DBW), p. 526.
PASTEPASTE-2004-BusCSPB #design #flexibility #implementation
The design and implementation of FIT: a flexible instrumentation toolkit (BDB, DC, BDS, LVP, KDB), pp. 29–34.
WCREWCRE-2004-LakhotiaP #analysis #research
Virus Analysis: Techniques, Tools, and Research Issues (AL, PP), p. 2.
SEFMSEFM-2004-Sinnott #development #realtime
The Formal, Tool Supported Development of Real Time Systems (ROS), pp. 388–395.
SFMSFM-2004-BozgaGOOS
The IF Toolset (MB, SG, IO, IO, JS), pp. 237–267.
AFPAFP-2004-AchtenEPW04 #agile #interactive #named #prototype #type safety
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications (PA, MCJDvE, RP, AvW), pp. 210–244.
ICGTICGT-2004-BeckerLW #execution #graph #incremental #integration #interactive
Rule Execution in Graph-Based Incremental Interactive Integration Tools (SMB, SL, BW), pp. 22–38.
CHICHI-2004-JensenP #evaluation #online #policy #privacy
Privacy policies as decision-making tools: an evaluation of online privacy notices (CJ, CP), pp. 471–478.
CHICHI-2004-KlemmerLLL #named
Papier-Mache: toolkit support for tangible input (SRK, JL, JL, JAL), pp. 399–406.
CHICHI-2004-LuchiniQS #design #guidelines
Design guidelines for learner-centered handheld tools (KL, CQ, ES), pp. 135–142.
CHICHI-2004-ShenVFR #interactive #named
DiamondSpin: an extensible toolkit for around-the-table interaction (CS, FV, CF, MR), pp. 167–174.
CSCWCSCW-2004-BarrettKMHTP #analysis
Field studies of computer system administrators: analysis of system management tools and practices (RB, EK, PPM, EMH, LT, MP), pp. 388–395.
CAiSECAiSE-2004-Matulevicius #case study #how #quality #requirements #specification
How Requirements Specification Quality Depends on Tools: A Case Study (RM), pp. 353–367.
ICEISICEIS-v2-2004-CamargoFPS #network
Neural Network and Time Series as Tools for Sales Forecasting (MC, WPF, MP, AS), pp. 476–478.
ICEISICEIS-v2-2004-DoP #data mining #mining #towards #visualisation
Towards High Dimensional Data Mining with Boosting of PSVM and Visualization Tools (TND, FP), pp. 36–41.
ICEISICEIS-v3-2004-LeeuwenDL #architecture #enterprise #integration #modelling
A Tool Integration Workbench for Enterprise Architecture — Integrating Heterogeneous Models and Tools (DvL, HWLtD, MML), pp. 470–478.
ICEISICEIS-v5-2004-BadjioP #data mining #mining #usability #visual notation
Usability of Visual Data Mining Tools (EPFB, FP), pp. 254–258.
ICEISICEIS-v5-2004-KotzeC #authoring #heuristic
Heuristics Supporting Usable Authoring Tools (PK, EC), pp. 169–178.
ICEISICEIS-v5-2004-Sneiders
Tool Support for Legal Enquiry: Focus on Spatial-Planning Law (ES), pp. 289–294.
ICPRICPR-v2-2004-Ho #interactive
Interactive Tools for Pattern Discovery (TKH), pp. 509–512.
ICPRICPR-v4-2004-OuelletH #geometry #image #quality
Developing Assistant Tools for Geometric Camera Calibration: Assessing the Quality of Input Images (JNO, PH), pp. 80–83.
LSOLSO-2004-ChauM #agile #learning
Tool Support for Inter-team Learning in Agile Software Organizations (TC, FM), pp. 98–109.
LSOLSO-2004-SantosVSRT #development #ontology
Building Ontology Based Tools for a Software Development Environment (GS, KV, LS, ARR, GHT), pp. 19–30.
SPLCSPLC-2004-Greenfield #framework #modelling
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools (JG), p. 304.
SPLCSPLC-2004-Greenfield04a #domain-specific language #framework #using
Using Domain-Specific Languages, Patterns, Frameworks, and Tools to Assemble Applications (JG), p. 324.
PEPMPEPM-2004-SmaragdakisHZ #generative
Program generators and the tools to make them (YS, SSH, DZ), pp. 92–100.
PPDPPPDP-2004-Smaragdakis #generative
Invited talk: program generators and the tools to make them (YS), pp. 7–8.
SASSAS-2004-Smaragdakis #generative
Program Generators and the Tools to Make Them (YS), pp. 19–20.
RERE-2004-HoffmannKWB #requirements
Requirements for Requirements Management Tools (MH, NK, MW, MB), pp. 301–308.
RERE-2004-Kaindl #requirements
Active Tool Support for Requirements Engineering Through RETH (HK), pp. 362–363.
ASEASE-2004-CaoGHST #architecture #generative
An Architecture for Generating Web-Based, Thin-Client Diagramming Tools (SC, JCG, JGH, HS, EDT), pp. 270–273.
ASEASE-2004-JansenB #architecture #evaluation #evolution
Evaluation of Tool Support for Architectural Evolution (AJ, JB), pp. 375–378.
ASEASE-2004-Seyff #collaboration #mobile #requirements
Collaborative Tools for Mobile Requirements Acquisition (NS), pp. 426–429.
FSEFSE-2004-ZitserLL #open source #source code #static analysis #testing #using
Testing static analysis tools using exploitable buffer overflows from open source code (MZ, RL, TL), pp. 97–106.
ICSEICSE-2004-BlackS #named
Traits: Tools and Methodology (APB, NS), pp. 676–686.
ICSEICSE-2004-SeyffGMT #mobile #requirements
Requirements Engineering Tools Go Mobile (NS, PG, NAMM, AT), pp. 713–714.
ICSEICSE-2004-Tenzer #design #game studies #uml
Improving UML Design Tools by Formal Games (JT), pp. 75–77.
GPCEGPCE-2004-Greenfield #framework #modelling
Software Factories: Assembling Applications with Patterns, Models, Frameworks and Tools (JG), p. 488.
LDTALDTA-2004-BegelG #ambiguity #analysis
Language Analysis and Tools for Ambiguous Input Streams (AB, SLG), pp. 75–96.
LDTALDTA-2004-BrandIM04a
The Action Environment: — Tool Demonstration -- (MvdB, JI, PDM), pp. 177–180.
LDTALDTA-2004-Cordy #named #programming language #txl
TXL — A Language for Programming Language Tools and Applications (JRC), pp. 3–31.
LDTALDTA-2004-JohnstoneSE04a
The GTB and PAT tools (AJ, ES, GRE), pp. 173–175.
LDTALDTA-2004-Tavernier #automaton #named #user interface #visual notation
Calife: A Generic Graphical User Interface for Automata Tools (BT), pp. 169–172.
DACDAC-2004-KorsmeyerZG #design
Design tools for BioMEMS (TK, JZ, KG), pp. 622–628.
DATEDATE-DF-2004-ChuDPSL #architecture
Customisable EPIC Processor: Architecture and Tools (WWSC, RGD, SP, SPS, WL), pp. 236–241.
DATEDATE-v1-2004-BriereCMMOG #behaviour #design #modelling
Design and Behavioral Modeling Tools for Optical Network-on-Chip (MB, LC, TM, FM, IO, FG), pp. 738–739.
DATEDATE-v1-2004-BurnsSKY #synthesis #using
An Asynchronous Synthesis Toolset Using Verilog (FPB, DS, AK, AY), pp. 724–725.
DATEDATE-v1-2004-LapalmeANCBDB #dot-net #framework #generative #modelling #simulation
.NET Framework — A Solution for the Next Generation Tools for System-Level Modeling and Simulation (JL, EMA, GN, LC, FRB, JPD, GB), pp. 732–733.
HPDCHPDC-2004-DahanTRSUWB #grid
Grid Portal Toolkit 3.0 (GridPort) (MD, MT, ER, AS, TU, DW, JRB), pp. 272–273.
LCTESLCTES-2004-QinRM #architecture #concurrent #development #modelling #synthesis
A formal concurrency model based architecture description language for synthesis of software development tools (WQ, SR, SM), pp. 47–56.
CAVCAV-2004-RameshSDCV #modelling #verification
A Toolset for Modelling and Verification of GALS Systems (SR, SS, VD, NC, BV), pp. 506–509.
IJCARIJCAR-2004-MeseguerR #analysis #formal method #logic #semantics #specification
Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools (JM, GR), pp. 1–44.
ICTSSTestCom-2004-BatteramHRHRV #component #implementation #open source #testing
Implementation of an Open Source Toolset for CCM Components and Systems Testing (HJB, WH, WAR, AH, AR, AV), pp. 1–16.
VLDBVLDB-2003-CeriM #web
Constructing and integrating data-centric Web Applications: Methods, Tools, and Techniques (SC, IM), p. 1151.
VLDBVLDB-2003-LubbersGJ #data mining #development #quality
Systematic Development of Data Mining-Based Data Quality Tools (DL, UG, MJ), pp. 548–559.
CSEETCSEET-2003-KlappholzBPD04 #assessment #development #education #process
Tools for Outcomes Assessment of Education and Training in the Software Development Process (DK, LB, DP, PD), p. 331–?.
ITiCSEITiCSE-2003-LassCBCPHZ #off the shelf #scalability #using
Tools and techniques for large scale grading using Web-based commercial off-the-shelf software (RNL, CDC, NTB, BWC, JLP, NH, PZ), pp. 168–172.
CSMRCSMR-2003-JiangS #case study #difference
Exploring Differences in Exchange Formats — Tool Support and Case Studies (JJ, TS), pp. 389–398.
CSMRCSMR-2003-JinCD #adaptation #concept #integration #reverse engineering #transaction #using
Transparent Reverse Engineering Tool Integration Using a Conceptual Transaction Adapter (DJ, JRC, TRD), pp. 399–408.
ICSMEICSM-2003-Baxter #architecture #automation #re-engineering
Massively Reengineering Architectures With Automated Tools (IDB), p. 463.
ICSMEICSM-2003-OhstWK #analysis #design #difference #documentation
Difference Tools for Analysis and Design Documents (DO, MW, UK), pp. 13–22.
IWPCIWPC-2003-HennessyMP #comprehension #named #xml
gccXfront: Exploiting gcc as a Front End for Program Comprehension Tools via XML/XSLT (MH, BAM, JFP), p. 298–?.
WCREWCRE-2003-PacioneRW #comparative #evaluation #visualisation
Comparative Evaluation of Dynamic Visualisation Tools (MJP, MR, MW), pp. 80–89.
WCREWCRE-2003-VinciguerraWKMV #c++ #decompiler #framework #java
An Experimentation Framework for Evaluating Disassembly and Decompilation Tools for C++ and Java (LV, LMW, NK, PM, RLV), pp. 14–23.
WCREWCRE-2003-ZhuCKWKM #reverse engineering
Leveraging Visio for Adoption-Centric Reverse Engineering Tools (QZ, YC, PK, AW, HMK, HAM), pp. 270–274.
HaskellHaskell-2003-Hallgren #haskell
Haskell tools from the programatica project (TH), pp. 103–106.
HaskellHaskell-2003-LiRT #functional #refactoring #source code
Tool support for refactoring functional programs (HL, CR, SJT), pp. 27–38.
AGTIVEAGTIVE-2003-AssmannL #graph grammar #standard
Integrating Graph Rewriting and Standard Software Tools (UA, JL), pp. 134–148.
AGTIVEAGTIVE-2003-HellerJ #development #distributed #graph #process
Graph-Based Tools for Distributed Cooperation in Dynamic Development Processes (MH, DJ), pp. 352–368.
AGTIVEAGTIVE-2003-Kraft #concept #design
Conceptual Design Tools for Civil Engineering (BK), pp. 434–439.
AGTIVEAGTIVE-2003-KraftN #concept #design #specification
Parameterized Specification of Conceptual Design Tools in Civil Engineering (BK, MN), pp. 90–105.
AGTIVEAGTIVE-2003-Westfechtel #named #reverse engineering
E-CARES — Telecommunication Re- and Reverse Engineering Tools (AM, BW), pp. 440–445.
CHICHI-2003-BaileyK #design #multi
Are informal tools better?: comparing DEMAIS, pencil and paper, and authorware for early multimedia design (BPB, JAK), pp. 313–320.
CHICHI-2003-BallagasRSB #named #physics #ubiquitous #user interface
iStuff: a physical user interface toolkit for ubiquitous computing environments (RB, MR, MCS, JOB), pp. 537–544.
CHICHI-2003-KitamuraYHKK
Things happening in the brain while humans learn to use new tools (YK, YY, HI, FK, MK), pp. 417–424.
SOFTVISSOFTVIS-2003-Tudoreanu #design #effectiveness #visualisation
Designing Effective Program Visualization Tools for Reducing User’s Cognitive Effort (MET), pp. 105–114.
EDOCEDOC-2003-MoonLPC #modelling
ebXML BP Modeling Toolkit (JM, DL, CP, HC), pp. 296–301.
ICEISICEIS-v1-2003-RossiterNH #formal method #information management #middleware
Formalizing Types with Ultimate Closure for Middleware Tools in Information Systems Engineering (BNR, DAN, MAH), pp. 366–373.
ICEISICEIS-v3-2003-CostagliolaFRTL #agile #development #modelling #process
Rapid Development of Process Modeling Tools (GC, RF, MR, GT, ADL), pp. 301–306.
MLDMMLDM-2003-Bunke #data mining #graph #machine learning #mining
Graph-Based Tools for Data Mining and Machine Learning (HB), pp. 7–19.
SEKESEKE-2003-MenziesKF #automation #re-engineering #reduction
Improved Software Engineering Decision Support Through Automatic Argument Reduction Tools (TM, JDK, MSF), pp. 655–662.
UMLUML-2003-LohmannSS #development #modelling #named #web
ProGUM-Web: Tool Support for Model-Based Development of Web Applications (ML, SS, TS), pp. 101–105.
AdaEuropeAdaEurope-2003-Mikkonen #case study #experience #specification #using
Experiences on Developing and Using a Tool Support for Formal Specification (TM), pp. 297–308.
RERE-2003-RifautMMPSLV #analysis #formal method #named #specification #using
FAUST: Formal Analysis Using Specification Tools (AR, PM, JFM, CP, PS, AvL, HTV), p. 350.
ASEASE-2003-SturmerC #code generation #design #testing
Test Suite Design for Code Generation Tools (IS, MC), pp. 286–290.
ESEC-FSEESEC-FSE-2003-Jaaksi
Assessing software projects: tools for business owners (AJ), pp. 15–18.
ICSEICSE-2003-CoppitS #analysis #effectiveness #modelling
Sound Methods and Effective Tools for Engineering Modeling and Analysis (DC, KJS), pp. 198–209.
ICSEICSE-2003-MarburgerW #behaviour #comprehension
Tools for Understanding the Behavior of Telecommunication Systems (AM, BW), pp. 430–443.
SACSAC-2003-XuKTONOS #biology #database #set
Pathways Database System: An Integrated Set of Tools for Biological Pathways (WX, LK, MT, , JHN, ZMÖ, GS), pp. 96–102.
GPCEGPCE-2003-ChibaN #bytecode #java #performance
An Easy-to-Use Toolkit for Efficient Java Bytecode Translators (SC, MN), pp. 364–376.
GPCEGPCE-2003-SaraivaS #attribute grammar #generative
Generating Spreadsheet-Like Tools from Strong Attribute Grammars (JS, SDS), pp. 307–323.
DACDAC-2003-GuptaKSY #off the shelf
A cost-driven lithographic correction methodology based on off-the-shelf sizing tools (PG, ABK, DS, JY), pp. 16–21.
DACDAC-2003-SoDH #behaviour #design #synthesis #using
Using estimates from behavioral synthesis tools in compiler-directed design space exploration (BS, PCD, MWH), pp. 514–519.
DATEDATE-2003-MuellerSEW #integration #network
Dynamic Tool Integration in Heterogeneous Computer Networks (WM, TS, HJE, JW), pp. 10946–10953.
DATEDATE-2003-NicolescuV #approach #detection #fault
Detecting Soft Errors by a Purely Software Approach: Method, Tools and Experimental Results (BN, RV), pp. 20057–20063.
LCTESLCTES-2003-SureshNVVS #clustering #embedded #hardware #profiling
Profiling tools for hardware/software partitioning of embedded applications (DCS, WAN, FV, JRV, GS), pp. 189–198.
TACASTACAS-2003-UchitelCKM #behaviour #named #using
LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios (SU, RC, JK, JM), pp. 597–601.
DocEngDocEng-2002-ForwardL #documentation #overview
The relevance of software documentation, tools and technologies: a survey (AF, TCL), pp. 26–33.
TPDLECDL-2002-KhooDS #functional #online #requirements
Functional Requirements for Online Tools to Support Community-Led Collections Building (MK, HD, TS), pp. 190–203.
JCDLJCDL-2002-CorfieldDMT #xml
JAFER ToolKit project: interfacing Z39.50 and XML (AC, MJD, RM, CT), pp. 289–290.
SIGMODSIGMOD-2002-PhanN #analysis #named
GEA: a toolkit for gene expression analysis (JMP, RTN), p. 628.
ITiCSEITiCSE-2002-HansenR #collaboration #education #learning #modelling #object-oriented
Tool support for collaborative teaching and learning of object-oriented modeling (KMH, AVR), pp. 146–150.
ITiCSEITiCSE-2002-Schreiner #algorithm #distributed #education #java
A java toolkit for teaching distributed algorithms (WS), pp. 111–115.
ITiCSEITiCSE-2002-VanDeGriftA #assessment #framework #learning
Learning to support the instructor: classroom assessment tools as discussion frameworks in CS 1 (TV, RJA), pp. 19–23.
CSMRCSMR-2002-AlbaneseBGT #case study #migration
A Toolkit for Applying a Migration Strategy: A Case Study (CA, TB, EG, MT), pp. 154–163.
CSMRCSMR-2002-AversanoCLG #case study #documentation #using #web #workflow #xml
Integrating Document and Workflow Management Tools using XML and Web Technologies: A Case Study (LA, GC, ADL, PG), p. 24–?.
CSMRCSMR-2002-JahnkeWZ #concept #design
A History Concept for Design Recovery Tools (JHJ, JPW, AZ), pp. 37–46.
ICSMEICSM-2002-RotschkeK #analysis #architecture #evolution #industrial #scalability
Architecture Analysis Tools to Support Evolution of Large Industrial Systems (TR, RLK), pp. 182–191.
ICSMEICSM-2002-WilkieH #complexity #object-oriented
Tool Support for Measuring Complexity in Heterogeneous Object-Oriented Software (FGW, TJH), pp. 152–161.
IWPCIWPC-2002-DeursenV #combinator #comprehension #using #visitor
Building Program Understanding Tools Using Visitor Combinators (AvD, JV), pp. 137–146.
IWPCIWPC-2002-TeleaMR #architecture #visualisation
An Open Visualization Toolkit for Reverse Architecting (ACT, AM, CR), pp. 3–10.
IWPCIWPC-2002-TilleyH #comprehension #industrial #on the #visualisation
On Selecting Software Visualization Tools for Program Understanding in an Industrial Context (SRT, SH), pp. 285–288.
IWPCIWPC-2002-Walenstein #analysis #comprehension
Theory-based Analysis of Cognitive Support in Software Comprehension Tools (AW), pp. 75–84.
SCAMSCAM-2002-BurdB #clone detection #detection #maintenance
Evaluating Clone Detection Tools for Use during Preventative Maintenance (EB, JB), pp. 36–43.
DiGRACGDC-2002-SuomelaMRK #artificial reality #design #interactive
Augmented Reality for a Casual User: Designing Tools for Interaction with the Virtual World (RS, JM, ER, TK).
CHICHI-2002-McGeeCWH #multimodal
Comparing paper and tangible, multimodal tools (DM, PRC, RMW, SH), pp. 407–414.
CHICHI-2002-MontemayorDFSCD #design #interactive #physics #programming
Physical programming: designing tools for children to create physical interactive environments (JM, AD, AF, SS, WC, AD), pp. 299–306.
CSCWCSCW-2002-PranteMS #design #empirical #idea
Developing CSCW tools for idea finding -: empirical results and implications for design (TP, CM, NAS), pp. 106–115.
CAiSECAiSE-2002-SuI #case study #comparative #ontology
A Comparative Study of Ontology Languages and Tools (XS, LI), pp. 761–765.
ICEISICEIS-2002-BodorikBJ #middleware #monitoring
Toolkit for QoS Monitoring in Middleware (PB, SB, DNJ), pp. 244–249.
LSOLSO-2002-Henninger
Tool Support for Experience-Based Methodologies (SH), pp. 44–59.
SEKESEKE-2002-CanforaT #evaluation #nondeterminism #re-engineering
The importance of dealing with uncertainty in the evaluation of software engineering methods and tools (GC, LT), pp. 691–698.
PEPMPEPM-2002-BischofHN #automation #difference #implementation
Implementation of automatic differentiation tools (CHB, PDH, BN), pp. 98–107.
ASEASE-2002-Le #process
Process Support for Tools Interoperability (ATL), p. 314.
ICSEICSE-2002-Puett #development #framework #modelling
Holistic framework for establishing interoperability of heterogeneous software development tools and models (JP), pp. 729–730.
ICSEICSE-2002-UchitelSZ #algorithm #modelling #state machine
Scenarios and state machines: models, algorithms, and tools (SU, TS, AZ), pp. 659–660.
LDTALDTA-2002-HenriquesPMLAZ #automation #generative
Automatic Generation of Language-based Tools (PRH, MJVP, MM, ML, EA, VZ), pp. 77–96.
CCCC-2002-NeculaMRW #analysis #c #named #source code
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (GCN, SM, SPR, WW), pp. 213–228.
DACDAC-2002-KahngCGLNRH #question
Tools or users: which is the bigger bottleneck? (ABK, RC, PG, LL, NN, PKR, LvdH), pp. 76–77.
DACDAC-2002-KondratyevL #design
Design of asynchronous circuits by synchronous CAD tools (AK, KL), pp. 411–414.
DACDAC-2002-SmithNMCFKMB #embedded #question
Unified tools for SoC embedded systems: mission critical, mission impossible or mission irrelevant? (GS, DN, SM, RC, JF, KK, GM, BB), p. 479.
DATEDATE-2002-GuarnieriCASHZ #question
EDA Tools for RF: Myth or Reality? (LG, EC, CA, SS, MH, XZ), pp. 292–293.
HPDCHPDC-2002-AllenDDGKLNRRRSW #grid
The GridLab Grid Application Toolkit (GA, KD, TD, TG, IK, GL, JN, TR, KR, MR, ES, OW), p. 411.
OSDIOSDI-2002-QiePP #programming #using
Defensive Programming: Using an Annotation Toolkit to Build DoS-Resistant Software (XQ, RP, LLP), pp. 45–60.
PDPPDP-2002-AugeratMS #clustering #monitoring #scalability
Scalable Monitoring and Configuration Tools for Grids and Clusters (PA, CM, BdOS), pp. 147–153.
PDPPDP-2002-KacsukSKV #distributed #parallel #programming
Parallel and Distributed Programming Tools for Grids (PK, WS, DK, JV), pp. 137–138.
ESOPESOP-2002-Horwitz #test coverage
Tool Support for Improving Test Coverage (SH), pp. 162–177.
FASEFASE-2002-BaresiGMP #design #metamodelling #web
Meta-modeling Techniques Meet Web Application Design Tools (LB, FG, LM, PP), pp. 294–307.
TACASTACAS-2002-Lowry #analysis
Software Construction and Analysis Tools for Future Space Missions (MRL), pp. 1–19.
HTHT-2001-Bernstein #hypermedia
Card shark and thespis: exotic tools for hypertext narrative (MB), pp. 41–50.
HTHT-2001-HarperGS #prototype #visual notation
Prototype mobility tools for visually impaired surfers (SH, CAG, RS), pp. 33–34.
HTHT-2001-Wideroos #process
Awt (Associative writing tool): supporting writing process with a ZigZag based writing tool — work in progress (KW), pp. 35–36.
JCDLJCDL-2001-GreenIG #protocol
SDLIP + STARTS = SDARTS a protocol and toolkit for metasearching (NG, PGI, LG), pp. 207–214.
ICSMEICSM-2001-JongeM #effectiveness #maintenance
Cost-Effective Maintenance Tools for Proprietary Languages (MdJ, RM), pp. 240–249.
IWPCIWPC-2001-BassilK #analysis #overview #visualisation
Software Visualization Tools: Survey and Analysis (SB, RKK), pp. 7–17.
IWPCIWPC-2001-GannodC #formal method #reverse engineering #using
A Suite of Tools for Facilitating Reverse Engineering Using Formal Methods (GCG, BHCC), pp. 221–232.
IWPCIWPC-2001-LangeWS #comprehension #graph #relational
Comparing Graph-Based Program Comprehension Tools to Relational Database-Based Tools (CL, AW, HMS), pp. 209–218.
IWPCIWPC-2001-Lethbridge #re-engineering
Report from the Dagstuhl Seminar on Interoperability of Reengineering Tools (TCL), p. 119.
IWPCIWPC-2001-ZayourL #reverse engineering
Adoption of Reverse Engineering Tools: A Cognitive Perspective and Methodology (IZ, TCL), pp. 245–255.
SCAMSCAM-2001-Vanter #source code
Preserving the Documentary Structure of Source Code in Language-Based Transformation Tools (MvdV), pp. 133–143.
CHICHI-2001-SchkolnePS #3d
Surface drawing: creating organic 3D shapes with the hand and tangible tools (SS, MP, PS), pp. 261–268.
VISSOFTSVIS-2001-CrescenziI #network #protocol #taxonomy #towards #visualisation
Towards a Taxonomy of Network Protocol Visualization Tools (PC, GI), pp. 241–255.
CAiSECAiSE-2001-WieringaJ #design
Techniques for Reactive System Design: The Tools in TRADE (RW, DNJ), pp. 93–107.
EDOCEDOC-2001-NealL #development #using
Tool Support for Development Using Patterns (SWN, PFL), p. 237–?.
ICEISICEIS-v1-2001-MedinaT
Front-End Tools in Data Warehousing: Informix Metacube (ROLAP) vs. Cognos Powerplay (MOLAP) (EM, JT), pp. 10–18.
ICEISICEIS-v1-2001-Orchard #fuzzy #reasoning
Fuzzy Reasoning in JESS: The Fuzzyj Toolkit and Fuzzyjess (RO), pp. 533–542.
ICEISICEIS-v2-2001-Rak #design #development
Modern Tools for Development and Design of Virtual Instruments (RJR), pp. 1166–1169.
ICEISICEIS-v2-2001-Riedl #architecture #corba #distributed #network #xml
A CORBA/XML-Based Architecture for Distributed Network Planning Tools (AR), pp. 926–933.
KDDKDD-2001-TrainaTPF #data mining #mining #multi #named #scalability
Tri-plots: scalable tools for multidimensional data mining (AJMT, CTJ, SP, CF), pp. 184–193.
TOOLSTOOLS-EUROPE-2001-GouveiaKAF #coordination #evolution
Tool Support for Coordination-Based Software Evolution (JG, GK, LFA, JLF), pp. 184–196.
TOOLSTOOLS-USA-2001-Devos #design #developer
A Whack on the Side of the Designer’s Head: A Toolkit for the Creative Developer (MMD), p. 391.
AdaEuropeAdaEurope-2001-FoulgerK #fault #runtime #safety #using
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software (DF, SK), pp. 229–240.
PADLPADL-2001-IglesiasGPRM #approach #logic programming
Interoperability between Bioinformatics Tools: A Logic Programming Approach (JRI, GG, EP, DR, BM), pp. 153–168.
ASEASE-2001-ArdourelH #encapsulation #graph
AGATE, Access Graph-Based Tools for Handling Encapsulation (GA, MH), pp. 311–314.
ASEASE-2001-ShenCH #state machine #uml #validation
A UML Validation Toolset Based on Abstract State Machines (WS, KJC, JH), pp. 315–318.
ICSEICSE-2001-KamiyaOKKI #java #maintenance #source code
Maintenance Support Tools for JAVA Programs: CCFinder and JAAT (TK, FO, KK, SK, KI), pp. 837–838.
ICSEICSE-2001-KoskinenPSSK #uml
Model Processing Tools in UML (JK, JP, PS, TS, KK), pp. 819–820.
ICSEICSE-2001-StirewaltD #analysis #approach #component #formal method
A Component-Based Approach to Building Formal Analysis Tools (KS, LKD), pp. 167–176.
ICSEICSE-2001-TilleyH #case study #comprehension #reverse engineering #web
Evaluating the Reverse Engineering Capabilities of Web Tools for Understanding Site Content and Structure: A Case Study (SRT, SH), pp. 514–523.
LDTALDTA-2001-AttaliCDFPP #generative #interactive #named
SmartTools: a Generator of Interactive Environment Tools (IA, CC, PD, AF, DP, CP), pp. 225–231.
LDTALDTA-2001-JongeVV #named #program transformation
XT: a bundle of program transformation tools (MdJ, EV, JV), pp. 79–86.
LDTALDTA-2001-Klint #collaboration #development #interactive
Collaborative Development of Interactive Language Processing Tools (PK), pp. 1–2.
CCCC-2001-AttaliCDFPP #generative #interactive #named
SmartTools: A Generator of Interactive Environments Tools (IA, CC, PD, AF, DP, CP), pp. 355–360.
DATEDATE-2001-Axelsson #architecture
Methods and tools for systems engineering of automotive electronic architectures (JA), p. 112.
DATEDATE-2001-Bazargan-SabetI #modelling #verification
Modeling crosstalk noise for deep submicron verification tools (PBS, FI), pp. 530–534.
DATEDATE-2001-HoffmannNPBM #development #generative #quality #using
Generating production quality software development tools using a machine description language (AH, AN, SP, GB, HM), pp. 674–678.
DATEDATE-2001-PaulinKB #architecture #embedded #network #requirements
Network processors: a perspective on market requirements, processor architectures and embedded S/W tools (PGP, FK, PB), pp. 420–429.
HPDCHPDC-2001-ThomasMDMSB #grid
The GridPort Toolkit: A System for Building Grid Portals (MT, SM, MD, KM, DS, JRB), pp. 216–227.
PDPPDP-2001-Tavangarian #architecture
Local-Area and Wide-Area Computing: Architectures and Tools (DT), p. 40–?.
FASEFASE-J-1998-MotaS01 #industrial #model checking
Model-checking CSP-Z: strategy, tool support and industrial application (AM, AS), pp. 59–96.
ESOPESOP-2001-KomondoorH #dependence #using
Tool Demonstration: Finding Duplicated Code Using Program Dependences (RK, SH), pp. 383–386.
TACASTACAS-2001-Beaudouin-LafonMJAJLLMMRRCJ #editing #named #petri net #simulation
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS (MBL, WEM, MJ, PA, PJ, HML, KL, KHM, SM, AVR, KR, SC, KJ), pp. 574–577.
TACASTACAS-2001-Castillo #analysis #modelling #state machine #validation
The ASM Workbench — A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration (GDC), pp. 578–581.
CAVCAV-2001-BallR
The SLAM Toolkit (TB, SKR), pp. 260–264.
CAVCAV-2001-BlomFGLLP #algebra #named #specification
µCRL: A Toolset for Analysing Algebraic Specifications (SB, WF, JFG, IvL, BL, JvdP), pp. 250–254.
DL-2000-JonesRTG #feedback #library #mobile
Live from the stacks: user feedback on mobile computers and wireless tools for library patrons (MLWJ, RR, PT, GG), pp. 95–102.
TPDLECDL-2000-SemeraroEFF #interactive #learning #library #profiling
Interaction Profiling in Digital Libraries through Learning Tools (GS, FE, NF, SF), pp. 229–238.
HTHT-2000-Neumuller #analysis
A semiotic analysis of iMarketing tools (MN), pp. 238–239.
CSEETCSEET-2000-Zalewski #automation #development #re-engineering
Automatic Development Tools in Software Engineering Courses (JZ), p. 200–?.
ITiCSEITiCSE-2000-DickPM #education #re-engineering
Teaching tools for software engineering education (MD, MP, JM), pp. 49–52.
ITiCSEITiCSE-2000-Normark
A suite of WWW-based tools for advanced course management (KN), pp. 65–68.
ITiCSEITiCSE-2000-RaabRP #education #java
Pedagogical power tools for teaching Java (JR, RR, VKP), pp. 156–159.
WCREWCRE-J-1997-DeursenQW00 #recognition
Program plan recognition for year 2000 tools (AvD, AQ, SW), pp. 303–324.
WCREWCRE-J-1997-StoreyWM00 #comprehension #how #question #source code
How do program understanding tools affect how programmers understand programs? (MADS, KW, HAM), pp. 183–207.
ICSMEICSM-2000-RobitailleSK #comprehension #design #navigation
Bridging Program Comprehension Tools by Design Navigation (SR, RS, RKK), pp. 22–32.
IWPCIWPC-2000-Gallagher #comprehension
Tools for Program Comprehension: Building a Comprehender’s Workbench (KBG), p. 255.
WCREWCRE-2000-CzeranskiEKKS #using
Analyzing xfig Using the Bauhaus Tools (JC, TE, HMK, RK, DS), pp. 197–199.
WCREWCRE-2000-JahnkeW #reverse engineering
Reverse Engineering Tools as Media for Imperfect Knowledge (JHJ, AW), pp. 22–31.
WCREWCRE-2000-ParryLT
PBS Tool Demonstration Report on Xfig (TPI, EL, JT), pp. 200–202.
WCREWCRE-2000-SimS #comprehension
A Structured Demonstration of Program Comprehension Tools (SES, MADS), pp. 184–193.
WCREWCRE-2000-SimSW #comprehension #lessons learnt
A Structured Demonstration of Five Program Comprehension Tools: Lessons Learnt (SES, MADS, AW), p. 210–?.
WCREWCRE-2000-TateishiW #case study #experience #maintenance
Applying Traditional Unix Tools during Maintenance: An Experience Report (AT, AW), pp. 203–206.
CHICHI-2000-BaumeisterJB #comparison #modelling
A comparison of tools for building GOMS models (LKB, BEJ, MDB), pp. 502–509.
CHICHI-2000-DammHT #design #gesture #modelling #object-oriented
Tool support for cooperative object-oriented design: gesture based modelling on an electronic whiteboard (CHD, KMH, MT), pp. 518–525.
CHICHI-2000-EspinosaCRKSL #why
Coming to the wrong decision quickly: why awareness tools must be matched with appropriate tasks (JAE, JJC, LRG, REK, WLS, GL), pp. 392–399.
CHICHI-2000-LinNHL #design #named #web
DENIM: finding a tighter fit between tools and practice for Web site design (JL, MWN, JIH, JAL), pp. 510–517.
CHICHI-2000-RosenbaumRH #usability
A toolkit for strategic usability: results from workshops, panels, and surveys (SR, JAR, JH), pp. 337–344.
CSCWCSCW-2000-Bernstein #how #process
How can cooperative work tools support dynamic group process? bridging the specificity frontier (AB), pp. 279–288.
ICPRICPR-v3-2000-LagunovskyFB #image
Image Processing Tools for Fresco Restoration (DL, MF, GSdB), pp. 3330–3333.
ICPRICPR-v3-2000-VincentCF #3d #segmentation #using
Spatio-Temporal Segmentation Using 3D Morphological Tools (VA, CR, FH), pp. 3885–3892.
ICPRICPR-v4-2000-AlbiolNM #people #realtime #using
Real-Time High Density People Counter Using Morphological Tools (AA, VN, IM), pp. 4652–4655.
ICPRICPR-v4-2000-DoermannM #evaluation #performance #video
Tools and Techniques for Video Performance Evaluation (DSD, DM), pp. 4167–4170.
KDDKDD-2000-GerstenWA #case study #experience #modelling #predict #roadmap
Predictive modeling in automotive direct marketing: tools, experiences and open issues (WG, RW, DA), pp. 398–406.
SIGIRSIGIR-2000-MantzarisGGT #library
Integrated search tools for newspaper digital libraries (SLM, BG, NG, PT), p. 389.
SPLCSPLC-2000-StuartSPCWC #development #product line
The SSEP toolset for product line development (DS, WS, SP, DC, FW, TWC), pp. 413–436.
UMLUML-2000-HussmannDF #architecture #composition #ocl
Modular Architecture for a Toolset Supporting OCL (HH, BD, FF), pp. 278–293.
ECOOPECOOP-2000-DammHTT #automation #collaboration #flexibility #modelling #object-oriented
Creative Object-Oriented Modelling: Support for Intuition, Flexibility, and Collaboration in CASE Tools (CHD, KMH, MT, MT), pp. 27–43.
TOOLSTOOLS-EUROPE-2000-DammHTT #case study #component #experience #integration #using #xmi
Tool Integration: Experiences and Issues in Using XMI and Component Technology (CHD, KMH, MT, MT), pp. 94–107.
TOOLSTOOLS-PACIFIC-2000-BarberG #architecture #identification #object-oriented
Tool Support for Systematic Class Identification in Object-Oriented Software Architectures (KSB, TJG), pp. 82–93.
TOOLSTOOLS-USA-2000-WolfIBP #modelling #object-oriented #uml
UML Tool Support: Utilization of Object-Oriented Models (MW, EI, RB, IP), pp. 529–534.
PADLPADL-2000-ChewHN #constraints
A Toolkit for Constraint-Based Inference Engines (TYC, MH, KBN), pp. 185–199.
POPLPOPL-2000-ChambersHV #design pattern
A Debate on Language and Tool Support for Design Patterns (CC, BH, JMV), pp. 277–289.
ASEASE-2000-FeatherCL #risk management
Combining the Best Attributes of Qualitative and Quantitative Risk Management Tool Support (MSF, SLC, TWL), pp. 309–312.
ASEASE-2000-NoahW #automation #database #design #performance #validation
Exploring and Validating the Contributions of Real-World Knowledge to the Diagnostic Performance of Automated Database Design Tools (SAN, MDW), pp. 177–186.
ICSEFoSE-2000-OssherHT #re-engineering #roadmap
Software engineering tools and environments: a roadmap (HO, WHH, PLT), pp. 261–277.
FSEFSE-2000-ButkevichRBY #compilation #debugging #protocol
Compiler and tool support for debugging object protocols (SB, MR, GB, MY), pp. 50–59.
ICSEICSE-2000-HayesGM #component #design #program analysis #reuse
Component design of retargetable program analysis tools that reuse intermediate representations (JH, WGG, SM), pp. 356–365.
ICSEICSE-2000-Moore #education #lessons learnt #re-engineering #using
Lessons learned from teaching reflective software engineering using the Leap toolkit (CAM), pp. 672–675.
SACSAC-2000-KhuriH #algorithm #visualisation
Tools for Visualizing Text Compression Algorithms (SK, HCH), pp. 119–123.
DACDAC-2000-KirovskiLWP #forensics
Forensic engineering techniques for VLSI CAD tools (DK, DTL, JLW, MP), pp. 581–586.
DACDAC-2000-NiemierKK #design #novel #quantum
A design of and design tools for a novel quantum dot based microprocessor (MTN, MJK, PMK), pp. 227–232.
DATEDATE-2000-Veelenturf #embedded #reliability
The Road to Better Reliability and Yield Embedded DfM Tools (KV), pp. 67–68.
FASEFASE-2000-LuthW #development
More About TAS and IsaWin — Tools for Formal Program Development (CL, BW), pp. 367–370.
TACASTACAS-2000-DennisCNBSRGM
The PROSPER Toolkit (LAD, GC, MN, RJB, KS, GR, MJCG, TFM), pp. 78–92.
TACASTACAS-2000-GoedickeEMT #development #distributed #graph transformation #multi
ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation (MG, BE, TM, GT), pp. 43–47.
TACASTACAS-2000-Mossakowski #named #semantics
CASL: From Semantics to Tools (TM), pp. 93–108.
WRLAWRLA-2000-BrandR #asf+sdf #parsing
ASF+SDF parsing tools applied to ELAN (MvdB, CR), pp. 138–157.
WRLAWRLA-2000-LeuckerN #framework #logic #verification
Rewriting Logic as a Framework for Generic Verification Tools (ML, TN), pp. 121–137.
CAVCAV-2000-RamakrishnanRSDDRV #named #verification
XMC: A Logic-Programming-Based Verification Toolset (CRR, IVR, SAS, YD, XD, AR, VNV), pp. 576–580.
ISSTAISSTA-2000-Pincus #analysis #case study #developer #experience
Analysis is necessary, but far from sufficient: Experiences building and deploying successful tools for developers and testers (JDP), p. 1.
DL-1999-YangCH #self #visualisation
Visualization Tools for Self-Organizing Maps (CCY, HC, KKH), pp. 258–259.
HTHT-1999-Lange #analysis #hypermedia
Hypermedia Potentials for Analysis Support Tools (DSL), pp. 165–166.
HTHT-1999-Morgan #hypermedia #research
Electronic Tools for Dismantling the Master’s House: Poststructuralist Feminist Research and Hypertext Poetics (WM), pp. 207–216.
CSMRCSMR-1999-KrikhaarFJM #architecture #comprehension
Architecture Comprehension Tools for a PBX System (RLK, LMGF, RdJ, JM), pp. 31–41.
WCREWCRE-1999-EbertKW #named #re-engineering
GraX — An Interchange Format for Reengineering Tools (JE, BK, AW), p. 89–?.
WCREWCRE-1999-FreitasL #reuse #reverse engineering
Reusing Domains for the Construction of Reverse Engineering Tools (FGdF, JCSdPL), p. 24–?.
FMFM-v2-1999-HainquePBN #compilation #composition #named
Cronos: A Separate Compilation Toolset for Modular Esterel Applications (OH, LP, YLB, EN), pp. 1836–1853.
FMFM-v2-1999-KnightFH #using
Tool Support for Production Use of Formal Techniques (JCK, PTF, BRH), p. 1854.
IFMIFM-1999-BussowG #composition #framework #integration
A Modular Framework for the Integration of Heterogeneous Notations and Tools (RB, WG), pp. 211–230.
AGTIVEAGTIVE-1999-Cremer #graph #re-engineering #reverse engineering
Graph-Based Reverse Engineering and Reengineering Tools (KC), pp. 95–109.
AGTIVEAGTIVE-1999-GoedickeEMT #development #distributed #graph transformation #integration #multi #towards
Tool Support for ViewPoint-Oriented Software Development: Towards Integration of Multiple Perspectives by Distributed Graph Transformation (MG, BE, TM, GT), pp. 369–377.
AGTIVEAGTIVE-1999-GoedickeEMT99a #development
Tool Support for ViewPoint-oriented Software Development (MG, BE, TM, GT), pp. 419–425.
AGTIVEAGTIVE-1999-Radermacher #design pattern #graph transformation
Support for Design Patterns Through Graph Transformation Tools (AR), pp. 111–126.
CHICHI-1999-KaminskyDELSS #named #programmable
SWEETPEA: Software Tools for Programmable Embodied Agents (MK, PD, WKE, AL, MS, IES), pp. 144–151.
CHICHI-1999-SalberDA #development
The Context Toolkit: Aiding the Development of Context-Enabled Applications (DS, AKD, GDA), pp. 434–441.
CHICHI-1999-WexelblatM #information management #named
Footprints: History-Rich Tools for Information Foraging (AW, PM), pp. 270–277.
HCIHCI-CCAD-1999-HartmannSMGS #learning
Tools for computer-supported learning in organisations (EAH, DS, KM, MG, HS), pp. 377–381.
HCIHCI-CCAD-1999-KasyanovL #visualisation
Support tools for hierarchical information visualization (VNK, IAL), pp. 117–121.
HCIHCI-CCAD-1999-RomahnP #design #evaluation
Design and evaluation of air traffic control support tools (SR, EAP), pp. 1261–1265.
HCIHCI-EI-1999-GrinchenkoO #authoring #internet
Authoring Tools for Internet Publishing (TAG, MVO), pp. 116–119.
HCIHCI-EI-1999-NoldusKHD #analysis
Software Tools for Collection and Analysis of Observational Data (LN, AK, WtH, RD), pp. 1114–1118.
TOOLSTOOLS-EUROPE-1999-KoskimiesBPH #architecture #challenge #design #object-oriented #reuse
Designing Reusable Object-Oriented Architectures — Challenges, Methods & Tools (KK, JB, WP, GH), p. 421.
TOOLSTOOLS-USA-1999-AltmannP #concept #development
Cooperative Software Development: Concepts, Model and Tools (JA, GP), p. 194–?.
TOOLSTOOLS-USA-1999-Parnas #analysis #component #documentation #testing
Tools for Component Documentation, Analysis and Testing (DLP), p. 2.
TOOLSTOOLS-USA-1999-Steckler #interactive #named
MysterX: A Scheme Toolkit for Building Interactive Applications with COM (PAS), p. 364–?.
TOOLSTOOLS-USA-1999-StrunkL #testing
Tool Support for Testing and Documenting Framework-Based Software (WS, CL), p. 237–?.
TOOLSTOOLS-USA-1999-Wasserman #uml
Features of UML Tools (TW), p. 522.
ICSEICSE-1999-AtkinsBGM #using #version control
Using Version Control Data to Evaluate the Impact of Software Tools (DLA, TB, TLG, AM), pp. 324–333.
CCCC-1999-AnlauffKP #design #prototype
Tool Support for Language Design and Prototyping with Montages (MA, PWK, AP), pp. 296–299.
DATEDATE-1999-TragoudasM #fault #functional
ATPG Tools for Delay Faults at the Functional Level (ST, MKM), p. 631–?.
HPDCHPDC-1999-AllenGMS #distributed #using
The Cactus Computational Toolkit and using Distributed Computing to Collide Neutron Stars (GA, TG, JM, ES), pp. 57–61.
HPDCHPDC-1999-VillacisGSWBDTGB #architecture #component #distributed #grid #named #performance
CAT: A High Performance Distributed Component Architecture Toolkit for the Grid (JEV, MG, DS, AW, FB, PD, BT, DG, RB), pp. 125–132.
LCTESLCTES-1999-Engblom #benchmark #embedded #metric #why
Why SpecInt95 Should Not Be Used to Benchmark Embedded Systems Tools (JE), pp. 96–103.
FASEFASE-1999-LuthTKK #development #proving #theorem proving
TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving (CL, HT, K, BKB), pp. 239–243.
TACASTACAS-1999-BuchholzK #analysis #composition #distributed
Modular State Level Analysis of Distributed Systems Techniques and Tool Support (PB, PK), pp. 420–434.
TACASTACAS-1999-DongDRRRSSSW #case study #comparative #concurrent #verification
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools (YD, XD, YSR, CRR, IVR, SAS, OS, EWS, DSW), pp. 74–88.
TACASTACAS-1999-ParnasP
An Easily Extensible Toolset for Tabular Mathematical Expressions (DLP, DKP), pp. 345–359.
TACASTACAS-1999-Stevens #re-engineering #verification
Some Issues in the Software Engineering of Verification Tools (PS), pp. 435–438.
CAVCAV-1999-RameshB #case study #design #pipes and filters #using #validation
Validation of Pipelined Processor Designs Using Esterel Tools: A Case Study (SR, PB), pp. 84–95.
ICTSSIWTCS-1999-ArtychB #concept #consistency #requirements
External Conformance Requirements: Concepts, Methods and Tools (RA, KMB), pp. 363–378.
ICTSSIWTCS-1999-BenattouCPR #distributed #testing
Principles and Tools for Testing Open Distributed Systems (MB, LC, RP, OR), pp. 77–92.
DL-1998-RutledgeOHB #hypermedia #standard
Practical Application of Existing Hypermedia Standards and Tools (LR, JvO, LH, DCAB), pp. 191–199.
TPDLECDL-1998-KawasakiSS #concept #image #information retrieval #internet #library #video
NAIST Digital Video Library: Tools for Restructuring Video Data for the Content Based Information Retrieval — A Representative Image of Shot Concept for the Internet (YK, RS, HS), pp. 645–646.
SIGMODSIGMOD-1998-LiuPTBBZBHY #monitoring #named #personalisation
CQ: A Personalized Update Monitoring Toolkit (LL, CP, WT, DB, JB, TZ, PB, WH, FY), pp. 547–549.
CSMRCSMR-1998-Cremer #legacy
A Tool Supporting the Re-Design of Legacy Applications (KC), pp. 142–149.
IWPCIWPC-1998-BechiniT #concurrent #design #dynamic analysis #java
Design of a Toolset for Dynamic Analysis of Concurrent Java Program (AB, KCT), pp. 190–197.
IWPCIWPC-1998-Kamp #approach #comprehension #multi #repository
Managing a Multi-File, Multi-Language Software Repository for Program Comprehension Tools 3/4 A Generic Approach (MK), pp. 64–71.
IWPCIWPC-1998-WoodsOLGQ #architecture #comprehension
An Architecture for Interoperable Program Understanding Tools (SW, LO, TL, KG, AQ), pp. 54–63.
WCREWCRE-1998-ArmstrongT #architecture
Evaluating Architectural Extraction Tools (MNA, CT), pp. 30–39.
FMFM-1998-AgerholmL98a #formal method #lightweight
The IFAD VDM Tools: Lightweight Formal Methods (SA, PGL), pp. 326–329.
FMFM-1998-BussowGHH #integration #modelling
An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools (RB, WG, WH, SH), pp. 184–195.
FMFM-1998-Castillo #architecture #state machine #towards
Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture (GDC), pp. 311–325.
FMFM-1998-Karlsen #framework #higher-order #integration
The UniForM WorkBench — A Higher Order Tool Integration Framework (EWK), pp. 266–280.
CHICHI-1998-DobsonR #development #education #incremental #interface
Tools for Incremental Development of Educational Software Interfaces (WD, CR), pp. 384–391.
CHICHI-1998-LohRRGRE #design
The Progress Portfolio: Designing Reflective Tools for a Classroom Context (BL, JR, ER, LMG, BJR, DCE), pp. 627–634.
CSCWCSCW-1998-MoranMC
Tailorable Domain Objects as Meeting Tools for an Electronic Whiteboard (TPM, WvM, PC), pp. 295–304.
EDOCEDOC-1998-VogelsDPCP #enterprise #reliability
Quintet, tools for reliable enterprise computing (WV, DD, MP, KC, JP), pp. 274–280.
CIKMCIKM-1998-Sanderson
Accurate User Directed Summarizatiion from Existing Tools (MS), pp. 45–51.
KRKR-1998-Kamps #automation #formal method #reasoning #using
Formal Theory Building Using Automated Reasoning Tools (JK), pp. 478–487.
UMLUML-1998-Desfray #automation #concept #design pattern
Automation of Design Pattern: Concepts, Tools and Practices (PD), pp. 120–131.
TOOLSTOOLS-ASIA-1998-YuanCXMY #analysis #c++ #database #information management
C++ Program Information Database for Analysis Tools (WY, XC, TX, HM, FY), pp. 173–180.
TOOLSTOOLS-PACIFIC-1998-GrundyAMH #architecture #collaboration #component #integration #interactive
Tool Integration, Collaboration and User Interaction Issues in Component-Based Software Architectures (JCG, MDA, RM, JGH), pp. 299–312.
TOOLSTOOLS-USA-1998-BarnB #component #development
Methods and Tools for Component Based Development (BB, AWB), pp. 384–395.
TOOLSTOOLS-USA-1998-CalderoniM #multi #named #simulation
MUTANT: A MultiAgent Toolkit for Artificial Life Simulation (SC, PM), pp. 218–229.
TOOLSTOOLS-USA-1998-Plosch #contract #design
Tool Support for Design by Contract (RP), pp. 282–294.
REICRE-1998-HammerH #automation #case study #experience #how #requirements
Automated Requirements Management — Beware HOW You Use Tools: An Experience Report (TH, LH), pp. 34–40.
ASEASE-1998-Andrews #analysis #testing #using
Testing using Log File Analysis: Tools, Methods, and Issues (JHA), p. 157–?.
ASEASE-1998-Walenstein #comprehension #design #modelling
Developing the Designer’s Toolkit with Software Comprehension Models (AW), pp. 310–313.
SACSAC-1998-JungW #automation #concept #development #integration #novel #towards #web
CASE for Web sites: towards an integration of traditional case concepts and novel development tools (RJ, RW), pp. 726–731.
SACSAC-1998-MurthyK #modelling #network #programming
Integrated network computing models, programming modes and software tools (VKM, EVK), pp. 551–557.
SACSAC-1998-ZollerS #automation #database #named #taxonomy
WEBCON: a toolkit for an automatic, data dictionary based connection of databases to the WWW (PZ, US), pp. 706–711.
CCCC-1998-KuiperS #generative #incremental #named
Lrc — A Generator for Incremental Language-Oriented Tools (MFK, JS), pp. 298–301.
DACDAC-1998-DunlopDFKLMR #design
Tools and Methodology for RF IC Design (AD, AD, PF, SK, DEL, RCM, JSR), pp. 414–420.
DACDAC-1998-GrinwaldHOUZ #design #verification
User Defined Coverage — A Tool Supported Methodology for Design Verification (RG, EH, MO, SU, AZ), pp. 158–163.
DACDAC-1998-IenneG #case study #design #experience #question #standard
Practical Experiences with Standard-Cell Based Datapath Design Tools: Do We Really Need Regular Layouts? (PI, AG), pp. 396–401.
DATEDATE-1998-OlcozCGG #static analysis
Static Analysis Tools for Soft-Core Reviews and Audits (SO, AC, MG, JAG), pp. 935–936.
DATEDATE-1998-Rosenstiel98a #design #generative
Next Generation System Level Design Tools (WR), p. 488–?.
HPDCHPDC-1998-BrunettCFFJKLT #case study #experience
Application Experiences with the Globus Toolkit (SB, KC, SF, ITF, AEJ, CK, JL, ST), pp. 81–88.
HPDCHPDC-1998-GentileEA #agile #development #distributed #framework #named #scalability
Lilith: A Software Framework for the Rapid Development of Scalable Tools for Distributed Computing (ACG, DAE, RCA), pp. 360–361.
LCTESLCTES-1998-RamseyD #embedded
Machine Descriptions to Build Tools for Embedded Systems (NR, JWD), pp. 176–192.
PDPPDP-1998-AlonsoGEGGM #analysis #embedded #parallel #performance #prototype #realtime #visualisation
A toolset for visualization and analysis of parallel real-time embedded systems based on fast prototyping techniques (FJSA, JG, JE, DFG, SG, PDM), pp. 186–194.
ESOPESOP-1998-HenselHJT #logic #modelling #object-oriented
Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools (UH, MH, BJ, HT), pp. 105–121.
FASEFASE-1998-Dubois #formal method #named #requirements
ALBERT: A Formal Language and Its Supporting Tools for Requirements Engineering (ED), pp. 322–325.
CAVCAV-1998-HeitmeyerKLB #requirements #specification
SCR*: A Toolset for Specifying and Analyzing Software Requirements (CLH, JK, BGL, RB), pp. 526–531.
CAVCAV-1998-Peled98a #sequence chart
A Toolset for Message Sequence Charts (DP), pp. 532–536.
SIGMODSIGMOD-1997-GebhardtJJ #interface #multi
A Toolkit for Negotiation Support Interfaces to Multi-Dimensional Data (MG, MJ, SJ), pp. 348–356.
CSMRCSMR-1997-DumkeW #maintenance #performance
CAME Tools for an Efficient Software Maintenance (RRD, ASW), pp. 74–81.
CSMRCSMR-1997-JarzabekW #precise #reverse engineering #towards
Towards a precise description of reverse engineering methods and tools (SJ, IW), pp. 3–9.
CSMRCSMR-1997-MullerG #case study #experience #standard #using
Planning Year 2000 transformations using standard tools: an experience report (BM, RG), pp. 94–100.
WCREWCRE-1997-BellayG #comparison #reverse engineering
A Comparison of Four Reverse Engineering Tools (BB, HG), pp. 2–11.
WCREWCRE-1997-DeursenWQ #recognition
Program Plan Recognition for Year 2000 Tools (AvD, SW, AQ), p. 124–?.
WCREWCRE-1997-HendrixCBM #multi #reverse engineering
Tool Support for Reverse Engineering Multi-Lingual Software (TDH, JHCI, LAB, KSM), pp. 136–143.
WCREWCRE-1997-StoreyWM #comprehension #how #question #source code
How Do Program Understanding Tools Affect How Programmers Understand Programs? (MADS, KW, HAM), p. 12–?.
ICSMEICSM-2000-BasharKKSW #security
Low-threat security patches and tools (MAB, GK, MGK, EHS, SSWJ), pp. 306–313.
CIAAWIA-1997-Maout #automaton
Tools to Implement Automata, a First Step: ASTL (VLM), pp. 104–108.
HCIHCI-CC-1997-BadhamM #case study #implementation #using
Tools for Implementing Socio-Technical Systems: An Australian Case Study and the Use of Handbooks (RB, IM), pp. 245–248.
HCIHCI-CC-1997-Karshmer
Interdisciplinary Efforts to Facilitate the Production of Tools to Support the Disabled and Elderly in the Information Society (AIK), pp. 409–412.
HCIHCI-CC-1997-SavidisS #integration #multi
Unifying and Merging Toolkits: A Multi-Purpose Toolkit Integration Engine (AS, CS), pp. 457–460.
HCIHCI-SEC-1997-PattersonD #communication #industrial #multi #network #usability
Evaluating the Usability of Application Tools in Transferring Multimedia Information Across ATM Communication Networks Within the Fashion Industry in Europe (GP, RD), pp. 767–770.
CAiSECAiSE-1997-Kaipala #automation #hypermedia #implementation
Augmenting CASE Tools with Hypertext: Desired Functionality and Implementation Issues (JK), pp. 217–230.
CAiSECAiSE-1997-RuggiaA #concept #modelling #reuse
A Toolkit for Reuse in Conceptual Modelling (RR, APA), pp. 173–186.
ECOOPECOOP-1997-FlorijnMW #object-oriented
Tool Support for Object-Oriented Patterns (GF, MM, PvW), pp. 472–495.
AdaEuropeAdaEurope-1997-Bell #ada #analysis #source code
An Alternative Toolset for Analysis of Ada Programs (AEB), pp. 112–124.
AdaEuropeAdaEurope-1997-DobbingR #ada #named #realtime
T-SMART — Task-Safe, Minimal Ada Realtime Toolset (BD, MRF), pp. 244–253.
AdaEuropeAdaEurope-1997-Yeung #ada #semantics
Semantics-Based Support Tools for High Integrity Ada Software (WLY), pp. 100–111.
ASEASE-1997-FranceEG #automation #object-oriented #semantics #towards
Towards Semantic-Based Object-Oriented CASE Tools (RBF, MPE, ESG), pp. 295–296.
ASEASE-1997-GoguenLMRS #distributed #formal method
Distributed Cooperative Formal Methods Tools (JAG, KL, AM, GR, AS), pp. 55–62.
ASEASE-1997-Henninger #development #evolution
Tools Supporting the Creation and Evolution of Software Development Knowledge (SH), p. 46–?.
ESECESEC-FSE-1997-PohlW #approach
A Contextual Approach for Process-Integrated Tools (KP, KW), pp. 176–192.
ICSEICSE-1997-HeitmeyerKL #requirements #specification #validation #verification
The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support (CLH, JK, BGL), pp. 610–611.
ICSEICSE-1997-JagadeesanPPRV #testing
Specification-based Testing of Reactive Software: Tools and Experiments (LJJ, AAP, CP, JCR, LGV), pp. 525–535.
ICSEICSE-1997-PezzeY #analysis #modelling #multi #semantics #using
Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models (MP, MY), pp. 239–249.
ICSEICSE-1997-Schurr #re-engineering #visual notation
Developing Graphical (Software Engineering) Tools with PROGRES (AS), pp. 618–619.
ICSEICSE-1997-SullivanCZC #programming
Package-Oriented Programming of Engineering Tools (KJS, JC, SZ, DC), pp. 616–617.
DACDAC-1997-Frenkil #design #power management
Tools and Methodologies for Low Power Design (JF), pp. 76–81.
DACDAC-1997-HartoogRRDDHK #generative #hardware
Generation of Software Tools from Processor Descriptions for Hardware/Software Codesign (MRH, JAR, PDR, SD, DDD, EAH, NK), pp. 303–306.
DACDAC-1997-SchurmannA #design #modelling
Modeling Design Tasks and Tools: The Link Between Product and Flow Model (BS, JA), pp. 564–569.
TACASTACAS-1997-KelbMMG #flexibility #higher-order #logic #monad #named
MOSEL: A FLexible Toolset for Monadic Second-Order Logic (PK, TMS, MM, CG), pp. 183–202.
CAVCAV-1997-Boralv #industrial #verification
The Industrial Success of Verification Tools Based on Stålmarck’s Method (AB), pp. 7–10.
CAVCAV-1997-Marschner #challenge #industrial #verification
Practical Challenges for Industrial Formal Verification Tools (FEM), pp. 1–2.
ICLPILPS-1997-Tarau #internet #logic programming
Logic Programming Tools for Advanced Internet Programming (PT), pp. 33–34.
VLDBVLDB-1996-McKennaBHT #named #query
EROC: A Toolkit for Building NEATO Query Optimizers (WJM, LB, CH, MT), pp. 111–121.
CSEETCSEE-1996-Ozcan #education #integration #re-engineering
Integration of Software Tools in Software Engineering Education (MBÖ), pp. 149–171.
CSEETCSEE-1996-ShepardBS #automation #education #scalability #using
Use of Large, Domain Specific CASE tools in Undergraduate Curricula (TS, BB, MS), pp. 144–148.
ITiCSEITiCSE-1996-Beise #education #internet
Integrating Internet tools into the soft side of informatics education (CMB), pp. 107–108.
ITiCSEITiCSE-1996-GrangerL #automation #education
Integrating CASE tools into the CS/CIS curriculum (MJG, JCL), pp. 130–132.
ITiCSEITiCSE-1996-Jacker #documentation #monitoring #named #network
Tkined/scotty: tools for network documentation, monitoring and troubleshooting (KHJ), p. 233.
ITiCSEITiCSE-1996-KwiatkowskiALMCLKS #development #education #parallel
Teaching parallel processing: development of curriculum and software tools (JK, MA, EL, TM, JCC, JL, HK, SS), pp. 159–161.
ITiCSEITiCSE-1996-MarsdenO #analysis #education #framework #modelling #multi #named #process
MuPMoTT: a multimedia based tool supporting the teaching of process modelling within a framework of structured system analysis (PM, MO), pp. 116–118.
ITiCSEITiCSE-1996-Roberts #source code
Tools for creating portable demonstration programs (ER), pp. 78–80.
ITiCSEITiCSE-1996-Velazquez-IturbideRF #algorithm #development #programming
An inexpensive programming toolset for algorithm development (JÁVI, AMCR, NLF), p. 231.
ICSMEICSM-1996-CanforaCL #analysis #specification
Specifying code analysis tools (GC, AC, ADL), pp. 95–103.
WPCWPC-1996-Graham #testing #visualisation
A Method for The Formal Testing of Program Visualization Tools (TCNG), pp. 45–54.
WPCWPC-1996-Sullivan #agile #development #program analysis
Rapid Development of Simple, Custom Program Analysis Tools (KJS), pp. 40–44.
CIAAWIA-1996-Rodger #formal method #programming
Integrating Hands-on Work into the Formal Languages Course via Tools and Programming (SHR), pp. 132–148.
CSCWCSCW-1996-Dourish #collaboration #consistency #semantics
Consistency Guarantees: Exploiting Application Semantics for Consistency Management in a Collaboration Toolkit (PD), pp. 268–277.
CAiSECAiSE-1996-NorrieW #distributed #information management #integration
Agent-Based Tool Integration for Distributed Information Systems (MCN, MW), pp. 383–401.
SEKESEKE-1996-Robertson #empirical #specification
An Empirical Study of the LSS Specification Toolkit in Use (DSR), pp. 153–160.
ECOOPECOOP-1996-BanavarL #composition #framework
An Application Framework For Module Composition Tools (GB, GL), pp. 91–113.
AdaTRI-Ada-1996-Westley #ada #development #independence #named #platform #user interface #visual notation
TASH: A Free Platform-Independent Graphical User Interface Development Toolkit for Ada (TJW), pp. 165–178.
FSEFSE-1996-GriswoldCBM #abstraction #scalability
Tool Support for Planning the Restructuring of Data Abstractions in Large Systems (WGG, MIC, RWB, JDM), pp. 33–45.
ICSEICSE-1996-AtkinsonG #design #program analysis
The Design of Whole-Program Analysis Tools (DCA, WGG), pp. 16–27.
ICSEICSE-1996-BaumerBLZ #concept #experience #prototype #user interface
User Interface Prototyping — Concepts, Tools, and Experience (DB, WRB, HL, HZ), pp. 532–541.
ICSEICSE-1996-Ledru #using
Using KIDS as a Tool Support for VDM (YL), pp. 236–245.
ASEKBSE-1996-SidarkeviciuteTK #knowledge-based #visualisation
A Knowledge-Based Toolkit For Software Visualisation (DS, ET, AK), p. 18.
SACSAC-1996-FordHPT #network #repository #standard
Linking specialized network data repositories to standard access tools (RF, GH, VP, DT), pp. 219–223.
CCCC-1996-KadhimW #composition #development #named #syntax
Maptool — Supporting Modular Syntax Development (BMK, WMW), pp. 268–280.
DACDAC-1996-BrownMVCGGGLZS #design #experience #multi #programmable #scalability #using
Experience in Designing a Large-scale Multiprocessor using Field-Programmable Devices and Advanced CAD Tools (SDB, NM, ZGV, SC, AG, RG, MG, KL, ZZ, SS), pp. 427–432.
DACDAC-1996-CarleyGRS #synthesis
Synthesis Tools for Mixed-Signal ICs: Progress on Frontend and Backend Strategies (LRC, GGEG, RAR, WMCS), pp. 298–303.
DACDAC-1996-ChandrakasanYVA #design
Design Considerations and Tools for Low-voltage Digital System Design (AC, IY, CV, DA), pp. 113–118.
DACDAC-1996-CortadellaKKLY #encoding #synthesis
Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis (JC, MK, AK, LL, AY), pp. 63–66.
DACDAC-1996-HutchinsH #how #perl
How to Write Awk and Perl Scripts to Enable Your EDA Tools to Work Together (RCH, SH), pp. 409–414.
HPDCHPDC-1996-FosterPS #collaboration #distributed #research
Tools for Distributed Collaborative Environments: A Research Agenda (ITF, MEP, RLS), pp. 23–28.
ESOPESOP-1996-BergstraDFH #compilation
A Complete Transformational Toolkit for Compilers (JAB, TBD, JF, JH), pp. 92–107.
TACASTACAS-1996-BoualiRRS #set
The FC2TOOLS Set (AB, AR, VR, RdS), p. 396.
TACASTACAS-1996-HeylMK #named
cTc — A Tool Supporting the Construction of cTLA-Specifications (CH, AM, HK), pp. 407–411.
TACASTACAS-1996-Holzmann #detection #fault
Early Fault Detection Tools (GJH), pp. 1–13.
CAVCAV-1996-AnonBCCLSTXZ #design #verification
MDG Tools for the Verification of RTL Designs (KDA, NB, EC, FC, ML, XS, ST, YX, ZZ), pp. 433–436.
CAVCAV-1996-BoualiRRS #set
The FC2TOOLS Set (AB, AR, VR, RdS), pp. 441–445.
CAVCAV-1996-ClarkeBLXS #analysis #bound #named #realtime #specification #visual notation
XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Sytems (DC, HBA, IL, HlX, OS), pp. 402–405.
CAVCAV-1996-MoserMRKD #logic #realtime #visual notation
The Real-Time Graphical Interval Logic Toolset (LEM, PMMS, YSR, GK, LKD), pp. 446–449.
ISSTAISSTA-1996-PezzeY #analysis #generative #multi
Generation of Multi-Formalism State-Space Analysis Tools (MP, MY), pp. 172–179.
ICDARICDAR-v2-1995-BippusM #data type #database #documentation #generative
Data structures and tools for document database generation: an experimental system (RDB, VM), pp. 711–714.
ICDARICDAR-v2-1995-DowntonHA #programming #recognition #visual notation
A visual programming toolkit demonstrator for offline handwritten forms recognition (ACD, SJH, AA), pp. 707–710.
ICDARICDAR-v2-1995-EikvilAK #interactive
Tools for interactive map conversion and vectorization (LE, KA, HK), pp. 927–930.
VLDBVLDB-1995-Meier #approach #database #migration
Providing Database Migration Tools — A Practicioner’s Approach (AM), pp. 635–641.
WCREWCRE-1995-WellsBM #assurance #quality #re-engineering
Customized Tools for Software Quality Assurance and Reengineering (CHW, RB, LM).
CHICHI-1995-HarperS #collaboration
Collaborative Tools and the Practicalities of Professional Work at the International Monetary Fund (RHRH, AS), pp. 122–129.
CAiSECAiSE-1995-BounabG #approach #integration
A Federated Approach to Tool Integration (MB, CG), pp. 269–282.
KDDKDD-1995-ShanZHC #information management #set #using
Using Rough Sets as Tools for Knowledge Discovery (NS, WZ, HJH, NC), pp. 263–268.
SEKESEKE-1995-VerkamoL #development #problem
Problems in Interfacing Tools of Different Development Environments (AIV, GL), pp. 429–437.
SEKESEKE-1995-WangCCCP #database #documentation #pattern matching
An Integrated Toolkit for Pattern Matching and Pattern Discovery in Scientific, Program, and Document databases (JTLW, GWC, CYC, GJSC, KP), p. 497.
ESECESEC-1995-HeiselSZ #architecture #development #formal method
Tool Support for Formal Software Development: A Generic Architecture (MH, TS, DZ), pp. 272–293.
ICSEICSE-1995-GautierLST #case study #experience #integration
Tool Integration: Experiences and Directions (BG, CWL, ES, LT), pp. 315–324.
ASEKBSE-1995-KraanB #case study #framework #logic #verification
Logical Frameworks as a Basis for Verification Tools: A Case Study (IK, PB), pp. 36–43.
ASF+SDFASF+SDF-1995-MauwMa #sequence chart #specification
Specification of Tools for Message Sequence Charts (SM, EAvdM), pp. 175–210.
DACDAC-1995-Bergamaschi #design #problem #question
Productivity Issues in High-Level Design: Are Tools Solving the Real Problems? (RAB), pp. 674–677.
DACDAC-1995-BredenfeldC #design #graph #integration #using
Tool Integration and Construction Using Generated Graph-Based Design Representations (AB, RC), pp. 94–99.
DACDAC-1995-GeloshS #layout #modelling #performance
Deriving Efficient Area and Delay Estimates by Modeling Layout Tools (DSG, DES), pp. 402–407.
SOSPSOSP-1995-JosephdTGK #information management #mobile #named
Rover: A Toolkit for Mobile Information Access (ADJ, AFd, JAT, DKG, MFK), pp. 156–171.
TACASTACAS-1995-CleavelandMS #generative #verification
A Front-End Generator for Verification Tools (RC, EM, SS), pp. 153–173.
TAPSOFTTAPSOFT-1995-AstesianoRM
The SMoLCS ToolSet (EA, GR, FM), pp. 801–802.
TAPSOFTTAPSOFT-1995-BrandV #asf+sdf #documentation #exclamation #for free #ide
The Asf+Sdf Meta-Environment Documentation Tools for Free! (MvdB, EV), pp. 803–804.
HTHT-ECHT-1994-RobertsonMG #authoring #hypermedia #research
The Hypermedia Authoring Research Toolkit (HART) (JR, EM, AG), pp. 177–185.
CSEETCSEE-1994-Zalewski #using
Cohesive Use of Commercial Tools in a Classroom (JZ), pp. 65–75.
CHICHI-1994-BierSFBB94a #taxonomy
A taxonomy of see-through tools (EAB, MCS, KPF, WB, TB), pp. 358–364.
CSCWCSCW-1994-EvelandBBM #network #using
The Role of “Help Networks” in Facilitating Use of CSCW Tools (JDE, ALB, WB, JM), pp. 265–274.
KDDKDD-1994-Kaufman #development #learning #multi #using
Comparing International Development Patterns Using Multi-Operator Learning and Discovery Tools (KAK), pp. 431–440.
SEKESEKE-1994-PranevitchiusP #simulation #specification #validation
Tools for validation and simulation of Estelle/Ag specifications (HP, VP), pp. 94–99.
ECOOPECOOP-1994-FreemanM #object-oriented #user interface #video
Adding Digital Video to an Object-Oriented User Interface Toolkit (SMGF, MSM), pp. 493–512.
TOOLSTOOLS-EUROPE-1994-BrantJ #composition
Creating Tools in HotDraw by Composition (JB, REJ), pp. 445–454.
TOOLSTOOLS-EUROPE-1994-SimGKS #interface #programming #specification
The Specification of a Seamless O-O Programming Interface for CAD Tools (MS, WG, PK, NS), pp. 135–145.
TOOLSTOOLS-EUROPE-1994-Tomek #smalltalk
Three Tools for Smalltalk Programmers: Task Oriented Views, Information Cards, and SCRC card (IT), pp. 489–497.
AdaEuropeAdaEurope-1994-ArberetD #memory management
Test Methods and Tools for SOHO Mass Memory Unit Software (PA, LD), pp. 121–129.
AdaEuropeAdaEurope-1994-HutcheonJMPWJ #ada
Tool Support for High Integrity Ada Software (ADH, DTJ, JAM, RHP, ICW, BJJ), pp. 63–75.
PEPMPEPM-1994-BerlinS #experience #partial evaluation
Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience (AAB, RJS), pp. 133–141.
PLDIPLDI-1994-SrivastavaE #named #program analysis
ATOM — A System for Building Customized Program Analysis Tools (AS, AE), pp. 196–205.
PLDIBest-of-PLDI-1994-SrivastavaE94a #named #program analysis
ATOM: a system for building customized program analysis tools (with retrospective) (AS, AE), pp. 528–539.
ICSEICSE-1994-DevanbuRW #analysis #automation #testing
Automated Construction of Testing and Analysis Tools (PTD, DSR, ALW), pp. 241–250.
ASEKBSE-1994-ChilenskiN #analysis #specification #test coverage
Formal Specification Tools for Test Coverage Analysis (JC, PN), pp. 59–68.
CCCC-1994-CheathamGS #analysis #interpreter
A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter (TC, HG, DCS), pp. 188–202.
DACDAC-1994-ArnsteinT #abstraction #behaviour #synthesis
The Attributed-Behavior Abstraction and Synthesis Tools (LFA, DET), pp. 557–561.
DACDAC-1994-GuptaCDP #design #experience #image #using
Experience with Image Compression Chip Design using Unified System Construction Tools (PG, CTC, JCDB, ACP), pp. 250–256.
DACDAC-1994-OchottaRC #agile #named #synthesis
ASTRX/OBLX: Tools for Rapid Synthesis of High-Performance Analog Circuits (ESO, RAR, LRC), pp. 24–30.
CADECADE-1994-HuangKKMNRS94a #automation #deduction #named
KEIM: A Toolkit for Automated Deduction (XH, MK, MK, EM, DN, JR, JHS), pp. 807–810.
HTHT-1993-Perlman #hypermedia #information retrieval
Information Retrieval Techniques for Hypertext in the Semi-Structured Toolkit (GP), pp. 260–267.
WCREWCRE-1993-ReubensteinPR #analysis #parsing #reverse engineering
Separating Parsing and Analysis in Reverse Engineering Tools (HBR, RLP, SNR), pp. 117–125.
FMFME-1993-RaoPS #compilation #development #verification
Verification Tools in the Development of Provably Correct Compilers (MRKKR, PKP, RKS), pp. 442–461.
HCIHCI-SHI-1993-Cohill #approach #design #development #interface
Information Tools: A New Approach to Interface Design and Development (AMC), pp. 915–920.
HCIHCI-SHI-1993-IwaiM #development #user interface
User Interface Development Tools for Pen Computer Applications (II, YM), pp. 1016–1021.
HCIHCI-SHI-1993-Nakamura93a #problem
Problem Solving Support System as Thinking Acceleration Tools (TN), pp. 297–302.
HCIHCI-SHI-1993-Warren #approach #development #modelling #realtime #safety
The TOM Approach to System Development: Methods and Tools for Task Oriented Modelling of Real-Time Safety Critical Systems (CW), pp. 285–290.
HCIHCI-SHI-1993-WojtkowskiW #authoring #development #multi #platform
Multimedia Development Platforms and Authoring Tools: Practical and Theoretical Frontiers (WW, WGW), pp. 537–542.
CHIINTERCHI-1993-CarlssonF #3d
Integrated CSCW tools within a shared 3D virtual environment (CC, LEF), p. 513.
CHIINTERCHI-1993-MacleodB #analysis #metric #music #usability #video
MUSiC video analysis and context tools for usability measurement (MM, NB), p. 55.
CHIINTERCHI-1993-SzekelyLN #interface #modelling
Beyond interface builders: model-based interface tools (PAS, PL, RN), pp. 383–390.
CHIINTERCHI-1993-TonomuraAOS #video
VideoMAP and VideoSpaceIcon: tools for anatomizing video content (YT, AA, KO, TS), pp. 131–136.
CHIINTERCHI-1993-Weiler #usability
Software for the usability lab: a sampling of current tools (PW), pp. 57–60.
CIKMCIKM-1993-Rundensteiner #database #generative #object-oriented
Tools for View Generation in Object-Oriented Databases (EAR), pp. 635–644.
SEKESEKE-1993-MacMillanFLLS #architecture #natural language #reuse #using
A Common Architecture To Encourage Reuse Of Natural Language/Text Processing Tools (TRM, MLF, SJL, EPL, LJS), pp. 266–270.
OOPSLAOOPSLA-1993-KovedW #3d #named #object-oriented
GROOP: An Object-Oriented Toolkit for Animated 3D Graphics (LK, WLW), pp. 309–325.
OOPSLAOOPSLA-1993-KruegerLVA #development #memory management
Tools for the Development of Application-Specific Virtual Memory Management (KK, DL, AV, TEA), pp. 48–64.
OOPSLAOOPSLA-1993-Strauss #3d
IRIS Inventor, A 3D Graphics Toolkit (PSS), pp. 192–200.
TOOLSTOOLS-EUROPE-1993-Harmon #object-oriented
Object-Oriented Tools and Environments (PH), p. 345.
TOOLSTOOLS-EUROPE-1993-Soufflet #object-oriented
Associated Paper: Object-Oriented Tools & PCTE (DS), p. 277.
TOOLSTOOLS-USA-1993-Berg-Cross #coordination #development #standard
Leveraging Productivity with a Standard Environment and Coordinated Tools for O-O Development (GBC), pp. 489–495.
TOOLSTOOLS-USA-1993-CorriveauW #evolution #framework #on the
On the Evolution of a Framework for the ObjecTime Toolset (JPC, LW), pp. 337–349.
TOOLSTOOLS-USA-1993-HarmonH #object-oriented
Object-Oriented Tools and Environments (PH, CH), p. 528.
AdaEuropeAdaEurope-1993-ThyseliusSS #ada #simulation
Adam, an Ada Simulation Toolkit (RT, MS, BS), pp. 298–313.
AdaTRI-Ada-1993-KoehnemannL #debugging #embedded #testing #towards
Towards Target-Level Testing and Debugging Tools for Embedded Software (HK, TEL), pp. 288–298.
REICRE-1993-AliagaS #composition #prototype #user interface
Prototyping of Graphing Tools by Direct GUI Composition (DGA, MSH), pp. 317–334.
ASEKBSE-1993-MacMillanFLLS #architecture #natural language #reuse #using
A Common Architecture to Encourage Reuse of Natural Language/Text Processing Tools (TRM, MF, SL, EPL, LJS), p. 20.
SACSAC-1993-BajajF #image #re-engineering
The VAIDAK Medical Image Model Reconstruction Toolkit (CLB, MCF), pp. 28–35.
CAVCAV-1993-CeransGL #specification
Timed Modal Specification — Theory and Tools (KC, JCG, KGL), pp. 253–267.
CAVCAV-1993-KuttyRMDM #concurrent #logic #verification #visual notation
A Graphical Interval Logic Toolset for Verifying Concurrent Systems (GK, YSR, LEM, LKD, PMMS), pp. 138–153.
ICLPICLP-1993-GrantJ #modelling #prolog
A Prolog Toolkit for control System Models (PWG, CPJ), pp. 839–840.
ICTSSIWPTS-1993-AhtiainenCHK #automation #case study #experience
Experiences with Octopus Automated TTCN Translation Tools Applied to GSM/SS7 (AA, BC, MWAH, SK), pp. 231–253.
PODSPODS-1992-Dong #datalog #query
Datalog Expressiveness of Chain Queries: Grammar Tools and Characterizations (GD), pp. 81–90.
CHICHI-1992-HammontreeHH #analysis #research #testing #user interface #visual notation
Integrated data capture and analysis tools for research and testing on graphical user interfaces (MLH, JJH, BWH), pp. 431–432.
CSCWCSCW-1992-RosemanG #named #realtime
GROUPKIT: A Groupware Toolkit for Building Real-Time Conferencing Applications (MR, SG), pp. 43–50.
CAiSECAiSE-1992-Verrijn-StuartR #integration
Model Integration in Information Planning Tools (AAVS, GJR), pp. 481–493.
SEKESEKE-1992-Hayes-RothETH #concept #distributed
Distributed Intelligent Control and Management: Concepts, Methods and Tools for Developing DICAM Applications (FHR, LDE, AT, BHR), pp. 235–244.
TOOLSTOOLS-EUROPE-1992-BlakN #embedded #object-oriented
OO Methods and Tools for Embedded Applications, The Mjolner BETA System (LB, JN), pp. 359–367.
TOOLSTOOLS-EUROPE-1992-BuddeCSZ #analysis #design
Tools and Materials: an Analysis and Design Metaphor (RB, MLCN, KHS, HZ), pp. 135–146.
TOOLSTOOLS-EUROPE-1992-CarricoAGPM
Support for Open Tools and Systems (LC, PA, NG, PP, MM), pp. 301–310.
TOOLSTOOLS-EUROPE-1992-NilssonB #object-oriented #specification
Tools for Object Oriented Formal Specification Technique (GN, PB), pp. 349–358.
AdaEuropeAdaEurope-1992-Treurniet #assessment #interface #set
SWG APSE Test Support Toolset (Assessment of the CAIS-A Interface Set) (WT), pp. 214–229.
PPDPALP-1992-GioviniMC #algebra #concurrent #implementation #prototype #specification
Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems (AG, FM, AC), pp. 335–349.
PPDPPLILP-1992-Thiemann #bottom-up #evaluation #functional #named #source code
LaToKi: A Language Toolkit for Bottom-Up Evaluation of Functional Programs (PT), pp. 481–482.
AdaTRI-Ada-C-1992-Beidler #component #education #what
Building on the Booch Components: What Can Be Learned When Modifying Real World Software Tools for Educational Use (JB), pp. 157–164.
ASEKBSE-1992-KotikM #knowledge-based #re-engineering
Knowledge-Based Software Reengineering Tools (GK, LM), p. 31.
ASEKBSE-1992-SolderitschY #knowledge base #reuse
Knowledge Based Software Reuse Methods and Tools: DoD STARS RLF Technology (JS, DY), p. 1.
SOSPSOSP-WIP-1991-Jones92 #interface
A Toolkit for Interposing User Code at the System Interface (MBJ), p. 21.
SOSPSOSP-WIP-1991-Marzullo92
A Toolkit for Building Reactive Systems or A Minute on Meta (KM), p. 23.
SOSPSOSP-WIP-1991-Weihl92 #named #parallel #source code
Prelude: Tools for Building Portable Parallel Programs (WEW), p. 24.
DACDAC-1992-FranzonSSBMM #generative
Tools to Aid in Wiring Rule Generation for High Speed Interconnects (PDF, SS, MBS, MB, SM, TM), pp. 466–471.
HPDCHPDC-1992-Sunderam #network #paradigm #tutorial
Tutorial I: Paradigms and Tools for Heterogeneous Network Computing (VSS), p. 282.
PODSPODS-1991-HillebrandKMV #bound #datalog
Tools for Datalog Boundedness (GGH, PCK, HGM, MYV), pp. 1–12.
CSEETSEI-1991-Werth #automation #collaboration #re-engineering
Industry-Academia Collaboration to Provide CASE Tools for Software Engineering Classes (LHW), pp. 245–256.
FMVDME-1991-Cattel #specification
Tactical Tools for Distributing VDM Specifications (TC), pp. 309–323.
FMVDME-1991-Dollin
The HP-ST Toolset (CD), pp. 687–688.
FMVDME-1991-Group
The RAISE Toolset (CRI), pp. 689–690.
CHICHI-1991-Tatsukawa #approach #interactive #visual notation
Graphical toolkit approach to user interaction description (KT), pp. 323–328.
CHICHI-1991-WolfRZO
We-met (window environment-meeting enhancement tools) (CGW, JRR, LAZ, HO), pp. 441–442.
CAiSECAiSE-1991-SeppanenHL #design #named #towards
SPADE — Towards Case Tools That Can Guide Design (VS, MH, RL), pp. 222–239.
OOPSLAOOPSLA-1991-Guimaraes #experience #inheritance #multi #user interface
Building Generic User Interface Tools: an Experience with Multiple Inheritance (NG), pp. 89–96.
OOPSLAOOPSLA-1991-HansonHR #case study #database #experience #implementation #object-oriented #persistent #programming language #using
Experiences in DBMS Implementation Using an Object-Oriented Persistent Programming Language and a Database Toolkit (ENH, TMH, MAR), pp. 314–328.
TOOLSTOOLS-USA-1991-Black #integration
Tool Integration Approaches in an O-O IPSE (EB), pp. 89–102.
TOOLSTOOLS-USA-1991-DoucetAP #database
Database Programmers are Handcrafters: They Need Appropriate Tools (AD, GA, PP), pp. 103–116.
TOOLSTOOLS-USA-1991-Joloboff #object-oriented
Invited Paper: OSF Motif: An Object-Oriented Toolkit (VJ), pp. 7–22.
TOOLSTOOLS-USA-1991-Reiss #object-oriented
Tools for Object-Oriented Redesign (SPR), pp. 361–364.
ICSEICSE-1991-Craigen #formal method
Tool Support for Formal Methods (DC), pp. 184–185.
ICSEICSE-1991-FischerHR #reuse
Cognitive tools for locating and comprehending software objects for reuse (GF, SH, DFR), pp. 318–328.
DACDAC-1991-Fuhrman #industrial #synthesis
Industrial Extensions to University High Level Synthesis Tools: Making It Work in the Real World (TEF), pp. 520–525.
ICLPICLP-1991-Reintjes #design #set
A Set of Tools for VHDL Design (PBR), pp. 549–562.
ICTSSIWPTS-1991-Berghe #consistency #overview #specification #standard
Overview of the Standardisation of Conformance Test Specifications and Tools: European Work, Contribution to ISO/CCITT and Worldwide Harmonisation (FvdB), pp. 297–310.
ICTSSIWPTS-1991-GuareneM #network #testing
Advanced Testing Tools For Intelligent Network (EG, PM), pp. 219–230.
ICTSSIWPTS-1991-SatoTKM #communication #generative #parametricity #specification #testing
Parameter Specification Language and Test Data Generation Tools for Communication Software Testing (FS, HT, KK, TM), pp. 207–218.
ICTSSIWPTS-1991-Stoettinger
Session on Equivqlence of Test Tools (KS), pp. 291–293.
ISSTATAV-1991-AvruninBCDW
Experiments with an Improved Constrained Expression Toolset (GSA, UAB, JCC, LKD, JCW), pp. 178–187.
HTECHT-1990-PuttressG #approach #hypermedia
The Toolkit Approach to Hypermedia (JJP, NMG), pp. 25–37.
HTECHT-1990-ShermanHMN #hypermedia #multi #overview
Building Hypertext on a Multimedia Toolkit: An Overview of Andrew Toolkit Hypermedia Facilities (MS, WJH, MM, TPN), pp. 13–24.
PODSPODS-1990-KolaitisV #case study #datalog #on the #power of
On the Expressive Power of Datalog: Tools and a Case Study (PGK, MYV), pp. 61–71.
ICGTGG-1990-Cuny #graph grammar #question
Graph Grammars as Tools in Applications Work? (JEC), pp. 46–47.
ICGTGG-1990-Wanke #graph grammar #named
PLEXUS: Tools for Analyzing Graph Grammars (EW), pp. 68–69.
CHICHI-1990-SchiphorstCLWG #composition #interactive #process
Tools for interaction with the creative process of composition (TS, TC, CL, CW, SG), pp. 167–174.
CSCWCSCW-1990-KnisterP #distributed #editing #multi #named
DistEdit: A Distributed Toolkit for Supporting Multiple Group Editors (MJK, AP), pp. 343–355.
CSCWCSCW-1990-MarkusC #problem #why
Why CSCW Applications Fail: Problems in the Adoption of Interdependent Work Tools (MLM, TC), pp. 371–380.
CSCWCSCW-1990-ShepherdMK #named
Strudel — An Extensible Electronic Conversation Toolkit (AS, NM, AK), pp. 93–104.
CAiSECAiSE-1990-Capua #automation #named
FOUNDATION — CASE Tools for the Success of the French Stock Exchange (FDC), p. 3.
CAiSECAiSE-1990-Engeman #development #integration #repository
A Common Repository and Information Model — A Base for Integration of Development Tools (CE), p. 4.
CAiSECAiSE-1990-Nilsson #automation
CASE Tools and Software Factories (EGN), pp. 42–60.
CAiSECAiSE-1990-SmolanderTL #case study #how
How to Combine Tools and Methods in Practice — a Field Study (KS, VPT, KL), pp. 195–214.
CAiSECAiSE-1990-Suomi #case study #development #experience
Selecting System Development Tools: Some Experiences (RS), pp. 61–78.
POPLPOPL-1990-Field #analysis #lazy evaluation #on the #specification
On Laziness and Optimality in λ Interpreters: Tools for Specification and Analysis (JF), pp. 1–15.
WAGAWAGA-1990-Eijk #attribute grammar #prototype
Attribute Grammar Applications in Prototyping LOTOS Tools (PvE), pp. 91–100.
CCCC-1990-Kasyanov #programming
Tools and Techniques of Annotated Programming (VNK), pp. 117–131.
HTHT-1989-NeuwirthK #design #process
The Role of External Representations in the Writing Process: Implications for the Design of Hypertext-Based Writing Tools (CN, DK), pp. 319–341.
VLDBVLDB-1989-Bitton #database #interface
Database Tools and Interfaces (DB), p. 443.
VLDBVLDB-1989-KingN #database #design #interface #named
FaceKit: A Database Interface Design Toolkit (RK, MN), pp. 115–123.
CHICHI-1989-EhrlichBMT
Tools for supporting cooperative work near and far: highlights from the CSCW conference (SFE, TB, WM, JCT), pp. 353–356.
CHICHI-1989-Gibbs #named
LIZA: an extensible groupware toolkit (SJG), pp. 29–35.
CAiSECAiSE-1989-Assche #automation #future of #on the
On the Future of CASE Tools (FVA).
CAiSECAiSE-1989-Bostrom #development #information management
Information Systems Development Supporting Methodologies with Computerized Tools (BTB).
CAiSECAiSE-1989-DahlO #development #modelling
The Relationship between Models, Methods and System Development Tools (i.e. Case Tools and 4GL) (LD, RO).
CAiSECAiSE-1989-HernbackL #analysis #automation #classification #framework #implementation
A Framework for Use and Classification of CASE Tools in Systems Analysis and a Strategy for Implementation (JH, IL).
CAiSECAiSE-1989-Kansala #automation #experience #set
Loosely Integrated Sets of CASE tools: Our Experience (KK).
CAiSECAiSE-1989-KinnulaM #automation #how
How to Test and Compare CASE tools (TK, JM).
CAiSECAiSE-1989-LagerkvistN #automation #how
How to Succeed with Modern Tools such as the CASE tool “Deft” on the Macintosh (CL, ÅN).
CAiSECAiSE-1989-LuchnerKE #automation
Glueing CASE Tools Together in a Heterogeneous CASE Environment (PL, GRK, FE).
CAiSECAiSE-1989-Lustig #automation #how
How CASE Tools and Methods Relate to Each Other (GL).
CAiSECAiSE-1989-Potucek #automation
CASE Tools in an IRM Environment (JP).
CAiSECAiSE-1989-Rolland #automation #future of #modelling #on the #why
On the Future of Modelling — Why Current CASE Tools Insist on Supporting 20 Years Old Methods and Techniques (CR).
CAiSECAiSE-1989-Schefstrom #integration #on the
On Posteriori Integration of Software Tools (DS).
CAiSECAiSE-1989-Sutcliffe #automation #design #interface
CASE Tools and the Human Computer Interface: Implications for Designers (AS).
ICMLML-1989-Spackman #detection #induction #learning
Signal Detection Theory: Valuable Tools for Evaluating Inductive Learning (KAS), pp. 160–163.
ECOOPECOOP-1989-FriedrichHSS #named #visualisation
ObjView: A Task-Oriented, Graphics-Based Tools for Object Visualization and Arrangement (GF, WH, CS, MS), pp. 299–310.
ESECESEC-1989-LacroixV #integration
Tool Integration in an Open Environment (ML, MV), pp. 311–323.
ESECESEC-1989-Shutt #development #program analysis #specification #using
A Rigorous Development Strategy Using the OBJ Specification Language and the MALPAS Program Analysis Tools (RNS), pp. 260–291.
ICSEICSE-1989-PatelONB #formal method
Tools to Support Formal Methods (SP, RAO, MTN, DWB), pp. 123–132.
ICSEICSE-1989-Thomas #integration
Tool Integration in the Pact Environment (IT), pp. 13–22.
DACDAC-1989-DervisogluK #debugging #named #state of the art
ATLAS/ELA: Scan-based Software Tools for Reducing System Debug Time in a State-of-the-art Workstation (BID, MAK), pp. 718–721.
DACDAC-1989-IrwinO #2d #comparison #layout #matrix
A Comparison of Four Two-dimensional Gate Matrix Layout Tools (MJI, RMO), pp. 698–701.
DACDAC-1989-TrickD #behaviour #layout #named #synthesis
LASSIE: Structure to Layout for Behavioral Synthesis Tools (MTT, SWD), pp. 104–109.
CSEETSEI-1988-Werth #how #what #why
Software Tools at the University: Why, What and How (LHW), pp. 169–186.
FMVDME-1988-NielsenHWG
The RAISE Language, Method and Tools (MN, KH, KRW, CG), pp. 376–405.
CSCWCSCW-1988-Trigg #communication #hypermedia
Guided Tours and Tabletops: Tools for Communicating in a Hypertext Environment (RHT), pp. 216–226.
OOPSLAOOPSLA-1988-SzekelyM #constraints #user interface #visual notation
A User Interface Toolkit Based on Graphical Objects and Constraints (PAS, BAM), pp. 36–45.
ICSEICSE-1988-Baecker #readability #visualisation
Enhancing Program Readability and Comprehensibility with Tools for Program Visualization (RB), pp. 356–366.
ICSEICSE-1988-Duncan #development #metric
Software Development Productivity Tools and Metrics (ASD), pp. 41–48.
ICSEICSE-1988-Fonorow #modelling
Modeling Software Tools with Icon (ORF), pp. 202–221.
ICSEICSE-1988-Kishida #evolution
Evolution of Tools (KK), p. 2.
ICSEICSE-1988-OrrNTR #design #realtime
Tools for Real-Time System Design (RAO, MTN, RT, CDVR), pp. 130–140.
CCCCHSC-1988-Kastens #compilation #generative #interface
Abstract Interfaces for Compiler Generating Tools (UK), pp. 103–114.
DACDAC-1988-BergstraesserGHW #architecture #named #synthesis
SMART: Tools and Methods for Synthesis of VLSI Chips with Processor Architecture (TB, JG, KH, SW), pp. 654–657.
CADECADE-1988-TourCC
Some Tools for an Inference Laboratory (ATINF) (TBdlT, RC, GC), pp. 744–745.
HTHT-1987-Jones #hypermedia #parametricity
Developing and Distributing Hypertext Tools: Legal Inputs and Parameters (HWJI), pp. 367–374.
HCIHCI-CE-1987-BylanderCJ
The Generic Task Toolset (TB, BC, JRJ), pp. 507–514.
HCIHCI-CE-1987-Kitto #information management #paradigm #problem #research
Knowledge Acquisition Tools for Different Problem-Solving Paradigms Research at Boeing Computing Services (CMK), pp. 515–522.
PLDIPLDI-1987-KoskimiesP #approach #named #object-oriented
TOOLS: a unifying approach to object-oriented language interpretation (KK, JP), pp. 153–164.
ESECESEC-1987-HekmatpourW #specification #visual notation
Formal Specification of Graphical Notations and Graphical Software Tools (SH, MW), pp. 297–305.
ESECESEC-1987-Tempel #design #set
A Set of Tools supporting the Software Design Based on SDL (HGT), pp. 348–356.
ICSEICSE-1987-Nomura #re-engineering #using
Use of Software Engineering Tools in Japan (TN), pp. 263–269.
DACDAC-1987-DemersJFC #integration #named #object-oriented
CHESHIRE: An Object-Oriented Integration of VLSI CAD Tools (LPD, PJ, SF, EC), pp. 750–756.
ICLPSLP-1987-MatwinSKMK87
A Logic-Based Tools for Negotiation Support (SM, SS, GEK, WM, ZK), pp. 499–506.
CSCWCSCW-1986-Brown #collaboration
Enhancing creativity with collaborative tools (JSB), p. 386.
CSCWCSCW-1986-Neches #people
Tools help people co-operate only to the extent that they help them share goals and terminology (RN), pp. 192–201.
DACDAC-1986-BushnellD #integration #using
VLSI CAD tool integration using the Ulysses environment (MLB, SWD), pp. 55–61.
VLDBVLDB-1985-BouzeghoubGM #approach #database #design
Database Design Tools: An Expert System Approach (MB, GG, EM), pp. 82–95.
ICSEICSE-1985-BuhrWKLL #design #multi #prolog
Experiments with Prolog Design Descriptions and Tools in CAEDE: An Iconic Design Environment for Multitasking, Embdedded Systems (RJAB, CMW, GMK, KVDL, DGL), pp. 62–67.
ICSEICSE-1985-StavelyBOT #concurrent #design
A Collection of Software Tools for Analyzing Design of Concurrent Software Systems (AMS, DCB, SPO, GBT), pp. 111–118.
DACDAC-1985-ChuL #design #layout
Technology tracking for VLSI layout design tools (KCC, YEL), pp. 279–285.
DACDAC-1985-HughesLR #automation #design #distributed #execution
A technique for distributed execution of design automation tools (SCH, DBL, CJR), pp. 23–30.
DACDAC-1985-RoseBT #analysis #design #performance #probability
Integrating stochastic performance analysis with system design tools (CWR, MB, YT), pp. 482–488.
TAPSOFTAS-1985-ScherlisS #programming #semantics #summary
Semantically Based Programming Tools (Summary) (WLS, DSS), pp. 52–59.
ICLPSLP-1985-OKeefe85 #on the #prolog
On the Treatment of Cuts in Prolog Source-Level Tools (RAO), pp. 68–72.
LISPLFP-1984-Lieberman #debugging #lisp #towards
Steps Toward Better Debugging Tools for Lisp (HL), pp. 247–255.
ICSEICSE-1984-HennellHR
Assessing a Class of Software Tools (MAH, DH, IJR), pp. 266–277.
ICSEICSE-1984-Schroeder #documentation #metric
Integrated Program Measurement and Documentation Tools (AS), pp. 304–313.
DACDAC-1984-Marwedel #design
The mimola design system: Tools for the design of digital processors (PM), pp. 587–593.
DACDAC-1984-Smith #layout #what
Basic turorial layout tools — what really is there (RS), p. 219.
DACDAC-1983-Sapiro #question
Engineering Workstations: Tools or toys? (SS), pp. 79–80.
DACDAC-1983-Tomkinson #automation #design #named
UCAD: Building Design Automation with general purpose software tools on UNIX (JHT), pp. 774–787.
ICALPICALP-1982-GuttagKM #term rewriting
Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term rewriting Systems (JVG, DK, DRM), pp. 300–312.
ICSEICSE-1982-BabichWW #ada #design
Design Considerations in Language Processing Tools for Ada (WAB, LW, MW), pp. 40–47.
DACDAC-1982-BeylsHLMP #design #layout
A design methodology based upon symbolic layout and integrated cad tools (AMB, BH, JL, GM, AP), pp. 872–878.
DACDAC-1982-FriendensonBT #delivery #design
Designer’s Workbench: Delivery of cad tools (RAF, JRB, TJT), pp. 15–22.
VLDBVLDB-1981-Hainaut #database #design
Theoretical and Practical Tools for Data Base Design (JLH), pp. 216–224.
ICSEICSE-1981-Lingard #interactive
A Software Methodology for Buidling Interactive Tools (RWL), pp. 394–399.
DACDAC-1981-Dutton #automation #design #perspective
Position statement — tools for design automation from a university point of view (RWD), p. 333.
VLDBVLDB-1980-Jefferson #database #design #development
The Development and Application of Data Base Design Tools and Methodology (DKJ), pp. 153–154.
VLDBVLDB-1980-Nambiar #database #design #relational
Some Analytic Tools for the Design of Relational Database Systems (KKN), pp. 417–428.
DACDAC-1980-Lee #design
Design tools for VLSI (BL), p. 342.
VLDBVLDB-1979-QuintellaGOAL #case study #database #development
A Methodologic Guide-Line for the Instalation of Data Base Development Tools and Data Administration Tools: Two Case Studies from Brazil (HMQ, GAdG, MRdO, LTdA, FRL), pp. 313–318.
VLDBVLDB-1979-RollandLR #information management
Tools for Information System Dynamics Management (CR, SL, CR), pp. 251–261.
PLDISCC-1979-Feldman #compilation #fortran #implementation #using
Implementation of a portable Fortran 77 compiler using modern tools (SIF), pp. 98–106.
ICSEICSE-1979-Vick #on the #past present future #re-engineering
On Software Engineering Tools: Past, Present and Future (CRV), p. 52.
DACDAC-1979-Giuliani #design
Will Disign tools catch up to VLSI design (DG), pp. 544–545.
VLDBVLDB-1978-BubenkoY #database #design
Data Base Design Tools (JABJ, SBY), p. 2.
VLDBVLDB-1977-ChenY #database #design #performance
Design and Performance Tools for Data Base Systems (PPC, SBY), pp. 3–15.
DACDAC-1977-Fulton
Tools for map graphics (PF), pp. 94–100.
ICSEICSE-1976-Koppang #design #development #process #set
Process Design System: An Integrated Set of Software Development Tools (RGK), pp. 86–90.
ICSEICSE-1976-MasheyS #documentation
Documentation Tools and Techniques (JRM, DWS), pp. 177–181.
DACDAC-1976-HorbstPB #interactive
Engagement of interactive graphic tools in a CAD-system for digital units (EH, RP, WB), pp. 86–90.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.