BibSLEIGH — tool support tag

tool support

tool support

Tag #tool support

1454 papers:

CC-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.
ECSA-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.
EDM-2019-VaratharajBLH #assessment #automation: Hao Fa Yin: Developing Automated Audio Assessment Tools for a Chinese Language Course (AV, AFB, XL, NTH).
ICPC-2019-BaiCSCWS #composition #regular expression: Exploring tools and strategies used during regular expression composition tasks (GRB, BC, NS, CC, CW, KTS), pp. 197–208.
ICPC-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.
MSR-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.
SANER-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-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-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.
DiGRA-2019-ToftedahlE #game studies #industrial #taxonomy: A Taxonomy of Game Engines and the Tools that Drive the Industry (MT, HE).
ECIR-p2-2019-MoraesH #named #stack #web: node-indri: Moving the Indri Toolkit to the Modern Web Stack (FM, CH), pp. 241–245.
ECIR-p2-2019-TschuggnallGS #named #visualisation: StyleExplorer: A Toolkit for Textual Writing Style Visualization (MT, TG, GS), pp. 220–224.
ASE-2019-CastroPA #locality #named: Pangolin: An SFL-Based Toolset for Feature Localization (BC, AP, RA), pp. 1130–1133.
ASE-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-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-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-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.
CASE-2019-ChengT #flexibility #using: Control of a mechatronics-assisted system for surgeries using flexible tools (LC, MT), pp. 1768–1773.
CASE-2019-MarzanoFM #energy #performance #policy: Energy Efficient State Control of Machine Tools: a Time-Based Dynamic Control Policy (LM, NF, AM), pp. 596–601.
FASE-2019-RungeSCTKW: Tool Support for Correctness-by-Construction (TR, IS, LC, TT, DGK, BWW), pp. 25–42.
CAV-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.
ICPC-2018-LyuNK #diagrams #named #sequence chart: SDexplorer: a generic toolkit for smoothly exploring massive-scale sequence diagram (KL, KN, TK), pp. 380–384.
ICSME-2018-Nucci #testing: Methods and Tools for Focusing and Prioritizing the Testing Effort (DDN), pp. 722–726.
SANER-2018-IslamZ #analysis #comparison #re-engineering #sentiment: A comparison of software engineering domain specific sentiment analysis tools (MRI, MFZ), pp. 487–491.
SANER-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.
SCAM-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.
FM-2018-BeckerPDT #analysis #float #optimisation: Combining Tools for Optimization and Analysis of Floating-Point Computations (HB, PP, ED, ZT), pp. 355–363.
FM-2018-BeyeneR #integration #verification: Evidential and Continuous Integration of Software Verification Tools (TAB, HR), pp. 679–685.
CIG-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.
FDG-2018-CooperSKSS #game studies: Repurposing citizen science games as software tools for professional scientists (SC, ALRS, RK, WMS, JBS), p. 6.
FDG-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.
FDG-2018-Maureira #game studies #learning #named: CURIO: a game-based learning toolkit for fostering curiosity (MAGM), p. 6.
KDD-2018-Smola #algorithm #hardware: Algorithms, Data, Hardware and Tools: A Perfect Storm (AS), p. 2878.
MoDELS-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.
PADL-2018-CatalanoLRRV #development #framework: A REST-Based Development Framework for ASP: Tools and Application (GC, GL, KR, FR, PV), pp. 161–169.
ASE-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.
ASE-2018-Vera-PerezMB #detection #named #pseudo: Descartes: a PITest engine to detect pseudo-tested methods: tool demonstration (OLVP, MM, BB), pp. 908–911.
ASE-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-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-FSE-2018-PauckBW #analysis #android #question: Do Android taint analysis tools keep their promises? (FP, EB, HW), pp. 331–341.
ESEC-FSE-2018-RoyPDH #debugging #fault #synthesis: Bug synthesis: challenging bug-finding tools with deep faults (SR, AP, BDG, YH), pp. 224–234.
ESEC-FSE-2018-Spadini #testing: Practices and tools for better software testing (DS), pp. 928–931.
CASE-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.
FASE-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.
CAV-2018-GrishchenkoMS #contract #static analysis: Foundations and Tools for the Static Analysis of Ethereum Smart Contracts (IG, MM, CS), pp. 51–78.
ICST-2018-PrauseGG #automation #verification: Evaluating Automated Software Verification Tools (CP, RG, RG), pp. 343–353.
ICST-2018-RaposC #evolution #maintenance #named: SimEvo: A Toolset for Simulink Test Evolution & Maintenance (EJR, JRC), pp. 410–415.
IJCAR-2018-HirokawaNM #confluence #framework: Cops and CoCoWeb: Infrastructure for Confluence Tools (NH, JN, AM), pp. 346–353.
ICSA-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.
JCDL-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.
CSEET-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.
ICPC-2017-AzadmaneshHV #comprehension #data flow #independence: Language-independent information flow tracking engine for program comprehension tools (MRA, MH, MLVdV), pp. 346–355.
ICSME-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.
ICSME-2017-CaiR17a #android #named: DroidFax: A Toolkit for Systematic Characterization of Android Applications (HC, BGR), pp. 643–647.
ICSME-2017-KevicF #towards: Towards Activity-Aware Tool Support for Change Tasks (KK, TF0), pp. 171–182.
MSR-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.
MSR-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.
SANER-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.
SANER-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.
AIIDE-2017-Grow: Cooperative Creativity Support Tools for Computational Crafting (AG), pp. 289–291.
FDG-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.
KDD-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.
MoDELS-2017-AravantinosK #verification: Tool Support for Live Formal Verification (VA, SK), pp. 145–155.
MoDELS-2017-KlareBKLSR #java #metamodelling #named: Ecoreification: Making Arbitrary Java Code Accessible to Metamodel-Based Tools (HK, EB, MEK, ML, TS, RHR), pp. 221–228.
MoDELS-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.
LOPSTR-2017-AlbertiS #analysis #c #generative #specification: Context Generation from Formal Specifications for C Analysis Tools (MA, JS), pp. 93–111.
ASE-2017-CorradiniFP0TV17a #named #process #verification: BProVe: tool support for business process verification (FC, FF, AP, BR0, FT, AV), pp. 937–942.
ESEC-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.
SLE-2017-LuhunuS #code generation #comparison #performance: Comparison of the expressiveness and performance of template-based code generation tools (LL, ES), pp. 206–216.
CASE-2017-BaoW #clustering #multi #scheduling: Cyclic scheduling of multi-cluster tools based on equivalent processing modules (TB, HW), pp. 642–647.
CASE-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.
FASE-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.
ICST-2017-PatrickDG #probability #simulation #statistics #testing: A Toolkit for Testing Stochastic Simulations against Statistical Oracles (MP, RD, CAG), pp. 448–453.
CSEET-2016-GoncalvesW #education #project management: An Instructional Unit for Teaching Project Management Tools Aligned with PMBOK (RQG, CGvW), pp. 46–55.
CSEET-2016-LeppanenLI #ad hoc #student: Hammer and Nails - Crucial Practices and Tools in Ad Hoc Student Teams (ML, SL, PI), pp. 142–146.
CSEET-2016-LiebelHS #education #industrial #modelling #using: Impact of the Use of Industrial Modelling Tools on Modelling Education (GL, RH, JPS), pp. 18–27.
CSEET-2016-SouzaFB #assessment #overview #programming: A Systematic Literature Review of Assessment Tools for Programming Assignments (DMdS, KRF, EFB), pp. 147–156.
EDM-2016-SabourinMW #data mining #education #mining: SAS Tools for Educational Data Mining (JS, SWM, ADW), pp. 632–633.
ICSME-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.
MSR-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.
SANER-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.
SANER-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.
SCAM-2016-HollandSAK #algorithm #complexity #detection #dynamic analysis: Statically-Informed Dynamic Analysis Tools to Detect Algorithmic Complexity Vulnerabilities (BH, GRS, PA, SK), pp. 79–84.
SCAM-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.
FM-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.
SEFM-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.
CIKM-2016-LiPC #benchmark #metric #named #query: OptMark: A Toolkit for Benchmarking Query Optimizers (ZL, OP, MC), pp. 2155–2160.
CIKM-2016-ShaabaniASS #named #synthesis: MIST: Missing Person Intelligence Synthesis Toolkit (ES, HA, PS, JEKS), pp. 1843–1867.
KDD-2016-SeideA #named #open source: CNTK: Microsoft's Open-Source Deep-Learning Toolkit (FS, AA), p. 2135.
MoDELS-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.
MoDELS-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.
ASE-2016-LiuGAA #automation #integration #named #testing: TeeVML: tool support for semi-automatic integration testing environment emulation (JL, JCG, IA, MAA), pp. 840–845.
ASE-2016-SchwagerlW #collaboration #modelling #named #product line: SuperMod: tool support for collaborative filtered model-driven software product line engineering (FS, BW), pp. 822–827.
FSE-2016-Barik #developer #how #question #static analysis: How should static analysis tools explain anomalies to developers? (TB), pp. 1118–1120.
FSE-2016-Hammoudi #testing #using #web: Regression testing of web applications using Record/Replay tools (MH), pp. 1079–1081.
FSE-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.
CASE-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.
CASE-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.
CASE-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.
CASE-2016-YangWQZ #analysis #clustering #hybrid #multi #scheduling: Optimal scheduling analysis of treelike hybrid multi-cluster tools (FY, NW, YQ, MZ), pp. 1400–1404.
JCDL-2015-Adamczyk #library: The Google Cultural Institute: Tools for Libraries, Archives, and Museums (PA), p. 1.
EDM-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.
EDM-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.
EDM-2015-Popescu #data analysis #design #interactive: Data Analysis Tools and Methods for Improving the Interaction Design in e-Learning (PSP), pp. 653–655.
ITiCSE-2015-GreenbergR: Tools for Outreach Presentations (RIG, DR), p. 331.
ITiCSE-2015-KarpovaDHP #algebra #named #parsing #relational: RAPT: Relational Algebra Parsing Tools (OK, ND, DH, AP), p. 334.
ICSME-2015-JongelingDS #analysis #re-engineering #research #sentiment: Choosing your weapons: On sentiment analysis tools for software engineering research (RJ, SD, AS), pp. 531–535.
ICSME-2015-SvajlenkoR #clone detection #detection: Evaluating clone detection tools with BigCloneBench (JS, CKR), pp. 131–140.
SANER-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.
SANER-2015-MuskeB #on the #static analysis: On implementational variations in static analysis tools (TM, PB), pp. 512–515.
SANER-2015-PanichellaAPA #code review #developer #question #static analysis: Would static analysis tools help developers with code reviews? (SP, VA, MDP, GA), pp. 161–170.
SCAM-2015-SzokeNFFG #automation #named #refactoring #smell: FaultBuster: An automatic code smell refactoring toolset (GS, CN, LJF, RF, TG), pp. 253–258.
ICALP-v1-2015-AronovK #algebra #diagrams: Batched Point Location in SINR Diagrams via Algebraic Tools (BA, MJK), pp. 65–77.
Haskell-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-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.
FDG-2015-RyanKMW15a #analysis #game studies #semantics #using: Tools for Game Discovery Built Using Latent Semantic Analysis (JOR, EK, MM, NWF).
VS-Games-2015-HeinimakiE #automation: Augmenting Technology Trees: Automation and Tool Support (TJH, TE), pp. 1–8.
ICGT-2015-LeblebiciAS #graph grammar #multi: Tool Support for Multi-amalgamated Triple Graph Grammars (EL, AA, AS), pp. 257–265.
CHI-2015-AmershiCDLSS #analysis #machine learning #named #performance: ModelTracker: Redesigning Performance Analysis Tools for Machine Learning (SA, MC, SMD, BL, PYS, JS), pp. 337–346.
CHI-2015-HoubenM #named #prototype: WatchConnect: A Toolkit for Prototyping Smartwatch-Centric Cross-Device Applications (SH, NM), pp. 1247–1256.
CHI-2015-JacobsZ #collaboration #design #hybrid: Hybrid Practice in the Kalahari: Design Collaboration through Digital Tools and Hunter-Gatherer Craft (JJ, AZ), pp. 619–628.
CHI-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.
CHI-2015-PlimmerHZKYJBD #interactive: New Interaction Tools for Preserving an Old Language (BP, LH, TZ, KK, AWY, GJ, RB, EYLD), pp. 3493–3502.
CHI-2015-VatavuW #analysis #elicitation #formal method #metric: Formalizing Agreement Analysis for Elicitation Studies: New Measures, Significance Test, and Toolkit (RDV, JOW), pp. 1325–1334.
CSCW-2015-FreitasD #collaboration #framework: The Group Context Framework: An Extensible Toolkit for Opportunistic Grouping and Collaboration (AAdF, AKD), pp. 1602–1611.
CSCW-2015-HalbertN #design #interactive: Designing for Discomfort: Supporting Critical Reflection through Interactive Tools (HH, LPN), pp. 349–360.
DUXU-DD-2015-ChasanidouGL #design: Design Thinking Methods and Tools for Innovation (DC, AAG, EL), pp. 12–23.
DUXU-DD-2015-Penzenstadler #design: A Toolkit for SE for Sustainability — A Design Fiction (BP), pp. 634–643.
DUXU-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.
DUXU-UI-2015-Bahr #mobile #prototype #requirements #towards #user interface: Towards a Requirements Catalogue for Prototyping Tools of Mobile User Interfaces (BB), pp. 495–507.
LCT-2015-Alvarez-Montero #concept #feedback #overview #perspective: Feedback in Computer-Based Concept Mapping Tools: A Short Review (FJÁM, HJG, ERR), pp. 187–198.
LCT-2015-GonzalezHGS #interactive #learning #student: Exploring Student Interactions: Learning Analytics Tools for Student Tracking (MÁCG, ÁHG, FJGP, MLSE), pp. 50–61.
ICEIS-v3-2015-BhatRM #architecture #enterprise #evolution #metric: Tool Support for Analyzing the Evolution of Enterprise Architecture Metrics (MB, TR, FM), pp. 154–161.
SEKE-2015-FonsecaBF #integration #metric: Integration of Software Measurement Supporting Tools: A Mapping Study (VSF, MPB, RdAF), pp. 516–521.
SEKE-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.
ECMFA-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.
ECMFA-2015-SafdarIK #empirical #evaluation #modelling #uml: Empirical Evaluation of UML Modeling Tools — A Controlled Experiment (SAS, MZI, MUK), pp. 33–44.
MoDELS-2015-FoucheNGE #diagrams #generative #modelling #standard: Systematic generation of standard compliant tool support of diagrammatic modeling languages (AF, FN, SG, ME), pp. 348–357.
SPLC-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.
SPLC-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.
Onward-2015-BarmanBCTBC #interactive #synthesis #towards: Toward tool support for interactive synthesis (SB, RB, SC, ET, AB, DC), pp. 121–136.
PLATEAU-2015-ChisNG #development #towards: Towards moldable development tools (AC, ON, TG), pp. 25–26.
PLATEAU-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.
ASE-2015-VuPNN #mobile: Tool Support for Analyzing Mobile App Reviews (PMV, HVP, TTN, TTN), pp. 789–794.
ESEC-FSE-2015-JohnsonPMH #adaptation #concept #developer: Bespoke tools: adapted to the concepts developers know (BJ, RP, ERMH, SH), pp. 878–881.
ESEC-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-FSE-2015-WitscheyZWMMZ #developer #security: Quantifying developers’ adoption of security tools (JW, OZ, AKW, ERMH, CBM, TZ), pp. 260–271.
GTTSE-2015-Steimann #refactoring: Refactoring Tools and Their Kin (FS), pp. 179–214.
ICSE-v1-2015-SmithBZ #exclamation #scalability: Build It Yourself! Homegrown Tools in a Large Software Company (EKS, CB, TZ), pp. 369–379.
ICSE-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.
SAC-2015-SousaS #domain-specific language #simulation: A domain specific language for spatial simulation scenarios (DSL3S): introduction and tool support (LdS, ARdS), pp. 1854–1856.
SAC-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.
SAC-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.
GPCE-2015-AdamS #domain-specific language #towards: Towards tool support for spreadsheet-based domain-specific languages (SA, UPS), pp. 95–98.
GPCE-2015-El-SharkawyKS #analysis #semantics: Analysing the Kconfig semantics and its analysis tools (SES, AK, KS), pp. 45–54.
CASE-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.
CASE-2015-FrigerioSM #energy #programming: Dynamic programming for energy control of machine tools in manufacturing (NF, JGS, AM), pp. 39–44.
CASE-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.
CASE-2015-PanZQ #clustering #how #process: How to start-up dual-arm cluster tools involving a wafer revisiting process (CP, MZ, YQ), pp. 1194–1199.
CASE-2015-SchafaschekQC #clustering #composition #scheduling: Local modular supervisory control applied to the scheduling of cluster tools (GS, MHdQ, JERC), pp. 1381–1388.
CASE-2015-TiengYC #precise: Total precision inspection of machine tools with virtual metrology (HT, HCY, FTC), pp. 1446–1447.
CASE-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.
DAC-2015-WangR #design: Design tools for oscillator-based computing systems (TW, JR), p. 6.
DATE-2015-SaifhashemiHBB #equivalence #logic #using: Logical equivalence checking of asynchronous circuits using commercial tools (AS, HHH, PB, PAB), pp. 1563–1566.
CAV-2015-DemyanovaPVZ #benchmark #empirical #metric #verification: Empirical Software Metrics for Benchmarking of Verification Tools (YD, TP, HV, FZ), pp. 561–579.
ICST-2015-CseppentoM #symbolic computation: Evaluating Symbolic Execution-Based Test Tools (LC, ZM), pp. 1–10.
ICTSS-2015-CheMNZ #monitoring #testing: Guiding Testers' Hands in Monitoring Tools: Application of Testing Approaches on SIP (XC, SM, HNN, FZ), pp. 105–123.
TAP-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.
WICSA-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.
DocEng-2014-SchmitzP #big data: Humanist-centric tools for big data: berkeley prosopography services (PS, LP), pp. 179–188.
DocEng-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.
PODS-2014-Haas #challenge #ecosystem #roadmap: Model-data Ecosystems: challenges, tools, and trends (PJH), pp. 76–87.
SIGMOD-2014-ParameswaranTGW #named: DataSift: a crowd-powered search toolkit (AGP, MHT, HGM, JW), pp. 885–888.
VLDB-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.
ITiCSE-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.
CSMR-WCRE-2014-KlammerP #legacy #towards: Towards tool support for analyzing legacy systems in technical domains (CK, JP), pp. 371–374.
CSMR-WCRE-2014-PerscheidH #debugging #fault #navigation #testing: Follow the path: Debugging tools for test-driven fault navigation (MP, RH), pp. 446–449.
CSMR-WCRE-2014-RooverS #development #library #metaprogramming #using: Building development tools interactively using the EKEKO meta-programming library (CDR, RS), pp. 429–433.
ICSME-2014-HallKWM #automation #source code: Establishing the Source Code Disruption Caused by Automated Remodularisation Tools (MH, MAK, NW, PM), pp. 466–470.
ICSME-2014-SvajlenkoR #clone detection #detection: Evaluating Modern Clone Detection Tools (JS, CKR), pp. 321–330.
ICSME-2014-ZhangHD #automation #parallel #scalability #simulation #validation: Tools for Enabling Automatic Validation of Large-Scale Parallel Application Simulations (DZ, GH, DD), pp. 601–604.
SCAM-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.
LATA-2014-DubourgJ #algebra: Algebraic Tools for the Overlapping Tile Product (ED, DJ), pp. 335–346.
FM-2014-ArmstrongGS #algebra #concurrent #verification: Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools (AA, VBFG, GS), pp. 78–93.
SEFM-2014-ArmstrongGS #higher-order #lightweight #verification: Lightweight Program Construction and Verification Tools in Isabelle/HOL (AA, VBFG, GS), pp. 5–19.
SEFM-2014-KoreckoSDS #development #education #formal method: A Toolset for Support of Teaching Formal Software Development (SK, JS, ZD, BS), pp. 278–283.
SEFM-2014-Leroy #code generation #proving #verification: Formal Proofs of Code Generation and Verification Tools (XL), pp. 1–4.
SEFM-2014-SznukS #education #hoare #logic: Tool Support for Teaching Hoare Logic (TS, AS), pp. 332–346.
CIG-2014-ScalesT #api: SpelunkBots API - An AI toolset for Spelunky (DS, TT), pp. 1–8.
FDG-2014-GrowGGMW #analysis #architecture #authoring #requirements: A methodology for requirements analysis of AI architecture authoring tools (AG, SEG, PG, MM, NWF).
FDG-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).
FDG-2014-StraatV #evaluation: Evaluating the evaluation tools (BS, HV).
GT-VMT-2014-LeblebiciASHRG #comparison #graph grammar #incremental: A Comparison of Incremental Triple Graph Grammar Tools (EL, AA, AS, SH, JR, JG).
CHI-2014-AtachiantsGJD #design #parallel #performance: Design considerations for parallel performance tools (RA, DG, KJ, GD), pp. 2501–2510.
CHI-2014-BardzellBT #quote #self: “Now that’s definitely a proper hack”: self-made tools in hackerspaces (JB, SB, AT), pp. 473–476.
CHI-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.
CHI-2014-HarrisonXSH #interactive #named #physics: TouchTools: leveraging familiarity and skill with physical tools to augment touch interaction (CH, RX, JS, SEH), pp. 2913–2916.
CHI-2014-LafreniereGMF #video: Investigating the feasibility of extracting tool demonstrations from in-situ video content (BL, TG, JM, GWF), pp. 4007–4016.
CHI-2014-VigoJS #authoring #design #ontology: Design insights for the next wave ontology authoring tools (MV, CJ, RS), pp. 1555–1558.
CSCW-2014-KangKK #analysis #collaboration #information management: Teammate inaccuracy blindness: when information sharing tools hinder collaborative analysis (RK, AK, SBK), pp. 797–806.
CSCW-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.
CSCW-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.
CSCW-2014-XiaoWM #development #security #social #why: Social influences on secure development tool adoption: why security tools spread (SX, JW, ERMH), pp. 1095–1106.
DUXU-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.
DUXU-ELAS-2014-George-PalilonisB #multi #student #tablet: SMART Note: Student-Centered Multimedia Active Reading Tools for Tablet Textbooks (JGP, DB), pp. 217–229.
DUXU-TMT-2014-MichailidouSKL #design #experience #user interface: A User Experience Design Toolkit (IM, CvS, SK, UL), pp. 163–172.
DUXU-TMT-2014-OrehovackiG #assessment: Subjective and Objective Assessment of Mashup Tools (TO, TG), pp. 340–351.
HCI-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.
HCI-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.
HCI-TMT-2014-Merlin #implementation #interactive #paradigm: IntNovate a Toolkit to Ease the Implementation of Every Interaction Paradigm on Every Device (BM), pp. 331–339.
HIMI-DE-2014-BoscarioliVTR #clustering #human-computer: Analyzing HCI Issues in Data Clustering Tools (CB, JV, MFT, VHR), pp. 22–33.
HIMI-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.
LCT-NLE-2014-MorGHH #assessment #design #learning: Designing Learning Tools: The Case of a Competence Assessment Tool (EM, AEGR, EH, MAH), pp. 83–94.
LCT-NLE-2014-YusoffS #concept #framework #overview: A Review of Storyboard Tools, Concepts and Frameworks (NMY, SSS), pp. 73–82.
LCT-TRE-2014-AgesilaouVIZ #collaboration #education #wiki: Collaborative Tools in the Primary Classroom: Teachers’ Thoughts on Wikis (AA, CV, SI, MZ), pp. 239–247.
SCSM-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.
VISSOFT-2014-SeriaiBCS #validation #visualisation: Validation of Software Visualization Tools: A Systematic Mapping Study (AS, OB, BC, HAS), pp. 60–69.
CAiSE-2014-OhlssonHJCR #process: Prioritizing Business Processes Improvement Initiatives: The Seco Tools Case (JO, SH, PJ, FC, LR), pp. 256–270.
ICPR-2014-MontealegreH #interactive #named #visual notation: GIST: Graphical Interactive Display Tools Defining a Model for Interactive Search (IM, RMH), pp. 2984–2989.
KMIS-2014-BorchardtRL: Determining and Evaluating the Benefits of KM Tool Support for SME (UB, JR, BL), pp. 203–211.
RecSys-2014-SaidB14a #evaluation #named #recommendation: Rival: a toolkit to foster reproducibility in recommender system evaluation (AS, AB), pp. 371–372.
SEKE-2014-ShankarN #automation #metric: Automated Metrics Collection for IEC61131-3 Languages from Engineering Tools (MS, AN), pp. 7–12.
SIGIR-2014-Jones #retrieval #speech: Speech search: techniques and tools for spoken content retrieval (GJFJ), p. 1287.
MoDELS-2014-GomesBA #classification #model transformation #pattern matching: Classification of Model Transformation Tools: Pattern Matching Techniques (CG, BB, VA), pp. 619–635.
PLATEAU-2014-SadowskiY #concurrent #detection #developer #how: How Developers Use Data Race Detection Tools (CS, JY), pp. 43–51.
ASE-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.
ASE-2014-ThungKL #debugging #detection #named: DupFinder: integrated tool support for duplicate bug report detection (FT, PSK, DL), pp. 871–874.
FSE-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.
FSE-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.
FSE-2014-Penix #case study #developer #experience: Experiences developing tools for developers (JP), p. 4.
FSE-2014-ThungLKL #debugging #locality #named: BugLocalizer: integrated tool support for bug localization (FT, TDBL, PSK, DL), pp. 767–770.
FSE-2014-XiaoCK #analysis #architecture #named #quality: Titan: a toolset that connects software architecture with quality analysis (LX, YC, RK), pp. 763–766.
ICSE-2014-OkurHDD #c# #case study #programming: A study and toolkit for asynchronous programming in c# (SO, DLH, DD, AvD), pp. 1117–1127.
ICSE-2014-SchillerDCE #case study #contract #specification: Case studies and tools for contract specifications (TWS, KD, FC, MDE), pp. 596–607.
CASE-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.
CASE-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.
CGO-2014-ChabbiLM: Call Paths for Pin Tools (MC, XL, JMMC), p. 76.
DATE-2014-Jin #evaluation #proving #security #trust: EDA tools trust evaluation through security property proofs (YJ), pp. 1–4.
PDP-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.
TACAS-2014-HartmannsH #ide #modelling #verification: The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification (AH, HH), pp. 593–598.
ISSTA-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.
TAP-2014-BardinCDK #automation #testing: An All-in-One Toolkit for Automated White-Box Testing (SB, OC, MD, NK), pp. 53–60.
CBSE-2013-Danielson #empirical: Ethics outside the box: empirical tools for an ethics of artificial agents (PD), pp. 1–2.
TPDL-2013-BoelhouwerDK #state of the art: State-of-the-Art Tools for Text Digitisation (BB, AD, SK), pp. 486–487.
ICPC-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.
ICSM-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.
ICSM-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.
ICSM-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.
SCAM-2013-SvajlenkoRD #analysis #generative #named #similarity: ForkSim: Generating software forks for evaluating cross-project similarity analysis tools (JS, CKR, SD), pp. 37–42.
WCRE-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.
VS-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.
CHI-2013-GrossPBB: Machinima production tools: a vernacular history of a creative medium (SG, TP, JB, SB), pp. 971–980.
CHI-2013-KramerKKWB #behaviour #developer #how #ide #navigation: How tools in IDEs shape developers’ navigation behavior (JPK, TK, JK, MW, JOB), pp. 3073–3082.
CHI-2013-UzorB #design: Exploring & designing tools to enhance falls rehabilitation in the home (SU, LB), pp. 1233–1242.
CHI-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.
CHI-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.
CSCW-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.
CSCW-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.
DUXU-NTE-2013-JaimesMR #trust: Increasing Trust in Personal Informatics Tools (LGJ, TM, AR), pp. 520–529.
DUXU-WM-2013-Zahabi #interface #online #research #student: Exploring Information-Triage: Speculative Interface Tools to Help College Students Conduct Online Research (LZ), pp. 611–620.
HCI-IMT-2013-CamaraBMRB #3d #navigation: Evaluating Devices and Navigation Tools in 3D Environments (MC, PFdAB, ITM, AR, SDJB), pp. 439–448.
HIMI-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.
HIMI-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.
HIMI-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.
HIMI-LCCB-2013-HallLS #assessment #evaluation #learning: Psychophysiological Assessment Tools for Evaluation of Learning Technologies (RHH, NSL, HS), pp. 33–42.
HIMI-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.
OCSC-2013-MurraySWWXS #online #social: Supporting Social Deliberative Skills Online: The Effects of Reflective Scaffolding Tools (TM, LS, BPW, LW, XX, NS), pp. 313–322.
VISSOFT-2013-ReissT13a #visualisation: Tool demonstration: The visualizations of code bubbles (SPR, AT), pp. 1–4.
ICEIS-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.
ICEIS-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.
KDIR-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.
KDIR-KMIS-2013-SousaM #using #web: Diagnosis of the Use of Web 2.0 Tools in the Portuguese Financial Institutions (CS, PM), pp. 368–372.
SEKE-2013-BassoWPO #how #question #reuse: How do You Execute Reuse Tasks Among Tools? (FPB, CMLW, RMP, TCO), pp. 721–726.
BX-2013-HildebrandtLGRGSLAS #graph grammar #overview: A Survey of Triple Graph Grammar Tools (SH, LL, HG, JR, JG, WS, ML, AA, AS), pp. 1–17.
MoDELS-2013-ElaasarN #case study #development #lifecycle #modelling: Integrating Modeling Tools in the Development Lifecycle with OSLC: A Case Study (ME, AN), pp. 154–169.
MoDELS-2013-FrancisKMP #spreadsheet: Adding Spreadsheets to the MDE Toolkit (MF, DSK, NDM, RFP), pp. 35–51.
MoDELS-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.
ECOOP-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.
HILT-2013-DoranA #development #embedded #modelling #named: Reddo: a model driven engineering toolset for embedded software development (SD, SEA), pp. 47–48.
ER-BR-2013-FilhoLRS #named #traceability: RETRATOS: Requirement Traceability Tool Support (GACF, ML, AR, CS).
ASE-2013-0002IP #c #concurrent #named #preprocessor #verification: CSeq: A concurrency pre-processor for sequential C verification tools (BF, OI, GP), pp. 710–713.
ASE-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-FSE-2013-KumarN #static analysis: The economics of static analysis tools (RK, AVN), pp. 707–710.
ICSE-2013-Carvalho #comprehension #concept #ontology #problem: An ontology toolkit for problem domain concept location in program comprehension (NRC), pp. 1415–1418.
ICSE-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.
ICSE-2013-MemonC #automation #modelling #testing #user interface: Automated testing of GUI applications: models, tools, and controlling flakiness (AMM, MBC), pp. 1479–1480.
SLE-2013-LammelMV #wiki: Method and Tool Support for Classifying Software Languages with Wikipedia (RL, DM, AV), pp. 249–259.
CASE-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.
CASE-2013-JinM #algorithm #clustering #constraints #scheduling: Transient scheduling of single armed cluster tools: Algorithms for wafer residency constraints (HYJ, JRM), pp. 856–861.
CASE-2013-KimLK #clustering #scheduling: Optimal scheduling of transient cycles for single-armed cluster tools (DKK, TEL, HJK), pp. 874–879.
CASE-2013-KumarNSCK #visual notation: Product of tracking experts for visual tracking of surgical tools (SK, MSN, PS, JJC, VK), pp. 480–485.
CASE-2013-QiaoWZ #clustering #scheduling: Scheduling of time constrained dual-arm cluster tools with wafer revisiting (YQ, NW, MZ), pp. 868–873.
CASE-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.
DAC-2013-DallyMK #design: 21st century digital design tools (WJD, CM, SWK), p. 6.
DATE-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.
PLOS-2013-SunFBG #agile #automation #file system #generative: Annotation for automation: rapid generation of file system tools (KJS, DF, ADB, AG), p. 6.
TACAS-2013-CranenGKSVWW #overview: An Overview of the mCRL2 Toolset and Its Recent Advances (SC, JFG, JJAK, FPMS, EPdV, WW, TACW), pp. 199–213.
ICST-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.
ICTSS-2013-FariaPC #consistency #diagrams #sequence chart #testing #uml: Techniques and Toolset for Conformance Testing against UML Sequence Diagrams (JPF, ACRP, MVdC), pp. 180–195.
TAP-2013-GogollaBC #analysis #benchmark #metric #ocl #uml: Initiating a Benchmark for UML and OCL Analysis Tools (MG, FB, JC), pp. 115–132.
VMCAI-2013-CruanesHOS #integration: Tool Integration with the Evidential Tool Bus (SC, GH, SO, NS), pp. 275–294.
VMCAI-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.
DocEng-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.
DRR-2012-DasSS #automation #documentation #workflow: Questioned document workflow for handwriting with automated tools (KD, SNS, HS).
TPDL-2012-LlewellynGOH #analysis #using: Enhancing the Curation of Botanical Data Using Text Analysis Tools (CL, CG, JO, EH), pp. 480–485.
TPDL-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.
TPDL-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.
ITiCSE-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.
ITiCSE-2012-HershkovichH #education #how: How innovative technology tools can be used to create new methodology for teaching knowledge (EH, BH), p. 387.
CSMR-2012-FontanaCZ #benchmark #design pattern #detection #metric #named: DPB: A Benchmark for Design Pattern Detection Tools (FAF, AC, MZ), pp. 235–244.
ICSM-2012-AmalfitanoFTCI #android #testing #user interface: A toolset for GUI testing of Android applications (DA, ARF, PT, SDC, GI), pp. 650–653.
SCAM-2012-AftandilianSPK #compilation #java #program analysis #using: Building Useful Program Analysis Tools Using an Extensible Java Compiler (EA, RS, SP, SK), pp. 14–23.
WCRE-2012-GarzonL #automation #how: Exploring How to Develop Transformations and Tools for Automated Umplification (MG, TCL), pp. 491–494.
FM-2012-HojjatKGIKR #verification: A Verification Toolkit for Numerical Transition Systems — Tool Paper (HH, FK, FG, RI, VK, PR), pp. 247–251.
FDG-2012-HarteliusFB #game studies: Tisch digital tools supporting board games (UH, JF, SB), pp. 196–203.
FDG-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.
FDG-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.
VS-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.
VS-Games-2012-CuratelliM #design #education #learning: Design Criteria for Educational Tools to Overcome Mathematics Learning Difficulties (FC, CM), pp. 92–102.
CHI-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.
CHI-2012-FlatlaG #difference #modelling #named: SSMRecolor: improving recoloring tools with situation-specific models of color differentiation (DRF, CG), pp. 2297–2306.
CHI-2012-FollmerI #named: KidCAD: digitally remixing toys through tangible tools (SF, HI), pp. 2401–2410.
CHI-2012-FriedmanH: The envisioning cards: a toolkit for catalyzing humanistic and technical imaginations (BF, DGH), pp. 1145–1148.
CHI-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.
CHI-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.
CHI-2012-UzorBS #design: Senior designers: empowering seniors to design enjoyable falls rehabilitation tools (SU, LB, DS), pp. 1179–1188.
CHI-2012-WooL #named #smarttech: Clipoid: an augmentable short-distance wireless toolkit for “accidentally smart home” environments (JbW, YKL), pp. 1751–1754.
CSCW-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.
CIKM-2012-BaoKLRY #programmable #quality: Gumshoe quality toolkit: administering programmable search (ZB, BK, YL, SR, HY), pp. 2716–2718.
ICPR-2012-BicegoL #2d #biology #recognition #sequence #using: 2D shape recognition using biological sequence alignment tools (MB, PL), pp. 1359–1362.
ICPR-2012-PazzagliaC #approach #recognition #visual notation: Visual description and recognition of mechanical tools with a silhouette-based approach (FP, CC), pp. 2549–2552.
KMIS-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.
SEKE-2012-GallegosG #detection: Tool Support for Anomaly Detection in Scientific Sensor Data (IG, AQG), pp. 678–683.
SEKE-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.
SEKE-2012-NetoNAM #product line #testing: A Mapping Study on Software Product Lines Testing Tools (CRLN, PAdMSN, ESdA, SRdLM), pp. 628–634.
PLEASE-2012-AcherMHCL #feature model #modelling: Languages and tools for managing feature models (MA, RM, PH, PC, PL), pp. 25–28.
SPLC-2012-Elsner #staged: Light-weight tool support for staged product derivation (CE), pp. 146–155.
TOOLS-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.
PADL-2012-BalducciniL #aspect-oriented #using: Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools (MB, YL), pp. 78–92.
RE-2012-AmellerCF #architecture #named: ArchiTech: Tool support for NFR-guided architectural decision-making (DA, OC, XF), pp. 315–316.
RE-2012-SupakkulC #modelling #multi #requirements: The RE-Tools: A multi-notational requirements modeling toolkit (SS, LC), pp. 333–334.
RE-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.
REFSQ-2012-BerryGST #requirements: The Case for Dumb Requirements Engineering Tools (DMB, RG, PS, SFT), pp. 211–217.
ASE-2012-KamalrudinGH #consistency #multi #named #requirements: MaramaAI: tool support for capturing and managing consistency of multi-lingual requirements (MK, JG, JGH), pp. 326–329.
ASE-2012-KehrerKPS #adaptation #comparison #difference: Adaptability of model comparison tools (TK, UK, PP, MS), pp. 306–309.
ASE-2012-RabiserGL: A qualitative study on user guidance capabilities in product configuration tools (RR, PG, ML), pp. 110–119.
ASE-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.
ICSE-2012-Chowdhury #development: Assisting end-user development in browser-based mashup tools (SRC), pp. 1625–1627.
ICSE-2012-FuhrmanCA #education #framework #re-engineering: Integrating tools and frameworks in undergraduate software engineering curriculum (CF, RC, AA), pp. 1195–1204.
ICSE-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.
SLE-2012-BettiniSVC #implementation #type system #xtext: Approaches and Tools for Implementing Type Systems in Xtext (LB, DS, MV, SC), pp. 392–412.
CASE-2012-CabasinoGMS #comparison: A comparison among tools for the diagnosability of discrete event systems (MPC, AG, LM, CS), pp. 218–223.
CASE-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.
CASE-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.
CASE-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.
CASE-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.
DAC-2012-Scheffer #design: Design tools for artificial nervous systems (LS), pp. 717–722.
DATE-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.
TACAS-2012-VeanesB #automaton: Symbolic Automata: The Toolkit (MV, NB), pp. 472–477.
ICST-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.
ICST-2012-DanH12a #c #mutation testing #named #semantics #testing: SMT-C: A Semantic Mutation Testing Tools for C (HD, RMH), pp. 654–663.
ICTSS-2012-BrauerPS #modelling #performance #testing: Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools (JB, JP, US), pp. 8–23.
ECSA-2011-OliveiraN #architecture #testing: A Service-Oriented Reference Architecture for Software Testing Tools (LBRdO, EYN), pp. 405–421.
DocEng-2011-BilaucaH #pretty-printing: Building table formatting tools (MB, PH), pp. 13–22.
DocEng-2011-LuongLN #design #framework: A framework with tools for designing web-based geographic applications (TNL, SL, TN), pp. 33–42.
DRR-2011-BallS #automation #statistics #using: Statistical characterization of handwriting characteristics using automated tools (GRB, SNS), pp. 1–10.
HT-2011-JonesA: Many views, many modes, many tools & one structure (WJ, KMA), pp. 113–122.
SIGMOD-2011-PandisTBKPJA #execution #transaction: A data-oriented transaction execution engine and supporting tools (IP, PT, MB, DK, DP, RJ, AA), pp. 1237–1240.
ITiCSE-2011-Cardell-OliverW #java #metric: UWA Java tools: harnessing software metrics to support novice programmers (RCO, PDW), p. 341.
ITiCSE-2011-MeyerHST #collaboration #modelling #named: CoMoTo: the collaboration modeling toolkit (CM, CH, ES, JT), pp. 143–147.
ITiCSE-2011-Moy #education #performance #student: Efficient and playful tools to teach Unix to new students (MM), pp. 93–97.
ITiCSE-2011-SchweitzerBS #interactive: Interactive tools in the graphics classroom (DS, JB, LS), pp. 113–117.
SIGITE-2011-KurhilaV #programming #scalability: Management, structures and tools to scale up personal advising in large programming courses (JK, AV), pp. 3–8.
SCAM-J-2009-HollandD11 #classification #information management #quality: Classification and selection of tools for quality knowledge management (SH, RD), pp. 393–409.
SCAM-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.
CSMR-2011-CoteH #requirements #uml: A UML Profile and Tool Support for Evolutionary Requirements Engineering (IC, MH), pp. 161–170.
CSMR-2011-GieseckeFF #architecture #multi: Long-Term Software Architecture Management with Multi-technology Tool Support (SG, JF, MF), pp. 321–324.
ICPC-2011-Burnett #programming #question: Males and Females Developing Software: Are Programming Tools Getting in the Way? (MB), p. xvii.
SCAM-2011-CollardDM #fact extraction #lightweight #semiparsing: Lightweight Transformation and Fact Extraction with the srcML Toolkit (MLC, MJD, JIM), pp. 173–184.
ICFP-2011-FisherFWZ #named #programming: Forest: a language and toolkit for programming with filestores (KF, NF, DW, KQZ), pp. 292–306.
CIG-2011-LankveldSHA #game studies #profiling: Games as personality profiling tools (GvL, PS, HJvdH, AA), pp. 197–202.
DiGRA-2011-Suominen #game studies: Game reviews as tools in the construction of game historical awareness in Finland, 1984-2010: Case MikroBitti Magazine (JS).
AGTIVE-2011-MazanekRM: Tool Demonstration of the Transformation Judge (SM, CR, MM), pp. 97–104.
CHI-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.
CHI-2011-FrischKLD #layout #multi: Grids & guides: multi-touch layout and alignment tools (MF, SK, RL, RD), pp. 1615–1618.
CHI-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.
CHI-2011-MatthewsWMY #approach #collaboration #design: Collaboration personas: a new approach to designing workplace collaboration tools (TM, SW, TPM, SY), pp. 2247–2256.
CHI-2011-SchwandaIRC #persuasion: Side effects and “gateway” tools: advocating a broader look at evaluating persuasive systems (VS, SI, LR, DC), pp. 345–348.
CSCW-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.
CSCW-2011-Murphy-HillM #effectiveness #interactive: Peer interaction effectively, yet infrequently, enables programmers to discover new tools (ERMH, GCM), pp. 405–414.
DUXU-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.
HCD-2011-BoltonS #design: Culturally Situated Design Tools: Animated Support Tools for Mathematics (ATB, CDS), pp. 351–359.
HCD-2011-KandaK #communication #people: Holistic Prosthetic Approaches to the Hearing Handicapped People: Communication Tools in Various Situations (KK, TK), pp. 313–320.
HCI-MIIE-2011-MorFDF #experience #social #user interface: User Experience of Social Bookmarking Tools (EM, NF, MGD, JAMF), pp. 510–516.
HCI-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.
HIMI-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.
HIMI-v2-2011-GonzalezGGS #hybrid #towards: Towards Argument Representational Tools for Hybrid Argumentation Systems (MPG, SG, AJG, GRS), pp. 236–245.
HIMI-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.
HIMI-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.
VISSOFT-2011-MaleticMNCSR #named #scalability #visualisation: MosaiCode: Visualizing large scale software: A tool demonstration (JIM, DJM, CDN, MLC, AS, BPR), pp. 1–4.
ICEIS-v1-2011-MeisenMSJ #integration #simulation: Application Integration of Simulation Tools Considering Domain Specific Knowledge (TM, PM, DS, SJ), pp. 42–53.
ICEIS-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.
KDD-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.
KEOD-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.
KMIS-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.
KMIS-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.
KMIS-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.
MLDM-2011-SanchezGM #classification #reduction: Exploring Synergetic Effects of Dimensionality Reduction and Resampling Tools on Hyperspectral Imagery Data Classification (JSS, VG, RAM), pp. 511–523.
SEKE-2011-BragaD #detection #information management #using: Fraud Detection in Selection Exams Using Knowledge Engineering Tools (MdMB, MARD), pp. 163–168.
SEKE-2011-GuoC #analysis #comparison #ontology #visualisation: A Comparison and Analysis of Some Ontology Visualization Tools (SSG, CWC), pp. 357–362.
SIGIR-2011-ChenTLJ #knowledge base: A toolkit for knowledge base population (ZC, ST, AL, HJ), pp. 1267–1268.
SPLC-2011-AbbasiHH11a #workflow: A Toolset for Feature-Based Configuration Workflows (EKA, AH, PH), pp. 65–69.
SPLC-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.
SPLC-2011-Volter #case study #domain-specific language #experience #product line: DSLs for Product Lines: Approaches, Tools, Experiences (MV), p. 353.
Onward-2011-AlabiG: The accessibility toolkit (HIA, BG), pp. 145–148.
Onward-2011-AnslowMM #evaluation #programming language #usability: Evaluation and usability of programming languages and tools: (PLATEAU) (CA, SM, ERMH), pp. 119–120.
PLATEAU-2011-LaTozaM #design #developer: Designing useful tools for developers (TDL, BAM), pp. 45–50.
POPL-2011-Leroy #question: Verified squared: does critical software deserve verified tools? (XL), pp. 1–2.
PPDP-2011-Rybalchenko #automation #synthesis #towards #verification: Towards automatic synthesis of software verification tools (AR), pp. 3–4.
ASE-2011-BergmannHHRUV #emf #implementation #performance #validation: Implementing efficient model validation in EMF tools (GB, ÁH, ÁH, IR, ZU, DV), pp. 580–583.
ASE-2011-EdwardsBM #editing #morphism: Isomorphism in model tools and editors (GE, YB, NM), pp. 460–463.
ASE-2011-Hall #calculus: The Capture Calculus Toolset (RJH), pp. 628–632.
ASE-2011-OverbeyJ #analysis #difference #lightweight #refactoring #reuse: Differential precondition checking: A lightweight, reusable analysis for refactoring tools (JLO, REJ), pp. 303–312.
ASE-2011-PietschYK #generative #modelling: Generating realistic test models for model processing tools (PP, HSY, UK), pp. 620–623.
ESEC-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.
ICSE-2011-BacchelliLD #email #named: Miler: a toolset for exploring email data (AB, ML, MD), pp. 1025–1027.
ICSE-2011-BellamyDMMORS #sketching: Sketching tools for ideation (RKEB, MD, JM, PM, HO, JTR, CS), pp. 808–811.
ICSE-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.
ICSE-2011-McVeighKM #architecture #evolution #named: Evolve: tool support for architecture evolution (AM, JK, JM), pp. 1040–1042.
ICSE-2011-Sethanandha #open source #process: Improving open source software patch contribution process: methods and tools (BDS), pp. 1134–1135.
SAC-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.
SAC-2011-MajchrzakJK #evaluation #open source #performance: Efficiency evaluation of open source ETL tools (TAM, TJ, HK), pp. 287–294.
SAC-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.
LDTA-2011-JorgensenEF #generative #named #visualisation: VLex: visualizing a lexical analyzer generator — tool demonstration (AJ, GRE, BF), p. 12.
LDTA-2011-SoderbergH #editing #jastadd #semantics #using: Building semantic editors using JastAdd: tool demonstration (ES, GH), p. 11.
CASE-2011-CabasinoCGSS #framework #integration #platform: A software platform for the integration of discrete event systems tools (MPC, LC, AG, CS, AS), pp. 45–51.
CASE-2011-KimL #clustering #constraints #scheduling: Scheduling of cluster tools with ready time constraints for small lot production (HJK, TEL), pp. 96–101.
CASE-2011-QiaoWZ #analysis #clustering #modelling: Modeling and analysis of dual-arm cluster tools for wafer fabrication with revisiting (YQ, NW, MZ), pp. 90–95.
CGO-2011-Altman: The language, optimizer, and tools mess (ERA).
DAC-2011-Jandhyala #automation #design #network #social #web: Physics-based field-theoretic design automation tools for social networks and web search (VJ), pp. 280–281.
DAC-2011-PuggelliWKS #logic #question #robust #synthesis: Are logic synthesis tools robust? (AP, TW, AK, ALSV), pp. 633–638.
DATE-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.
DATE-2011-Sifakis #component #design: Methods and tools for component-based system design (JS), p. 1022.
DATE-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.
TACAS-2011-SeshiaK #analysis #named: GameTime: A Toolkit for Timing Analysis of Software (SAS, JK), pp. 388–392.
CADE-2011-WinklerM #termination: AC Completion with Termination Tools (SW, AM), pp. 492–498.
ECSA-2010-SchwittekE #architecture #communication #information management #requirements: Communicating Architectural Knowledge: Requirements for Software Architecture Knowledge Management Tools (WS, SE), pp. 457–463.
DocEng-2010-BilaucaH10a #authoring #documentation #layout #performance: Table layout performance of document authoring tools (MB, PH), pp. 199–202.
ECDL-2010-ShipmanHPM: LIFE-SHARE Project: Developing a Digitisation Strategy Toolkit (BS, MH, NP, BM), pp. 502–505.
HT-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.
SIGMOD-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.
ITiCSE-2010-Kasyanov #graph: Support tools for graphs in computer science (VNK), p. 315.
ITiCSE-2010-McDermottBE #student: Developing tools to encourage reflection in first year students blogs (RM, GB, GE), pp. 147–151.
CSMR-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.
SEFM-2010-XuZC #context-free grammar #generative: A Toolkit for Generating Sentences from Context-Free Grammars (ZX, LZ, HC), pp. 118–122.
ICGT-2010-Esparza #concurrent: A False History of True Concurrency: From Petri to Tools (JE), pp. 1–2.
CHI-2010-BalakrishnanMM: Fitting an activity-centric system into an ecology of workplace tools (ADB, TM, TPM), pp. 787–790.
CHI-2010-GrigoreanuBR #approach #debugging #design: A strategy-centric approach to the design of end-user debugging tools (VG, MMB, GGR), pp. 713–722.
CSCW-2010-Cataldo #collaboration #development #distributed #fault: Sources of errors in distributed development projects: implications for collaborative tools (MC), pp. 281–290.
CSCW-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.
ICEIS-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.
ICEIS-HCI-2010-TaggKB: Encouraging a Culture Change in Task Management within PIM Tools (RT, LK, TB), pp. 137–142.
ICEIS-ISAS-2010-ArtignanH #graph #named #visualisation: STOOG — Style-Sheets-based Toolkit for Graph Visualization (GA, MH), pp. 123–131.
ICEIS-ISAS-2010-PerezMDM #metric #quality #requirements: Quality Measurement Model for Requirements Engineering Floss Tools (MAP, EMM, KD, LEM), pp. 249–254.
ICEIS-ISAS-2010-VolkelA #information management #requirements: Requirements for Personal Knowledge Management Tools (MV, AA), pp. 332–337.
ICPR-2010-SeoAD #classification #evaluation #performance #segmentation: Performance Evaluation Tools for Zone Segmentation and Classification (PETS) (WS, MA, DSD), pp. 503–506.
SEKE-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.
SEKE-2010-GuoCH #modelling #ontology #visualisation: Tools for Ontology Modeling and Visualization (SSG, CWC, RH), pp. 604–607.
SIGIR-2010-FetterlyM #information retrieval: A data-parallel toolkit for information retrieval (DF, FM), p. 701.
SIGIR-2010-HuangAH #classification #recommendation: Medical search and classification tools for recommendation (XH, AA, QH), p. 707.
ECMFA-2010-BruneliereCCJB #eclipse #modelling #towards: Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools (HB, JC, CC, FJ, JB), pp. 32–47.
MoDELS-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.
MoDELS-v1-2010-RoseHWKGPP #comparison #migration: A Comparison of Model Migration Tools (LMR, MH, JRW, DSK, KG, RFP, FACP), pp. 61–75.
ECOOP-2010-RenggliGN: Embedding Languages without Breaking Tools (LR, TG, ON), pp. 380–404.
OOPSLA-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.
PLDI-2010-RuwaseCGM #correctness #optimisation: Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools (OR, SC, PBG, TCM), pp. 25–35.
RE-2010-SeyffGM #mobile #using: Using Mobile RE Tools to Give End-Users Their Own Voice (NS, FG, NAMM), pp. 37–46.
ASE-2010-AliHGH #specification #visual notation: End-user oriented critic specification for domain-specific visual language tools (NMA, JGH, JCG, JH), pp. 297–300.
ASE-2010-BalzSG #maintenance #modelling #state machine: Tool support for continuous maintenance of state machine models in program code (MB, MS, MG), pp. 175–176.
ASE-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.
ASE-2010-KamalrudinGH #case study #requirements: Tool support for essential use cases to better capture software requirements (MK, JCG, JGH), pp. 255–264.
ASE-2010-KimKP #architecture #development #quality: Tool support for quality-driven development of software architectures (SK, DKK, SP), pp. 127–130.
ASE-2010-MontrieuxJHYST #code generation: Tool support for code generation from a UMLsec property (LM, JJ, CBH, YY, PYS, HT), pp. 357–358.
ASE-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.
ICSE-2010-NandaGSCSB: Making defect-finding tools work for you (MGN, MG, SS, SC, DS, PB), pp. 99–108.
SAC-2010-JohanssonC #enterprise #requirements: Software tools for requirements management in an ERP system context (BJ, RAdC), pp. 169–170.
LDTA-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.
LDTA-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.
CASE-2010-AhnM #analysis #behaviour #clustering #modelling: Analysis of circular cluster tools: Transient behavior and semiconductor equipment models (YA, JRM), pp. 39–44.
CASE-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.
CASE-2010-LeeL #architecture #clustering #scheduling: An open scheduling architecture for cluster tools (JHL, TEL), pp. 420–425.
CASE-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.
DAC-2010-Potkonjak #synthesis #using: Synthesis of trustable ICs using untrusted CAD tools (MP), pp. 633–634.
IJCAR-2010-WinklerM #order #termination: Termination Tools in Ordered Completion (SW, AM), pp. 518–532.
LICS-2010-Plotkin: Robin Milner, a Craftsman of Tools for the Mind (GDP), pp. 58–59.
WICSA-ECSA-2009-GarlanBSC #architecture #evolution: Evolution styles: Foundations and tool support for software architecture evolution (DG, JMB, BRS, OC), pp. 131–140.
WICSA-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-ECSA-2009-Konemann #concept #modelling #uml: Integrating decision management with UML modeling concepts and tools (PK), pp. 297–300.
WICSA-ECSA-2009-ShahinLK #architecture #design #modelling: Architectural design decision: Existing models and tools (MS, PL, MRK), pp. 293–296.
ECDL-2009-SarnowskiK #standard: Building Standardized Digital Collections: ResCarta Tools, a Demo (JS, SK), pp. 475–476.
HT-2009-MitchellM #authoring #design #hypermedia #multi: Designing hypertext tools to facilitate authoring multiple points-of-view stories (AM, KM), pp. 309–316.
ICDAR-2009-Guest #matlab #named #online: PENTOOLS — A MATLAB Toolkit for On-line Pen-Based Data Experimentation (RMG), pp. 1221–1225.
CSEET-2009-GargV #assessment #case study #re-engineering: Case Studies as Assessment Tools in Software Engineering Classrooms (KG, VV), pp. 8–11.
ITiCSE-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.
ITiCSE-2009-Inghelbrecht #design #education: Tool support for teaching responsibility-driven design (YI), p. 351.
ITiCSE-2009-ThomasWS #automation #diagrams: Generalised diagram revision tools with automatic marking (PGT, KGW, NS), pp. 318–322.
ICPC-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.
ICPC-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.
CSMR-2009-SoriaPC #architecture #fault #locality #modelling #using: Tool Support for Fault Localization Using Architectural Models (AS, JADP, MRC), pp. 59–68.
ICPC-2009-ZhangDH #aspectj #impact analysis #visualisation: Impact analysis and visualization toolkit for static crosscutting in AspectJ (DZ, EDE, LJH), pp. 60–69.
SCAM-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.
SCAM-2009-Ward09a #maintenance: The FermaT Maintenance Environment Tool Demonstration (MPW), pp. 125–126.
CIAA-2009-CleophasH #algorithm #automaton: Forest FIRE: A Taxonomy-based Toolkit of Tree Automata and Regular Tree Algorithms (LGC, KH), pp. 245–248.
FM-2009-LausdahlLL #uml: Connecting UML and VDM++ with Open Tool Support (KL, HKAL, PGL), pp. 563–578.
FM-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.
SEFM-2009-HoangFA: Event-B Patterns and Their Tool Support (TSH, AF, JRA), pp. 210–219.
Haskell-2009-BaaijKKGM #hardware #haskell: Tool DemonstrationCLasHFrom Haskell to Hardware (CB, MK, JK, MG, BM).
ICFP-2009-FlattBF #ad hoc #documentation #named: Scribble: closing the book on ad hoc documentation tools (MF, EB, RBF), pp. 109–120.
ICFP-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.
CIG-2009-Mateas #authoring: AI isn't just for players: AI-based authoring tools (MM).
FDG-2009-LangeveldK #education #visualisation: Educational impact of digital visualization and auditing tools on a digital character production course (MCvL, RK), pp. 316–323.
FDG-2009-NelsonM #analysis #design #game studies #requirements: A requirements analysis for videogame design support tools (MJN, MM), pp. 137–144.
CHI-2009-AppertZ #using: Using strokes as command shortcuts: cognitive benefits and toolkit support (CA, SZ), pp. 2289–2298.
CHI-2009-FaureCR: Power tools for copying and moving: useful stuff for your desktop (GF, OC, NR), pp. 1675–1678.
HCD-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.
HCD-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.
HCI-NT-2009-MirelW #development #heuristic: Heuristic Evaluations of Bioinformatics Tools: A Development Case (BM, ZW), pp. 329–338.
HCI-NT-2009-MoesleinBS #collaboration #development #roadmap: Open Collaborative Development: Trends, Tools, and Tactics (KMM, ACB, JHS), pp. 874–881.
HCI-VAD-2009-SaC #development #learning #mobile #personalisation: Supporting End-User Development of Personalized Mobile Learning Tools (MdS, LC), pp. 217–225.
HCI-VAD-2009-SullivanBMR #collaboration #sketching: Social-Technical Tools for Collaborative Sensemaking and Sketching (JS, MB, CM, RR), pp. 614–623.
HIMI-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.
HIMI-DIE-2009-UgaiA #analysis #network #social: Organization Diagnosis Tools Based on Social Network Analysis (TU, KA), pp. 181–189.
HIMI-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.
VISSOFT-2009-SensalireOT #evaluation #lessons learnt #visualisation: Evaluation of software visualization tools: Lessons learned (MS, PO, ACT), pp. 19–26.
ICEIS-AIDSS-2009-SmutsML #information management: Key Characteristics in Selecting Software Tools for Knowledge Management (HS, AvdM, ML), pp. 170–179.
ICEIS-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.
ICEIS-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.
ICEIS-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.
ICEIS-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.
ICEIS-SAIC-2009-CernuzziZ #design #named #using: Gaia4E: A Tool Supporting the Design of MAS using Gaia (LC, FZ), pp. 82–88.
KDD-2009-Hand #data mining #mining #modelling: Mismatched models, wrong results, and dreadful decisions: on choosing appropriate data mining tools (DJH), pp. 1–2.
KMIS-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.
KMIS-2009-WiilMG #information management #process: Knowledge Management Processes, Tools and Techniques for Counterterrorism (UKW, NM, JG), pp. 29–36.
SEKE-2009-SalamahBBPFC #specification #validation: Enhancing Property Specification Tools With Validation Techniques (SS, MDB, EB, SP, DF, LC), pp. 487–492.
OOPSLA-2009-OverbeyJ #programming language #refactoring: Regrowing a language: refactoring tools allow programming languages to evolve (JLO, REJ), pp. 493–502.
OOPSLA-2009-SongT #program transformation #programming: Enhancing source-level programming tools with an awareness of transparent program transformations (MS, ET), pp. 301–320.
SIGAda-2009-Jennings #named #re-engineering: SPARK: the libre language and toolset for high-assurance software engineering (TJ), pp. 9–10.
REFSQ-2009-KarlsenMK #requirements: Inventing Requirements with Creativity Support Tools (IKK, NAMM, AK), pp. 162–174.
ASE-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.
ASE-2009-JanssenAG #automation #fault #locality #named: Zoltar: A Toolset for Automatic Fault Localization (TJ, RA, AJCvG), pp. 662–664.
ASE-2009-Kamalrudin #automation #consistency #nondeterminism #requirements: Automated Software Tool Support for Checking the Inconsistency of Requirements (MK), pp. 693–697.
ASE-2009-Maalej #integration #revisited: Task-First or Context-First? Tool Integration Revisited (WM), pp. 344–355.
ESEC-FSE-2009-PathakG #named #network #visual notation: Srijan: a graphical toolkit for sensor network macroprogramming (AP, MKG), pp. 301–302.
ICSE-2009-MarianiPP #analysis #automation: A toolset for automated failure analysis (LM, FP, MP), pp. 563–566.
GPCE-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.
CASE-2009-Morrison #clustering #modelling #process: Regular flow line models for semiconductor cluster tools: A case of lot dependent process times (JRM), pp. 561–566.
CASE-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.
DATE-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.
ESOP-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.
ICLP-2009-Paolucci #natural language #research #summary: Research Summary: Intelligent Natural Language Processing Techniques and Tools (AP), pp. 536–537.
ICST-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.
HT-2008-BolchiniGP #development #hypermedia: Investigating success factors for hypermedia development tools (DB, FG, PP), pp. 187–192.
HT-2008-GaffneyDW #authoring #overview #simulation: A survey of soft skill simulation authoring tools (CG, DD, VW), pp. 181–186.
VLDB-2008-TianPNMK #graph #named #query: Periscope/GQ: a graph querying toolkit (YT, JMP, VN, SM, MK), pp. 1404–1407.
EDM-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.
ITiCSE-2008-DemailleLP #compilation #education #set: A set of tools to teach compiler construction (AD, RL, BP), pp. 68–72.
ITiCSE-2008-LevyB #behaviour: Perceived behavior control and its influence on the adoption of software tools (RBBL, MBA), pp. 169–173.
CSMR-2008-Bull: CSMR Tool Demonstration: Welcome (RIB), p. 319.
CSMR-2008-FulopFG #benchmark #design pattern #metric #mining #towards: Towards a Benchmark for Evaluating Design Pattern Miner Tools (LJF, RF, TG), pp. 143–152.
CSMR-2008-LewisS: SMART Tool Demonstration (GAL, DBS), pp. 332–334.
ICPC-2008-DaltonH #behaviour #runtime #visualisation: A Toolkit for Visualizing the Runtime Behavior of TinyOS Applications (ARD, JOH), pp. 43–52.
ICPC-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.
ICSM-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.
MSR-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.
PASTE-2008-KhooFHS #static analysis: Path projection for user-centered static analysis tools (YPK, JSF, MH, VS), pp. 57–63.
WCRE-2008-FulopHFG #benchmark #metric #reverse engineering #towards: Towards a Benchmark for Evaluating Reverse Engineering Tools (LJF, PH, RF, TG), pp. 335–336.
WCRE-2008-KienleM #maintenance #process #towards: Towards a Process for Developing Maintenance Tools in Academia (HMK, HAM), pp. 237–246.
WCRE-2008-YuW #comprehension #evolution: Graph-Centric Tools for Understanding the Evolution and Relationships of Software Structures (YY, MW), pp. 329–330.
LATA-2008-Domaratzki #formal method: Formal Language Tools for Template-Guided DNA Recombination (MD), pp. 3–5.
SEFM-2008-Roggenbach #csp: Tools for CSP (MR), pp. 213–214.
ICGT-2008-Bisztray #architecture #refactoring #verification: Verification of Architectural Refactorings: Rule Extraction and Tool Support (DB), pp. 475–477.
ICGT-2008-RensinkG #contest #graph: Graph-Based Tools: The Contest (AR, PVG), pp. 463–466.
CSCW-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.
SOFTVIS-2008-DachseltFD #sketching #uml: Enhancing UML sketch tools with digital pens and paper (RD, MF, ED), pp. 203–204.
SOFTVIS-2008-SensalireOT #maintenance #visualisation: Classifying desirable features of software visualization tools for corrective maintenance (MS, PO, ACT), pp. 87–90.
ICEIS-J-2008-HeerRK08a #integration #ontology: Tool Support for the Integration of Light-Weight Ontologies (TH, DR, BK), pp. 175–187.
KDD-2008-YangAPM #graph #interactive: A visual-analytic toolkit for dynamic interaction graphs (XY, SA, SP, SM), pp. 1016–1024.
SEKE-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.
SEKE-2008-BarbosaNRM #development #ontology #testing: Ontology-based Development of Testing Related Tools (EFB, EYN, ACR, JCM), pp. 697–702.
SEKE-2008-LappalainenHSPML #comparison #developer: A Comparison of Time Tracking Tools for Software Developers (JL, LH, JS, TP, HM, HL), pp. 91–96.
SEKE-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.
SIGIR-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.
SPLC-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.
TOOLS-EUROPE-2008-AydalUW #comparison #modelling #validation: A Comparison of State-Based Modelling Tools for Model Validation (EGA, MU, JW), pp. 278–296.
TOOLS-EUROPE-2008-StrommerW #concept #framework #model transformation: A Framework for Model Transformation By-Example: Concepts and Tool Support (MS, MW), pp. 372–391.
PADL-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.
PADL-2008-PaganoACCCMW #development #implementation #ml: Certified Development Tools Implementation in Objective Caml (BP, OA, BC, EC, JLC, TM, PW), pp. 2–17.
PEPM-2008-LiT #functional #refactoring #source code: Tool support for refactoring functional programs (HL, SJT), pp. 199–203.
PEPM-2008-VolanschiR: Unparsed patterns: easy user-extensibility of program manipulation tools (NV, CR), pp. 111–121.
REFSQ-2008-AlenljungP #named #requirements: DESCRY: A Method for Evaluating Decision-Supporting Capabilities of Requirements Engineering Tools (BA, AP), pp. 52–57.
ASE-2008-BucchiaroneGLTF: QuARS Express — A Tool Demonstration (AB, SG, GL, GT, AF), pp. 473–474.
ASE-2008-DanielB #automation #effectiveness #predict #testing: Predicting Effectiveness of Automatic Testing Tools (BD, MB), pp. 363–366.
ASE-2008-Frisby #analysis: Unifying Analysis Tools with Rosetta (NF), pp. 505–508.
ASE-2008-GaffeR: The Clem Toolkit (DG, AR), pp. 495–496.
ASE-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.
ASE-2008-MalavoltaMP #architecture #framework #named: DUALLY: A framework for Architectural Languages and Tools Interoperability (IM, HM, PP), pp. 483–484.
ASE-2008-SchumannGPMB #analysis #parametricity #scalability #simulation: Tool Support for Parametric Analysis of Large Software Simulation Systems (JS, KGB, CSP, TM, TB), pp. 497–498.
ASE-2008-YuJS #development #traceability: Tools for Traceability in Secure Software Development (YY, JJ, JS), pp. 503–504.
ICSE-2008-AmelunxenKKRS #integration #metamodelling: Metamodel-based tool integration with moflon (CA, FK, AK, TR, AS), pp. 807–810.
ICSE-2008-Duala-EkokoR #named: Clonetracker: tool support for code clone management (EDE, MPR), pp. 843–846.
ICSE-2008-Murphy-HillB #refactoring: Breaking the barriers to successful refactoring: observations and tools for extract method (ERMH, APB), pp. 421–430.
ICSE-2008-ReinhardMSCG #modelling #navigation #visual notation: Tool support for the navigation in graphical models (TR, SM, RS, CC, MG), pp. 823–826.
ICSE-2008-RobbesL #development #named: SpyWare: a change-aware development toolset (RR, ML), pp. 847–850.
ICSE-2008-ScaffidiMS08a #validation: Tool support for data validation by end-user programmers (CS, BAM, MS), pp. 867–870.
CASE-2008-ChanYDS #clustering #scheduling: Optimal scheduling of k-unit production of cluster tools with single-blade robots (WKC, JY, SD, DS), pp. 335–340.
CASE-2008-JungL #clustering #performance #scheduling: Efficient scheduling method based on an assignment model for robotized cluster tools (CJ, TEL), pp. 79–84.
CASE-2008-PaekL #clustering #scheduling #strict: Optimal scheduling of dual-armed cluster tools without swap restriction (JHP, TEL), pp. 103–108.
CASE-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.
DATE-2008-ElmqvistN #analysis #component #incremental: Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems (JE, SNT), pp. 921–927.
DATE-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.
ICLP-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.
ICST-2008-PloschGPSS: Tool Support for Expert-Centred Code Assessments (RP, HG, GP, MS, SS), pp. 258–267.
ICST-2008-WagnerDAWS #debugging #evaluation #java: An Evaluation of Two Bug Pattern Tools for Java (SW, FD, MA, JW, MS), pp. 248–257.
IJCAR-2008-SatoWKM #multi #termination: Multi-completion with Termination Tools (HS, SW, MK, AM), pp. 306–312.
ISSTA-2008-LinckeLL #metric: Comparing software metrics tools (RL, JL, WL), pp. 131–142.
ECSA-2007-FarenhorstLV #architecture #effectiveness: Effective Tool Support for Architectural Knowledge Sharing (RF, PL, HvV), pp. 123–138.
ECSA-2007-NavaCD #architecture #design #process: Processes for Creating and Exploiting Architectural Design Decisions with Tool Support (FN, RC, JCD), pp. 321–324.
WICSA-2007-JansenVAH #architecture: Tool Support for Architectural Decisions (AJ, JSvdV, PA, DKH), p. 4.
ICDAR-2007-JournetRME #documentation #image #library #retrieval: A Proposition of Retrieval Tools for Historical Document Images Libraries (NJ, JYR, RM, VE), pp. 1053–1057.
JCDL-2007-AhmadCBSM #automation #concept #personalisation #towards: Towards automatic conceptual personalization tools (FA, SdlC, KRB, TS, JHM), pp. 452–461.
JCDL-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.
SIGMOD-2007-FaloutsosKS #graph #matrix #mining #scalability #using: Mining large graphs and streams using matrix and tensor tools (CF, TGK, JS), p. 1174.
SIGMOD-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.
VLDB-2007-DuchateauBH #benchmark #metric #named #xml: XBenchMatch: a Benchmark for XML Schema Matching Tools (FD, ZB, EH), pp. 1318–1321.
ITiCSE-2007-BarkerP: Accessibility tools (GB, JP), p. 354.
ITiCSE-2007-LevyB #education: We work so hard and they don’t use it: acceptance of software tools by teachers (RBBL, MBA), pp. 246–250.
ITiCSE-2007-MarraHW #case study: A study of phylogenetic tools for genomic nomenclature data cleaning (JDM, KGH, JTLW), p. 347.
ITiCSE-2007-Sanchez-TorrubiaTC #algorithm #graph #interactive #learning: New interactive tools for graph algorithms active learning (MGST, CTB, JC), p. 337.
CSMR-2007-Sartipi #evolution #integration #multi: A Multi-view Toolkit to Assist Software Integration and Evolution (KS), pp. 337–338.
ICPC-2007-AlwisMR #case study #comparative: A Comparative Study of Three Program Exploration Tools (BdA, GCM, MPR), pp. 103–112.
ICSM-2007-RenC #named #testing #validation: ATTEST: A Testing Toolkit for Validating Software Properties (Y(R, FC), pp. 469–472.
SCAM-2007-Larson #debugging #detection #framework #named: SUDS: An Infrastructure for Creating Bug Detection Tools (EL), pp. 123–132.
SCAM-2007-RoubtsovTH #assessment #named #quality #visualisation: SQuAVisiT: A Software Quality Assessment and Visualisation Toolset (SAR, ACT, DH), pp. 155–156.
WCRE-2007-Baxter #re-engineering: Reengineering Tools: A Perspective from the Trenches (IDB).
WCRE-2007-Kienle #component #lessons learnt #reverse engineering: Building Reverse Engineering Tools with Software Components: Ten Lessons Learned (HMK), pp. 289–292.
SEFM-2007-FraserB #configuration management #proving: Configurable Proof Obligations in the Frog Toolkit (SF, RB), pp. 361–370.
ICFP-2007-SewellNOPRSS #effectiveness #named #semantics: Ott: effective tool support for the working semanticist (PS, FZN, SO, GP, TR, SS, RS), pp. 1–12.
ILC-2007-Harmon #analysis #lisp: Computational tools for the analysis of spatial patterns of gene expression in Common Lisp (CLH), p. 18.
DiGRA-2007-BraggeS #game studies #mining #profiling #research #using: Profiling Academic Research on Digital Games Using Text Mining Tools (JB, JS).
AGTIVE-2007-LevendovszkyLMM #mobile: Introducing the VMTS Mobile Toolkit (TL, LL, GM, TM), pp. 587–592.
AGTIVE-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.
AGTIVE-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.
AGTIVE-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-VMT-2007-WorzbergerHH #graph #workflow: Evaluating Workflow Definition Language Revisions with Graph-Based Tools (RW, MH, FWH).
CHI-2007-BoshernitsanGH #development: Aligning development tools with the way programmers think about code changes (MB, SLG, MAH), pp. 567–576.
CHI-2007-FogartyH #modelling #statistics: Toolkit support for developing and deploying sensor-based statistical models of human situations (JF, SEH), pp. 135–144.
CHI-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.
HCI-IDU-2007-BuchholzEMP #evaluation #modelling #usability: Model-Based Usability Evaluation — Evaluation of Tool Support (GB, JE, CM, SP), pp. 1043–1052.
HCI-IDU-2007-Forsman #experience #human-computer #research #using: After Hurricane Katrina: Post Disaster Experience Research Using HCI Tools and Techniques (CF), pp. 78–87.
HCI-IDU-2007-GaoSRA #design #effectiveness #navigation #web: Design Effective Navigation Tools for Older Web Users (QG, HS, PLPR, YA), pp. 765–773.
HCI-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.
HCI-IDU-2007-PleussH #authoring #development #interactive #modelling #multi: Integrating Authoring Tools into Model-Driven Development of Interactive Multimedia Applications (AP, HH), pp. 1168–1177.
HCI-IDU-2007-Schaefer #development #modelling #overview #user interface: A Survey on Transformation Tools for Model Based User Interface Development (RS), pp. 1178–1187.
HCI-IDU-2007-YamazakiF #design #experience #user interface: Design Tools for User Experience Design (KY, KF), pp. 298–307.
HCI-IPT-2007-Lee07a #mobile: Support Zooming Tools for Mobile Devices (KBL), pp. 408–417.
HCI-IPT-2007-MavrommatiD #overview #perspective: End User Tools for Ambient Intelligence Environments: An Overview (IM, JD), pp. 864–872.
HCI-IPT-2007-WissmannB #visualisation: Bilingual Mapping Visualizations as Tools for Chinese Language Acquisition (JW, GSB), pp. 171–180.
HCI-MIE-2007-LyonsBWKS #gesture #named #process #recognition: GART: The Gesture and Activity Recognition Toolkit (KL, HB, TLW, JK, TS), pp. 718–727.
HCI-MIE-2007-RigasA #design #empirical #interface #multimodal: A Toolkit for Multimodal Interface Design: An Empirical Investigation (DIR, MMA), pp. 196–205.
OCSC-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.
OCSC-2007-ZhangYAQ #named #network #social: SISN: A Toolkit for Augmenting Expertise Sharing Via Social Networks (JZ, YY, MSA, YQ), pp. 491–500.
VISSOFT-2007-KienleM #overview #requirements #visualisation: Requirements of Software Visualization Tools: A Literature Survey (HMK, HAM), pp. 2–9.
VISSOFT-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.
CAiSE-2007-EnglebertH #automation #towards: Towards More Extensible MetaCASE Tools (VE, PH), pp. 454–468.
ICEIS-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.
ICEIS-EIS-2007-AuerMB #modelling #uml #usability: Explorative UML Modeling — Comparing the Usability of UML Tools (MA, LM, SB), pp. 466–473.
ICEIS-EIS-2007-ThomLIM #modelling #process #reuse #workflow: Extending Business Process Modeling Tools with Workflow Pattern Reuse (LHT, JML, CI, JM), pp. 447–452.
SEKE-2007-Garcia-CastroGS #benchmark #metric #ontology #rdf: Benchmarking the RDF(S) Interoperability of Ontology Tools (RGC, AGP, YS), pp. 410–415.
SEKE-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.
SEKE-2007-NakagawaSFM #architecture #testing #towards: Towards a Reference Architecture for Software Testing Tools (EYN, AdSS, FCF, JCM), pp. 157–162.
SIGIR-2007-ChenBLCZ #mobile #retrieval: A full-text retrieval toolkit for mobile desktop search (WC, JB, KL, CC, CZ), p. 905.
ECMDA-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.
ECMDA-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.
MoDELS-2007-PleussVH #development #interactive: Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications (AP, AV, HH), pp. 241–255.
SPLC-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.
MoDELS-2007-PleussVH #development #interactive: Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications (AP, AV, HH), pp. 241–255.
TOOLS-EUROPE-2007-RomeroRDV #maude #modelling: Formal and Tool Support for Model Driven Engineering with Maude (JRR, JER, FD, AV), pp. 187–207.
PEPM-2007-FernandesS #library #source code: Tools and libraries to model and manipulate circular programs (JPF, JS), pp. 102–111.
SIGAda-2007-Grosman #ada #development #eclipse #named: Hibachi: the eclipse ada development toolset (TG), p. 99.
RE-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.
ASE-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.
ASE-2007-CaiHX #composition #design #framework #testing: A framework and tool supports for testing modularity of software design (YC, SH, TX), pp. 441–444.
ASE-2007-DhunganaRGN #product line: Integrated tool support for software product line engineering (DD, RR, PG, TN), pp. 533–534.
ASE-2007-HoskingG #domain-specific language #implementation #visual notation: Meta tools for implementing domain specific visual languages (JGH, JCG), p. 576.
ASE-2007-JurjensY #modelling #security: Tools for model-based security engineering: models vs. code (JJ, YY), pp. 545–546.
ESEC-FSE-2007-Kwiatkowska #modelling #verification: Quantitative verification: models techniques and tools (MZK), pp. 449–458.
ICSE-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.
ICSE-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.
ICSE-2007-LeclercqOQS #architecture: Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset (ML, AEÖ, VQ, JBS), pp. 209–219.
SAC-2007-VogelerGB #documentation #xml: New specialist tools for medieval document XML markup (GV, SG, BB), pp. 594–599.
CASE-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.
CASE-2007-GrauWS: Improving dispatch rules for cascading tools (GG, JW, KS), pp. 261–264.
CASE-2007-MorrisonM #clustering #on the #throughput: On the Throughput of Clustered Photolithography Tools: Wafer Advancement and Intrinsic Equipment Loss (JRM, MKM), pp. 88–93.
CASE-2007-YiDZ0 #analysis #clustering #linear #throughput: Throughput Analysis of Linear Cluster Tools (JY, SD, MTZ, PvdM), pp. 1063–1068.
DATE-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.
LCTES-2007-Engelsma #case study #experience #perspective: Enabling seamless mobility: an enablers, experiences and tools perspective (JE), p. 136.
PDP-2007-QiJFG #deployment #framework #named: HAND: Highly Available Dynamic Deployment Infrastructure for Globus Toolkit 4 (LQ, HJ, ITF, JG), pp. 155–162.
FASE-2007-GrammesG #semantics: SDL Profiles — Formal Semantics and Tool Support (RG, RG), pp. 200–214.
CAV-2007-OuimetL #realtime #simulation #specification #verification: The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems (MO, KL), pp. 126–130.
SIGMOD-2006-ZieglerKSDB #detection #ontology #similarity: Generic similarity detection in ontologies with the SOQA-SimPack toolkit (PZ, CK, CS, KRD, AB), pp. 751–753.
ITiCSE-2006-AlmstrumL #women: Men are from toys: women are from tools (VLA, MZL), p. 313.
CSMR-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.
CSMR-2006-GueheneucMW #comparative #design #framework: A Comparative Framework for Design Recovery Tools (YGG, KM, RW), pp. 123–134.
ICPC-2006-JinC #reverse engineering #using: Integrating Reverse Engineering Tools Using a Service-Sharing Methodology (DJ, JRC), pp. 94–99.
ICPC-2006-SartipiYS #interactive #named: Alborz: An Interactive Toolkit to Extract Static and Dynamic Views of a Software System (KS, LY, HS), pp. 256–259.
SCAM-2006-Bruntink #analysis: Linking Analysis and Transformation Tools with Source-Based Mappings (MB), pp. 107–116.
SCAM-2006-FulopGF #c++ #design pattern #mining: Evaluating C++ Design Pattern Miner Tools (LJF, TG, RF), pp. 127–138.
SCAM-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.
WCRE-2006-MarinMD06a #mining #named: FINT: Tool Support for Aspect Mining (MM, LM, AvD), pp. 299–300.
CIAA-2006-MayK #automaton #named: Tiburon: A Weighted Tree Automata Toolkit (JM, KK), pp. 102–113.
IFL-2006-PlasmeijerA: A Conference Management System Based on the iData Toolkit (RP, PA), pp. 108–125.
CHI-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.
CSCW-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.
CSCW-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.
SOFTVIS-2006-DemetrescuF #data-driven #visual notation #visualisation: A data-driven graphical toolkit for software visualization (CD, IF), pp. 57–66.
EDOC-2006-ErnstLSW #architecture #enterprise: Tool Support for Enterprise Architecture Management — Strengths and Weaknesses (AME, JL, CMS, AW), pp. 13–22.
ICEIS-AIDSS-2006-KumarVBM #evaluation #information retrieval #multi: Multi-Criteria Evaluation of Information Retrieval Tools (NK, JV, JDB, MFM), pp. 150–155.
ICEIS-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.
ICEIS-J-2006-CarricoSA06a #personalisation: Handheld Tools for Personalized and Proactive Psychotherapy (LC, MdS, PA), pp. 452–464.
ICEIS-J-2006-EspirituST06a #topic: The ViskiMap Toolkit: Extending Mediawiki with Topic Maps (CE, ES, TT), pp. 420–438.
CIKM-2006-PiochE #collaboration #information management #named: POLESTAR: collaborative knowledge management and sensemaking tools for intelligence analysts (NJP, JOE), pp. 513–521.
SEKE-2006-BaileyS #empirical #modelling: Applying Models of Technology Adoption to Software Tools and Methods: An Empirical Study (SAB, SES), pp. 200–205.
ECMDA-FA-2006-CabotT #constraints #overview: Constraint Support in MDA Tools: A Survey (JC, ET), pp. 256–267.
ECMDA-FA-2006-NytunPT #automation #generative #modelling: Automatic Generation of Modelling Tools (JPN, AP, MST), pp. 268–283.
MoDELS-2006-KuhnGW #case study #development #experience #modelling #process: Model-Driven Development with SDL — Process, Tools, and Experiences (TK, RG, CW), pp. 83–97.
SPL-BOOK-2006-OldevikSHM #evaluation #framework #modelling #product line: Evaluation Framework for Model-Driven Product Line Engineering Tools (JO, AS, ØH, BMP), pp. 589–618.
SPLC-2006-SchmidKE #product line #requirements: Requirements Management for Product Lines: Extending Professional Tools (KS, KK, ME), pp. 113–122.
MoDELS-2006-KuhnGW #case study #development #experience #modelling #process: Model-Driven Development with SDL — Process, Tools, and Experiences (TK, RG, CW), pp. 83–97.
OOPSLA-2006-CohenGM #java #named: JTL: the Java tools language (TC, JYG, IM), pp. 89–108.
OOPSLA-2006-MaebeBEB #java #named #program analysis: Javana: a system for building customized Java program analysis tools (JM, DB, LE, KDB), pp. 153–168.
RE-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.
RE-2006-MaidenSGOM #mobile #requirements: Making Mobile Requirements Engineering Tools Usable and Useful (NAMM, NS, PG, OO, KM), pp. 26–35.
ASE-2006-Singer #evaluation #testing: Testing Tools and Techniques: A Mini-Tutorial on Evaluation Methods for ASE (JS), pp. 371–374.
ICSE-2006-JurjensF #modelling #security: Tools for model-based security engineering (JJ, JF), pp. 819–822.
ICSE-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.
SAC-2006-KwonCC #grid: Light-weight service-oriented grid application toolkit (SK, JC, KC), pp. 1482–1486.
SAC-2006-SchiavoniQ #architecture #component #programming: A posteriori defensive programming: an annotation toolkit for DoS-resistant component-based architectures (VS, VQ), pp. 1734–1738.
SAC-2006-SriplakichBG #automation #distributed #integration: Supporting transparent model update in distributed CASE tool integration (PS, XB, MPG), pp. 1759–1766.
GPCE-2006-Riehl: Assimilating MetaBorg: : embedding language tools in languages (JR), pp. 21–28.
LDTA-2006-JuergensP: The Language Evolver Lever — Tool Demonstration — (EJ, MP), pp. 55–60.
CASE-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.
CASE-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.
CC-2006-LucasFW #compilation: The CGiS Compiler — A Tool Demonstration (PL, NF, RW), pp. 105–108.
DAC-2006-FlakeDS #design: System-level exploration tools for MPSoC designs (PF, SJD, FS), pp. 286–287.
DAC-2006-LiuMM #analysis #design #reliability: Design tools for reliability analysis (ZL, BM, JZM), pp. 182–187.
DAC-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.
DAC-2006-WangDC #approach #named #scheduling: ExtensiveSlackBalance: an approach to make front-end tools aware of clock skew scheduling (KW, LD, XC), pp. 951–954.
DATE-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.
DATE-2006-X #architecture #design: 4G applications, architectures, design methodology and tools for MPSoC, pp. 830–831.
HPDC-2006-ChingFLMC #parallel: Exploring I/O Strategies for Parallel Sequence-Search Tools with S3aSim (AC, WcF, HL, XM, ANC), pp. 229–240.
TACAS-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.
CAV-2006-SenA #model checking #testing: CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools (KS, GA), pp. 419–423.
TestCom-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.
DocEng-2005-SaxenaY: GroundTruth tools & technology: applications in real world (VS, SMY), pp. 223–224.
DRR-2005-NartkerRL #research #testing: Software tools and test data for research and testing of page-reading OCR systems (TAN, SVR, SEL), pp. 37–47.
ICDAR-2005-EglinBRE #biology #categorisation: Biological inspired Tools for Patrimonial Handwriting Denoising and Categorization (VE, SB, CR, HE), pp. 59–63.
JCDL-2005-Paynter #automation #evaluation #internet #metadata: Developing practical automatic metadata assignment and evaluation tools for internet resources (GWP), pp. 291–300.
JCDL-2005-TomsDLB: Assessing tools for use with webcasts (EGT, CD, JL, RB), pp. 79–88.
CSEET-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.
ITiCSE-2005-WermelingerD #automaton #formal method #prolog: A prolog toolkit for formal languages and automata (MW, AMD), pp. 330–334.
SIGITE-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.
SIGITE-2005-WillisM #learning: Mind tools for enhancing thinking and learning skills (CLW, SLM), pp. 249–254.
CSMR-2005-PentaT #automation #evolution #re-engineering #towards: Towards the Automatic Evolution of Reengineering Tools (MDP, KT), pp. 241–244.
ICSM-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.
ICSM-2005-KapserG: Improved Tool Support for the Investigation of Duplication in Software (CK, MWG), pp. 305–314.
ICSM-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.
IWPC-2005-Koskinen: HyperSoft System: Tool Demonstration and Use Example (JK), pp. 153–156.
IWPC-2005-Reiss #java #specification: Tool Demonstration: CHET: Checking Specifications in Java Systems (SPR), pp. 165–168.
IWPC-2005-ReissR #java: Tool Demonstration: JIVE and JOVE: Java as it Happens (SPR, MR), pp. 169–172.
IWPC-2005-Storey #comprehension #past present future: Theories, Methods and Tools in Program Comprehension: Past, Present and Future (MADS), pp. 181–191.
MSR-2005-GermanCS #comprehension #development #framework #mining: A framework for describing and understanding mining tools in software development (DMG, DC, MADS), pp. 31–35.
IFL-2005-EekelenM #proving #strict: Proof Tool Support for Explicit Strictness (MCJDvE, MdM), pp. 37–54.
CHI-2005-HeerCL #interactive #named #visualisation: prefuse: a toolkit for interactive information visualization (JH, SKC, JAL), pp. 421–430.
CHI-2005-HudsonMS: Extensible input handling in the subArctic toolkit (SEH, JM, IES), pp. 381–390.
VISSOFT-2005-SchaferM #flexibility #towards #visualisation: Towards More Flexibility in Software Visualization Tools (TS, MM), pp. 64–69.
CAiSE-2005-CabibboC #inheritance #relational: Managing Inheritance Hierarchies in Object/Relational Mapping Tools (LC, AC), pp. 135–150.
CAiSE-2005-MammarRGSG #named #performance #transaction: Efficient: A Toolset for Building Trusted B2B Transactions (AM, SR, BG, MSI, NG), pp. 430–445.
CAiSE-2005-RussellAHE #identification #representation #workflow: Workflow Resource Patterns: Identification, Representation and Tool Support (NR, WMPvdA, AHMtH, DE), pp. 216–232.
ICEIS-v1-2005-ArandaVCP #elicitation: Choosing Groupware Tools and Elicitation Techniques According to Stakeholders’ Features (GNA, AV, AC, MP), pp. 68–75.
ICEIS-v5-2005-BadjioP #data mining #metric #mining #quality #visual notation: Visual Data Mining Tools: Quality Metrics Definition and Application (EPFB, FP), pp. 98–103.
ICEIS-v5-2005-BeaudouxB #named: OPENDPI: A Toolkit for Developing Document-Centered Environments (OB, MBL), pp. 39–47.
LSO-2005-BuchH #information management #people: Substance, People, and Tools — Knowledge Management at sd&m (AB, BH), pp. 115–118.
SEKE-2005-AsawateeraR #automation #implementation #multi #uml: The Implementation of Multi Agents Awareness System for CSCW UML CASE Tools (PA, SR), pp. 735–738.
MoDELS-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.
MoDELS-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.
OOPSLA-2005-PaceC #architecture #modelling #named #object-oriented: ArchMatE: from architectural styles to object-oriented models through exploratory tool support (JADP, MRC), pp. 117–132.
PLDI-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.
SAS-2005-KodumalA #analysis #constraints #named #scalability: Banshee: A Scalable Constraint-Based Analysis Toolkit (JK, AA), pp. 218–234.
ASE-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.
ASE-2005-WuG #automation #domain-specific language #generative #testing: Automated generation of testing tools for domain-specific languages (HW, JG), pp. 436–439.
GTTSE-2005-GeigerZ: Developing Tools with Fujaba XProM (LG, AZ), pp. 344–356.
ICSE-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.
ICSE-2005-Jurjens #effectiveness #modelling #security #uml: Sound methods and effective tools for model-based security engineering with UML (JJ), pp. 322–331.
ICSE-2005-NagappanB05a #fault #static analysis: Static analysis tools as early indicators of pre-release defect density (NN, TB), pp. 580–586.
SAC-2005-Atterer #web: Where web engineering tool support ends: building usable websites (RA), pp. 1684–1688.
SAC-2005-GrunerN #detection #documentation: Tool support for plagiarism detection in text documents (SG, SN), pp. 776–781.
ATEM-2004-JinC05 #integration #ontology #reverse engineering: Factbase Filtering Issues in an Ontology-Based Reverse Engineering Tool Integration System (DJ, JRC), pp. 65–75.
ATEM-2004-Lammel05c: The Amsterdam Toolkit for Language Archaeology (RL), pp. 43–55.
LDTA-2005-BrandCOV #debugging #framework #named: TIDE: A Generic Debugging Framework — Tool Demonstration (MvdB, BC, PAO, JJV), pp. 161–165.
DAC-2005-BlaauwC: CAD tools for variation tolerance (DB, KC), p. 766.
DATE-2005-RosenstielBGGKLMMMS #question: Is there a Market for SystemC Tools? (WR, RAB, FG, TG, MK, MCvL, AM, MM, MM, SS), p. 950.
FASE-2005-JurjensS #analysis #development #security #uml: Tools for Secure Systems Development with UML: Security Analysis with ATPs (JJ, PS), pp. 305–309.
TACAS-2005-MargariaNS #integration #named: jETI: A Tool for Remote Tool Integration (TMS, RN, BS), pp. 557–562.
TestCom-2005-WagnerJKT #debugging #testing: Comparing Bug Finding Tools with Reviews and Tests (SW, JJ, CK, PT), pp. 40–55.
JCDL-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.
SIGMOD-2004-AndritsosMT #database #mining #scalability #set: Information-Theoretic Tools for Mining Database Structure from Large Data Sets (PA, RJM, PT), pp. 731–742.
SIGMOD-2004-HullS #design #web #web service: Tools for Design of Composite Web Services (RH, JS), pp. 958–961.
CSEET-2004-AlfertPS #education #modelling #re-engineering: Software Engineering Education Needs Adequate Modeling Tools (KA, JP, JS), pp. 72–77.
ITiCSE-2004-Ben-Ari #concurrent #education: A suite of tools for teaching concurrency (MBA), p. 251.
ITiCSE-2004-PaciniFF #database #learning #problem #spreadsheet: Learning problem solving with spreadsheet and database tools (GP, GF, AF), p. 267.
ITiCSE-WGR-2004-BoyerC #compilation #design #implementation: ICE™ and ICE/T™: tools to assist in compiler design and implementation (TPB, MC), pp. 55–57.
SIGITE-2004-WillisM #exclamation #tablet: Tablet PC’s as Instructional Tools or the Pen is Mightier than the ’Board! (CLW, LM), pp. 153–159.
CSMR-2004-LagoNV #evolution: Tool Support for Traceable Product Evolution (PL, EN, HvV), pp. 261–269.
ICSM-2004-TeohW #source code: Tools for Extracting Software Structure from Compiled Programs (HST, DBW), p. 526.
PASTE-2004-BusCSPB #design #flexibility #implementation: The design and implementation of FIT: a flexible instrumentation toolkit (BDB, DC, BDS, LVP, KDB), pp. 29–34.
WCRE-2004-LakhotiaP #analysis #research: Virus Analysis: Techniques, Tools, and Research Issues (AL, PP), p. 2.
SEFM-2004-Sinnott #development #realtime: The Formal, Tool Supported Development of Real Time Systems (ROS), pp. 388–395.
SFM-2004-BozgaGOOS: The IF Toolset (MB, SG, IO, IO, JS), pp. 237–267.
AFP-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.
ICGT-2004-BeckerLW #execution #graph #incremental #integration #interactive: Rule Execution in Graph-Based Incremental Interactive Integration Tools (SMB, SL, BW), pp. 22–38.
CHI-2004-JensenP #evaluation #online #policy #privacy: Privacy policies as decision-making tools: an evaluation of online privacy notices (CJ, CP), pp. 471–478.
CHI-2004-KlemmerLLL #named: Papier-Mache: toolkit support for tangible input (SRK, JL, JL, JAL), pp. 399–406.
CHI-2004-LuchiniQS #design #guidelines: Design guidelines for learner-centered handheld tools (KL, CQ, ES), pp. 135–142.
CHI-2004-ShenVFR #interactive #named: DiamondSpin: an extensible toolkit for around-the-table interaction (CS, FV, CF, MR), pp. 167–174.
CSCW-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.
CAiSE-2004-Matulevicius #case study #how #quality #requirements #specification: How Requirements Specification Quality Depends on Tools: A Case Study (RM), pp. 353–367.
ICEIS-v2-2004-CamargoFPS #network: Neural Network and Time Series as Tools for Sales Forecasting (MC, WPF, MP, AS), pp. 476–478.
ICEIS-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.
ICEIS-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.
ICEIS-v5-2004-BadjioP #data mining #mining #usability #visual notation: Usability of Visual Data Mining Tools (EPFB, FP), pp. 254–258.
ICEIS-v5-2004-KotzeC #authoring #heuristic: Heuristics Supporting Usable Authoring Tools (PK, EC), pp. 169–178.
ICEIS-v5-2004-Sneiders: Tool Support for Legal Enquiry: Focus on Spatial-Planning Law (ES), pp. 289–294.
ICPR-v2-2004-Ho #interactive: Interactive Tools for Pattern Discovery (TKH), pp. 509–512.
ICPR-v4-2004-OuelletH #geometry #image #quality: Developing Assistant Tools for Geometric Camera Calibration: Assessing the Quality of Input Images (JNO, PH), pp. 80–83.
LSO-2004-ChauM #agile #learning: Tool Support for Inter-team Learning in Agile Software Organizations (TC, FM), pp. 98–109.
LSO-2004-SantosVSRT #development #ontology: Building Ontology Based Tools for a Software Development Environment (GS, KV, LS, ARR, GHT), pp. 19–30.
SPLC-2004-Greenfield #framework #modelling: Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools (JG), p. 304.
SPLC-2004-Greenfield04a #domain-specific language #framework #using: Using Domain-Specific Languages, Patterns, Frameworks, and Tools to Assemble Applications (JG), p. 324.
PEPM-2004-SmaragdakisHZ #generative: Program generators and the tools to make them (YS, SSH, DZ), pp. 92–100.
PPDP-2004-Smaragdakis #generative: Invited talk: program generators and the tools to make them (YS), pp. 7–8.
SAS-2004-Smaragdakis #generative: Program Generators and the Tools to Make Them (YS), pp. 19–20.
RE-2004-HoffmannKWB #requirements: Requirements for Requirements Management Tools (MH, NK, MW, MB), pp. 301–308.
RE-2004-Kaindl #requirements: Active Tool Support for Requirements Engineering Through RETH (HK), pp. 362–363.
ASE-2004-CaoGHST #architecture #generative: An Architecture for Generating Web-Based, Thin-Client Diagramming Tools (SC, JCG, JGH, HS, EDT), pp. 270–273.
ASE-2004-JansenB #architecture #evaluation #evolution: Evaluation of Tool Support for Architectural Evolution (AJ, JB), pp. 375–378.
ASE-2004-Seyff #collaboration #mobile #requirements: Collaborative Tools for Mobile Requirements Acquisition (NS), pp. 426–429.
FSE-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.
ICSE-2004-BlackS #named: Traits: Tools and Methodology (APB, NS), pp. 676–686.
ICSE-2004-SeyffGMT #mobile #requirements: Requirements Engineering Tools Go Mobile (NS, PG, NAMM, AT), pp. 713–714.
ICSE-2004-Tenzer #design #game studies #uml: Improving UML Design Tools by Formal Games (JT), pp. 75–77.
GPCE-2004-Greenfield #framework #modelling: Software Factories: Assembling Applications with Patterns, Models, Frameworks and Tools (JG), p. 488.
LDTA-2004-BegelG #ambiguity #analysis: Language Analysis and Tools for Ambiguous Input Streams (AB, SLG), pp. 75–96.
LDTA-2004-BrandIM04a: The Action Environment: — Tool Demonstration -- (MvdB, JI, PDM), pp. 177–180.
LDTA-2004-Cordy #named #programming language #txl: TXL — A Language for Programming Language Tools and Applications (JRC), pp. 3–31.
LDTA-2004-JohnstoneSE04a: The GTB and PAT tools (AJ, ES, GRE), pp. 173–175.
LDTA-2004-Tavernier #automaton #named #user interface #visual notation: Calife: A Generic Graphical User Interface for Automata Tools (BT), pp. 169–172.
DAC-2004-KorsmeyerZG #design: Design tools for BioMEMS (TK, JZ, KG), pp. 622–628.
DATE-DF-2004-ChuDPSL #architecture: Customisable EPIC Processor: Architecture and Tools (WWSC, RGD, SP, SPS, WL), pp. 236–241.
DATE-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.
DATE-v1-2004-BurnsSKY #synthesis #using: An Asynchronous Synthesis Toolset Using Verilog (FPB, DS, AK, AY), pp. 724–725.
DATE-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.
HPDC-2004-DahanTRSUWB #grid: Grid Portal Toolkit 3.0 (GridPort) (MD, MT, ER, AS, TU, DW, JRB), pp. 272–273.
LCTES-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.
CAV-2004-RameshSDCV #modelling #verification: A Toolset for Modelling and Verification of GALS Systems (SR, SS, VD, NC, BV), pp. 506–509.
IJCAR-2004-MeseguerR #analysis #formal method #logic #semantics #specification: Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools (JM, GR), pp. 1–44.
TestCom-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.
VLDB-2003-CeriM #web: Constructing and integrating data-centric Web Applications: Methods, Tools, and Techniques (SC, IM), p. 1151.
VLDB-2003-LubbersGJ #data mining #development #quality: Systematic Development of Data Mining-Based Data Quality Tools (DL, UG, MJ), pp. 548–559.
CSEET-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–?.
ITiCSE-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.
CSMR-2003-JiangS #case study #difference: Exploring Differences in Exchange Formats — Tool Support and Case Studies (JJ, TS), pp. 389–398.
CSMR-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.
ICSM-2003-Baxter #architecture #automation #re-engineering: Massively Reengineering Architectures With Automated Tools (IDB), p. 463.
ICSM-2003-OhstWK #analysis #design #difference #documentation: Difference Tools for Analysis and Design Documents (DO, MW, UK), pp. 13–22.
IWPC-2003-HennessyMP #comprehension #named #xml: gccXfront: Exploiting gcc as a Front End for Program Comprehension Tools via XML/XSLT (MH, BAM, JFP), p. 298–?.
WCRE-2003-PacioneRW #comparative #evaluation #visualisation: Comparative Evaluation of Dynamic Visualisation Tools (MJP, MR, MW), pp. 80–89.
WCRE-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.
WCRE-2003-ZhuCKWKM #reverse engineering: Leveraging Visio for Adoption-Centric Reverse Engineering Tools (QZ, YC, PK, AW, HMK, HAM), pp. 270–274.
Haskell-2003-Hallgren #haskell: Haskell tools from the programatica project (TH), pp. 103–106.
Haskell-2003-LiRT #functional #refactoring #source code: Tool support for refactoring functional programs (HL, CR, SJT), pp. 27–38.
AGTIVE-2003-AssmannL #graph grammar #standard: Integrating Graph Rewriting and Standard Software Tools (UA, JL), pp. 134–148.
AGTIVE-2003-HellerJ #development #distributed #graph #process: Graph-Based Tools for Distributed Cooperation in Dynamic Development Processes (MH, DJ), pp. 352–368.
AGTIVE-2003-Kraft #concept #design: Conceptual Design Tools for Civil Engineering (BK), pp. 434–439.
AGTIVE-2003-KraftN #concept #design #specification: Parameterized Specification of Conceptual Design Tools in Civil Engineering (BK, MN), pp. 90–105.
AGTIVE-2003-Westfechtel #named #reverse engineering: E-CARES — Telecommunication Re- and Reverse Engineering Tools (AM, BW), pp. 440–445.
CHI-2003-BaileyK #design #multi: Are informal tools better?: comparing DEMAIS, pencil and paper, and authorware for early multimedia design (BPB, JAK), pp. 313–320.
CHI-2003-BallagasRSB #named #physics #ubiquitous #user interface: iStuff: a physical user interface toolkit for ubiquitous computing environments (RB, MR, MCS, JOB), pp. 537–544.
CHI-2003-KitamuraYHKK: Things happening in the brain while humans learn to use new tools (YK, YY, HI, FK, MK), pp. 417–424.
SOFTVIS-2003-Tudoreanu #design #effectiveness #visualisation: Designing Effective Program Visualization Tools for Reducing User’s Cognitive Effort (MET), pp. 105–114.
EDOC-2003-MoonLPC #modelling: ebXML BP Modeling Toolkit (JM, DL, CP, HC), pp. 296–301.
ICEIS-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.
ICEIS-v3-2003-CostagliolaFRTL #agile #development #modelling #process: Rapid Development of Process Modeling Tools (GC, RF, MR, GT, ADL), pp. 301–306.
MLDM-2003-Bunke #data mining #graph #machine learning #mining: Graph-Based Tools for Data Mining and Machine Learning (HB), pp. 7–19.
SEKE-2003-MenziesKF #automation #re-engineering #reduction: Improved Software Engineering Decision Support Through Automatic Argument Reduction Tools (TM, JDK, MSF), pp. 655–662.
UML-2003-LohmannSS #development #modelling #named #web: ProGUM-Web: Tool Support for Model-Based Development of Web Applications (ML, SS, TS), pp. 101–105.
AdaEurope-2003-Mikkonen #case study #experience #specification #using: Experiences on Developing and Using a Tool Support for Formal Specification (TM), pp. 297–308.
RE-2003-RifautMMPSLV #analysis #formal method #named #specification #using: FAUST: Formal Analysis Using Specification Tools (AR, PM, JFM, CP, PS, AvL, HTV), p. 350.
ASE-2003-SturmerC #code generation #design #testing: Test Suite Design for Code Generation Tools (IS, MC), pp. 286–290.
ESEC-FSE-2003-Jaaksi: Assessing software projects: tools for business owners (AJ), pp. 15–18.
ICSE-2003-CoppitS #analysis #effectiveness #modelling: Sound Methods and Effective Tools for Engineering Modeling and Analysis (DC, KJS), pp. 198–209.
ICSE-2003-MarburgerW #behaviour #comprehension: Tools for Understanding the Behavior of Telecommunication Systems (AM, BW), pp. 430–443.
SAC-2003-XuKTONOS #biology #database #set: Pathways Database System: An Integrated Set of Tools for Biological Pathways (WX, LK, MT, GÖ, JHN, ZMÖ, GS), pp. 96–102.
GPCE-2003-ChibaN #bytecode #java #performance: An Easy-to-Use Toolkit for Efficient Java Bytecode Translators (SC, MN), pp. 364–376.
GPCE-2003-SaraivaS #attribute grammar #generative: Generating Spreadsheet-Like Tools from Strong Attribute Grammars (JS, SDS), pp. 307–323.
DAC-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.
DAC-2003-SoDH #behaviour #design #synthesis #using: Using estimates from behavioral synthesis tools in compiler-directed design space exploration (BS, PCD, MWH), pp. 514–519.
DATE-2003-MuellerSEW #integration #network: Dynamic Tool Integration in Heterogeneous Computer Networks (WM, TS, HJE, JW), pp. 10946–10953.
DATE-2003-NicolescuV #approach #detection #fault: Detecting Soft Errors by a Purely Software Approach: Method, Tools and Experimental Results (BN, RV), pp. 20057–20063.
LCTES-2003-SureshNVVS #clustering #embedded #hardware #profiling: Profiling tools for hardware/software partitioning of embedded applications (DCS, WAN, FV, JRV, GS), pp. 189–198.
TACAS-2003-UchitelCKM #behaviour #named #using: LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios (SU, RC, JK, JM), pp. 597–601.
DocEng-2002-ForwardL #documentation #overview: The relevance of software documentation, tools and technologies: a survey (AF, TCL), pp. 26–33.
ECDL-2002-KhooDS #functional #online #requirements: Functional Requirements for Online Tools to Support Community-Led Collections Building (MK, HD, TS), pp. 190–203.
JCDL-2002-CorfieldDMT #xml: JAFER ToolKit project: interfacing Z39.50 and XML (AC, MJD, RM, CT), pp. 289–290.
SIGMOD-2002-PhanN #analysis #named: GEA: a toolkit for gene expression analysis (JMP, RTN), p. 628.
ITiCSE-2002-HansenR #collaboration #education #learning #modelling #object-oriented: Tool support for collaborative teaching and learning of object-oriented modeling (KMH, AVR), pp. 146–150.
ITiCSE-2002-Schreiner #algorithm #distributed #education #java: A java toolkit for teaching distributed algorithms (WS), pp. 111–115.
ITiCSE-2002-VanDeGriftA #assessment #framework #learning: Learning to support the instructor: classroom assessment tools as discussion frameworks in CS 1 (TV, RJA), pp. 19–23.
CSMR-2002-AlbaneseBGT #case study #migration: A Toolkit for Applying a Migration Strategy: A Case Study (CA, TB, EG, MT), pp. 154–163.
CSMR-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–?.
CSMR-2002-JahnkeWZ #concept #design: A History Concept for Design Recovery Tools (JHJ, JPW, AZ), pp. 37–46.
ICSM-2002-RotschkeK #analysis #architecture #evolution #industrial #scalability: Architecture Analysis Tools to Support Evolution of Large Industrial Systems (TR, RLK), pp. 182–191.
ICSM-2002-WilkieH #complexity #object-oriented: Tool Support for Measuring Complexity in Heterogeneous Object-Oriented Software (FGW, TJH), pp. 152–161.
IWPC-2002-DeursenV #combinator #comprehension #using #visitor: Building Program Understanding Tools Using Visitor Combinators (AvD, JV), pp. 137–146.
IWPC-2002-TeleaMR #architecture #visualisation: An Open Visualization Toolkit for Reverse Architecting (ACT, AM, CR), pp. 3–10.
IWPC-2002-TilleyH #comprehension #industrial #on the #visualisation: On Selecting Software Visualization Tools for Program Understanding in an Industrial Context (SRT, SH), pp. 285–288.
IWPC-2002-Walenstein #analysis #comprehension: Theory-based Analysis of Cognitive Support in Software Comprehension Tools (AW), pp. 75–84.
SCAM-2002-BurdB #clone detection #detection #maintenance: Evaluating Clone Detection Tools for Use during Preventative Maintenance (EB, JB), pp. 36–43.
CGDC-2002-SuomelaMRK #artificial reality #design #interactive: Augmented Reality for a Casual User: Designing Tools for Interaction with the Virtual World (RS, JM, ER, TK).
CHI-2002-McGeeCWH #multimodal: Comparing paper and tangible, multimodal tools (DM, PRC, RMW, SH), pp. 407–414.
CHI-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.
CSCW-2002-PranteMS #design #empirical #idea: Developing CSCW tools for idea finding -: empirical results and implications for design (TP, CM, NAS), pp. 106–115.
CAiSE-2002-SuI #case study #comparative #ontology: A Comparative Study of Ontology Languages and Tools (XS, LI), pp. 761–765.
ICEIS-2002-BodorikBJ #middleware #monitoring: Toolkit for QoS Monitoring in Middleware (PB, SB, DNJ), pp. 244–249.
LSO-2002-Henninger: Tool Support for Experience-Based Methodologies (SH), pp. 44–59.
SEKE-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.
PEPM-2002-BischofHN #automation #difference #implementation: Implementation of automatic differentiation tools (CHB, PDH, BN), pp. 98–107.
ASE-2002-Le #process: Process Support for Tools Interoperability (ATL), p. 314.
ICSE-2002-Puett #development #framework #modelling: Holistic framework for establishing interoperability of heterogeneous software development tools and models (JP), pp. 729–730.
ICSE-2002-UchitelSZ #algorithm #modelling #state machine: Scenarios and state machines: models, algorithms, and tools (SU, TS, AZ), pp. 659–660.
LDTA-2002-HenriquesPMLAZ #automation #generative: Automatic Generation of Language-based Tools (PRH, MJVP, MM, ML, EA, VZ), pp. 77–96.
CC-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.
DAC-2002-KahngCGLNRH #question: Tools or users: which is the bigger bottleneck? (ABK, RC, PG, LL, NN, PKR, LvdH), pp. 76–77.
DAC-2002-KondratyevL #design: Design of asynchronous circuits by synchronous CAD tools (AK, KL), pp. 411–414.
DAC-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.
DATE-2002-GuarnieriCASHZ #question: EDA Tools for RF: Myth or Reality? (LG, EC, CA, SS, MH, XZ), pp. 292–293.
HPDC-2002-AllenDDGKLNRRRSW #grid: The GridLab Grid Application Toolkit (GA, KD, TD, TG, IK, GL, JN, TR, KR, MR, ES, OW), p. 411.
OSDI-2002-QiePP #programming #using: Defensive Programming: Using an Annotation Toolkit to Build DoS-Resistant Software (XQ, RP, LLP), pp. 45–60.
PDP-2002-AugeratMS #clustering #monitoring #scalability: Scalable Monitoring and Configuration Tools for Grids and Clusters (PA, CM, BdOS), pp. 147–153.
PDP-2002-KacsukSKV #distributed #parallel #programming: Parallel and Distributed Programming Tools for Grids (PK, WS, DK, JV), pp. 137–138.
ESOP-2002-Horwitz #test coverage: Tool Support for Improving Test Coverage (SH), pp. 162–177.
FASE-2002-BaresiGMP #design #metamodelling #web: Meta-modeling Techniques Meet Web Application Design Tools (LB, FG, LM, PP), pp. 294–307.
TACAS-2002-Lowry #analysis: Software Construction and Analysis Tools for Future Space Missions (MRL), pp. 1–19.
HT-2001-Bernstein #hypermedia: Card shark and thespis: exotic tools for hypertext narrative (MB), pp. 41–50.
HT-2001-HarperGS #prototype #visual notation: Prototype mobility tools for visually impaired surfers (SH, CAG, RS), pp. 33–34.
HT-2001-Wideroos #process: Awt (Associative writing tool): supporting writing process with a ZigZag based writing tool — work in progress (KW), pp. 35–36.
JCDL-2001-GreenIG #protocol: SDLIP + STARTS = SDARTS a protocol and toolkit for metasearching (NG, PGI, LG), pp. 207–214.
ICSM-2001-JongeM #effectiveness #maintenance: Cost-Effective Maintenance Tools for Proprietary Languages (MdJ, RM), pp. 240–249.
IWPC-2001-BassilK #analysis #overview #visualisation: Software Visualization Tools: Survey and Analysis (SB, RKK), pp. 7–17.
IWPC-2001-GannodC #formal method #reverse engineering #using: A Suite of Tools for Facilitating Reverse Engineering Using Formal Methods (GCG, BHCC), pp. 221–232.
IWPC-2001-LangeWS #comprehension #graph #relational: Comparing Graph-Based Program Comprehension Tools to Relational Database-Based Tools (CL, AW, HMS), pp. 209–218.
IWPC-2001-Lethbridge #re-engineering: Report from the Dagstuhl Seminar on Interoperability of Reengineering Tools (TCL), p. 119.
IWPC-2001-ZayourL #reverse engineering: Adoption of Reverse Engineering Tools: A Cognitive Perspective and Methodology (IZ, TCL), pp. 245–255.
SCAM-2001-Vanter #source code: Preserving the Documentary Structure of Source Code in Language-Based Transformation Tools (MvdV), pp. 133–143.
CHI-2001-SchkolnePS #3d: Surface drawing: creating organic 3D shapes with the hand and tangible tools (SS, MP, PS), pp. 261–268.
SVIS-2001-CrescenziI #network #protocol #taxonomy #towards #visualisation: Towards a Taxonomy of Network Protocol Visualization Tools (PC, GI), pp. 241–255.
CAiSE-2001-WieringaJ #design: Techniques for Reactive System Design: The Tools in TRADE (RW, DNJ), pp. 93–107.
EDOC-2001-NealL #development #using: Tool Support for Development Using Patterns (SWN, PFL), p. 237–?.
ICEIS-v1-2001-MedinaT: Front-End Tools in Data Warehousing: Informix Metacube (ROLAP) vs. Cognos Powerplay (MOLAP) (EM, JT), pp. 10–18.
ICEIS-v1-2001-Orchard #fuzzy #reasoning: Fuzzy Reasoning in JESS: The Fuzzyj Toolkit and Fuzzyjess (RO), pp. 533–542.
ICEIS-v2-2001-Rak #design #development: Modern Tools for Development and Design of Virtual Instruments (RJR), pp. 1166–1169.
ICEIS-v2-2001-Riedl #architecture #corba #distributed #network #xml: A CORBA/XML-Based Architecture for Distributed Network Planning Tools (AR), pp. 926–933.
KDD-2001-TrainaTPF #data mining #mining #multi #named #scalability: Tri-plots: scalable tools for multidimensional data mining (AJMT, CTJ, SP, CF), pp. 184–193.
TOOLS-EUROPE-2001-GouveiaKAF #coordination #evolution: Tool Support for Coordination-Based Software Evolution (JG, GK, LFA, JLF), pp. 184–196.
TOOLS-USA-2001-Devos #design #developer: A Whack on the Side of the Designer’s Head: A Toolkit for the Creative Developer (MMD), p. 391.
AdaEurope-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.
PADL-2001-IglesiasGPRM #approach #logic programming: Interoperability between Bioinformatics Tools: A Logic Programming Approach (JRI, GG, EP, DR, BM), pp. 153–168.
ASE-2001-ArdourelH #encapsulation #graph: AGATE, Access Graph-Based Tools for Handling Encapsulation (GA, MH), pp. 311–314.
ASE-2001-ShenCH #state machine #uml #validation: A UML Validation Toolset Based on Abstract State Machines (WS, KJC, JH), pp. 315–318.
ICSE-2001-KamiyaOKKI #java #maintenance #source code: Maintenance Support Tools for JAVA Programs: CCFinder and JAAT (TK, FO, KK, SK, KI), pp. 837–838.
ICSE-2001-KoskinenPSSK #uml: Model Processing Tools in UML (JK, JP, PS, TS, KK), pp. 819–820.
ICSE-2001-StirewaltD #analysis #approach #component #formal method: A Component-Based Approach to Building Formal Analysis Tools (KS, LKD), pp. 167–176.
ICSE-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.
LDTA-2001-AttaliCDFPP #generative #interactive #named: SmartTools: a Generator of Interactive Environment Tools (IA, CC, PD, AF, DP, CP), pp. 225–231.
LDTA-2001-JongeVV #named #program transformation: XT: a bundle of program transformation tools (MdJ, EV, JV), pp. 79–86.
LDTA-2001-Klint #collaboration #development #interactive: Collaborative Development of Interactive Language Processing Tools (PK), pp. 1–2.
CC-2001-AttaliCDFPP #generative #interactive #named: SmartTools: A Generator of Interactive Environments Tools (IA, CC, PD, AF, DP, CP), pp. 355–360.
DATE-2001-Axelsson #architecture: Methods and tools for systems engineering of automotive electronic architectures (JA), p. 112.
DATE-2001-Bazargan-SabetI #modelling #verification: Modeling crosstalk noise for deep submicron verification tools (PBS, FI), pp. 530–534.
DATE-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.
DATE-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.
HPDC-2001-ThomasMDMSB #grid: The GridPort Toolkit: A System for Building Grid Portals (MT, SM, MD, KM, DS, JRB), pp. 216–227.
PDP-2001-Tavangarian #architecture: Local-Area and Wide-Area Computing: Architectures and Tools (DT), p. 40–?.
FASE-J-1998-MotaS01 #industrial #model checking: Model-checking CSP-Z: strategy, tool support and industrial application (AM, AS), pp. 59–96.
ESOP-2001-KomondoorH #dependence #using: Tool Demonstration: Finding Duplicated Code Using Program Dependences (RK, SH), pp. 383–386.
TACAS-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.
TACAS-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.
CAV-2001-BallR: The SLAM Toolkit (TB, SKR), pp. 260–264.
CAV-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.
ECDL-2000-SemeraroEFF #interactive #learning #library #profiling: Interaction Profiling in Digital Libraries through Learning Tools (GS, FE, NF, SF), pp. 229–238.
HT-2000-Neumuller #analysis: A semiotic analysis of iMarketing tools (MN), pp. 238–239.
CSEET-2000-Zalewski #automation #development #re-engineering: Automatic Development Tools in Software Engineering Courses (JZ), p. 200–?.
ITiCSE-2000-DickPM #education #re-engineering: Teaching tools for software engineering education (MD, MP, JM), pp. 49–52.
ITiCSE-2000-Normark: A suite of WWW-based tools for advanced course management (KN), pp. 65–68.
ITiCSE-2000-RaabRP #education #java: Pedagogical power tools for teaching Java (JR, RR, VKP), pp. 156–159.
WCRE-J-1997-DeursenQW00 #recognition: Program plan recognition for year 2000 tools (AvD, AQ, SW), pp. 303–324.
WCRE-J-1997-StoreyWM00 #comprehension #how #question #source code: How do program understanding tools affect how programmers understand programs? (MADS, KW, HAM), pp. 183–207.
ICSM-2000-RobitailleSK #comprehension #design #navigation: Bridging Program Comprehension Tools by Design Navigation (SR, RS, RKK), pp. 22–32.
IWPC-2000-Gallagher #comprehension: Tools for Program Comprehension: Building a Comprehender’s Workbench (KBG), p. 255.
WCRE-2000-CzeranskiEKKS #using: Analyzing xfig Using the Bauhaus Tools (JC, TE, HMK, RK, DS), pp. 197–199.
WCRE-2000-JahnkeW #reverse engineering: Reverse Engineering Tools as Media for Imperfect Knowledge (JHJ, AW), pp. 22–31.
WCRE-2000-ParryLT: PBS Tool Demonstration Report on Xfig (TPI, EL, JT), pp. 200–202.
WCRE-2000-SimS #comprehension: A Structured Demonstration of Program Comprehension Tools (SES, MADS), pp. 184–193.
WCRE-2000-SimSW #comprehension #lessons learnt: A Structured Demonstration of Five Program Comprehension Tools: Lessons Learnt (SES, MADS, AW), p. 210–?.
WCRE-2000-TateishiW #case study #experience #maintenance: Applying Traditional Unix Tools during Maintenance: An Experience Report (AT, AW), pp. 203–206.
CHI-2000-BaumeisterJB #comparison #modelling: A comparison of tools for building GOMS models (LKB, BEJ, MDB), pp. 502–509.
CHI-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.
CHI-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.
CHI-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.
CHI-2000-RosenbaumRH #usability: A toolkit for strategic usability: results from workshops, panels, and surveys (SR, JAR, JH), pp. 337–344.
CSCW-2000-Bernstein #how #process: How can cooperative work tools support dynamic group process? bridging the specificity frontier (AB), pp. 279–288.
ICPR-v3-2000-LagunovskyFB #image: Image Processing Tools for Fresco Restoration (DL, MF, GSdB), pp. 3330–3333.
ICPR-v3-2000-VincentCF #3d #segmentation #using: Spatio-Temporal Segmentation Using 3D Morphological Tools (VA, CR, FH), pp. 3885–3892.
ICPR-v4-2000-AlbiolNM #people #realtime #using: Real-Time High Density People Counter Using Morphological Tools (AA, VN, IM), pp. 4652–4655.
ICPR-v4-2000-DoermannM #evaluation #performance #video: Tools and Techniques for Video Performance Evaluation (DSD, DM), pp. 4167–4170.
KDD-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.
SIGIR-2000-MantzarisGGT #library: Integrated search tools for newspaper digital libraries (SLM, BG, NG, PT), p. 389.
SPLC-2000-StuartSPCWC #development #product line: The SSEP toolset for product line development (DS, WS, SP, DC, FW, TWC), pp. 413–436.
UML-2000-HussmannDF #architecture #composition #ocl: Modular Architecture for a Toolset Supporting OCL (HH, BD, FF), pp. 278–293.
ECOOP-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.
TOOLS-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.
TOOLS-PACIFIC-2000-BarberG #architecture #identification #object-oriented: Tool Support for Systematic Class Identification in Object-Oriented Software Architectures (KSB, TJG), pp. 82–93.
TOOLS-USA-2000-WolfIBP #modelling #object-oriented #uml: UML Tool Support: Utilization of Object-Oriented Models (MW, EI, RB, IP), pp. 529–534.
PADL-2000-ChewHN #constraints: A Toolkit for Constraint-Based Inference Engines (TYC, MH, KBN), pp. 185–199.
POPL-2000-ChambersHV #design pattern: A Debate on Language and Tool Support for Design Patterns (CC, BH, JMV), pp. 277–289.
ASE-2000-FeatherCL #risk management: Combining the Best Attributes of Qualitative and Quantitative Risk Management Tool Support (MSF, SLC, TWL), pp. 309–312.
ASE-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.
FoSE-2000-OssherHT #re-engineering #roadmap: Software engineering tools and environments: a roadmap (HO, WHH, PLT), pp. 261–277.
FSE-2000-ButkevichRBY #compilation #debugging #protocol: Compiler and tool support for debugging object protocols (SB, MR, GB, MY), pp. 50–59.
ICSE-2000-HayesGM #component #design #program analysis #reuse: Component design of retargetable program analysis tools that reuse intermediate representations (JH, WGG, SM), pp. 356–365.
ICSE-2000-Moore #education #lessons learnt #re-engineering #using: Lessons learned from teaching reflective software engineering using the Leap toolkit (CAM), pp. 672–675.
SAC-2000-KhuriH #algorithm #visualisation: Tools for Visualizing Text Compression Algorithms (SK, HCH), pp. 119–123.
DAC-2000-KirovskiLWP #forensics: Forensic engineering techniques for VLSI CAD tools (DK, DTL, JLW, MP), pp. 581–586.
DAC-2000-NiemierKK #design #novel #quantum: A design of and design tools for a novel quantum dot based microprocessor (MTN, MJK, PMK), pp. 227–232.
DATE-2000-Veelenturf #embedded #reliability: The Road to Better Reliability and Yield Embedded DfM Tools (KV), pp. 67–68.
FASE-2000-LuthW #development: More About TAS and IsaWin — Tools for Formal Program Development (CL, BW), pp. 367–370.
TACAS-2000-DennisCNBSRGM: The PROSPER Toolkit (LAD, GC, MN, RJB, KS, GR, MJCG, TFM), pp. 78–92.
TACAS-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.
TACAS-2000-Mossakowski #named #semantics: CASL: From Semantics to Tools (TM), pp. 93–108.
WRLA-2000-BrandR #asf+sdf #parsing: ASF+SDF parsing tools applied to ELAN (MvdB, CR), pp. 138–157.
WRLA-2000-LeuckerN #framework #logic #verification: Rewriting Logic as a Framework for Generic Verification Tools (ML, TN), pp. 121–137.
CAV-2000-RamakrishnanRSDDRV #named #verification: XMC: A Logic-Programming-Based Verification Toolset (CRR, IVR, SAS, YD, XD, AR, VNV), pp. 576–580.
ISSTA-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.
HT-1999-Lange #analysis #hypermedia: Hypermedia Potentials for Analysis Support Tools (DSL), pp. 165–166.
HT-1999-Morgan #hypermedia #research: Electronic Tools for Dismantling the Master’s House: Poststructuralist Feminist Research and Hypertext Poetics (WM), pp. 207–216.
CSMR-1999-KrikhaarFJM #architecture #comprehension: Architecture Comprehension Tools for a PBX System (RLK, LMGF, RdJ, JM), pp. 31–41.
WCRE-1999-EbertKW #named #re-engineering: GraX — An Interchange Format for Reengineering Tools (JE, BK, AW), p. 89–?.
WCRE-1999-FreitasL #reuse #reverse engineering: Reusing Domains for the Construction of Reverse Engineering Tools (FGdF, JCSdPL), p. 24–?.
FM-v2-1999-HainquePBN #compilation #composition #named: Cronos: A Separate Compilation Toolset for Modular Esterel Applications (OH, LP, YLB, EN), pp. 1836–1853.
FM-v2-1999-KnightFH #using: Tool Support for Production Use of Formal Techniques (JCK, PTF, BRH), p. 1854.
IFM-1999-BussowG #composition #framework #integration: A Modular Framework for the Integration of Heterogeneous Notations and Tools (RB, WG), pp. 211–230.
AGTIVE-1999-Cremer #graph #re-engineering #reverse engineering: Graph-Based Reverse Engineering and Reengineering Tools (KC), pp. 95–109.
AGTIVE-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.
AGTIVE-1999-GoedickeEMT99a #development: Tool Support for ViewPoint-oriented Software Development (MG, BE, TM, GT), pp. 419–425.
AGTIVE-1999-Radermacher #design pattern #graph transformation: Support for Design Patterns Through Graph Transformation Tools (AR), pp. 111–126.
CHI-1999-KaminskyDELSS #named #programmable: SWEETPEA: Software Tools for Programmable Embodied Agents (MK, PD, WKE, AL, MS, IES), pp. 144–151.
CHI-1999-SalberDA #development: The Context Toolkit: Aiding the Development of Context-Enabled Applications (DS, AKD, GDA), pp. 434–441.
CHI-1999-WexelblatM #information management #named: Footprints: History-Rich Tools for Information Foraging (AW, PM), pp. 270–277.
HCI-CCAD-1999-HartmannSMGS #learning: Tools for computer-supported learning in organisations (EAH, DS, KM, MG, HS), pp. 377–381.
HCI-CCAD-1999-KasyanovL #visualisation: Support tools for hierarchical information visualization (VNK, IAL), pp. 117–121.
HCI-CCAD-1999-RomahnP #design #evaluation: Design and evaluation of air traffic control support tools (SR, EAP), pp. 1261–1265.
HCI-EI-1999-GrinchenkoO #authoring #internet: Authoring Tools for Internet Publishing (TAG, MVO), pp. 116–119.
HCI-EI-1999-NoldusKHD #analysis: Software Tools for Collection and Analysis of Observational Data (LN, AK, WtH, RD), pp. 1114–1118.
TOOLS-EUROPE-1999-KoskimiesBPH #architecture #challenge #design #object-oriented #reuse: Designing Reusable Object-Oriented Architectures — Challenges, Methods & Tools (KK, JB, WP, GH), p. 421.
TOOLS-USA-1999-AltmannP #concept #development: Cooperative Software Development: Concepts, Model and Tools (JA, GP), p. 194–?.
TOOLS-USA-1999-Parnas #analysis #component #documentation #testing: Tools for Component Documentation, Analysis and Testing (DLP), p. 2.
TOOLS-USA-1999-Steckler #interactive #named: MysterX: A Scheme Toolkit for Building Interactive Applications with COM (PAS), p. 364–?.
TOOLS-USA-1999-StrunkL #testing: Tool Support for Testing and Documenting Framework-Based Software (WS, CL), p. 237–?.
TOOLS-USA-1999-Wasserman #uml: Features of UML Tools (TW), p. 522.
ICSE-1999-AtkinsBGM #using #version control: Using Version Control Data to Evaluate the Impact of Software Tools (DLA, TB, TLG, AM), pp. 324–333.
CC-1999-AnlauffKP #design #prototype: Tool Support for Language Design and Prototyping with Montages (MA, PWK, AP), pp. 296–299.
DATE-1999-TragoudasM #fault #functional: ATPG Tools for Delay Faults at the Functional Level (ST, MKM), p. 631–?.
HPDC-1999-AllenGMS #distributed #using: The Cactus Computational Toolkit and using Distributed Computing to Collide Neutron Stars (GA, TG, JM, ES), pp. 57–61.
HPDC-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.
LCTES-1999-Engblom #benchmark #embedded #metric #why: Why SpecInt95 Should Not Be Used to Benchmark Embedded Systems Tools (JE), pp. 96–103.
FASE-1999-LuthTKK #development #proving #theorem proving: TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving (CL, HT, K, BKB), pp. 239–243.
TACAS-1999-BuchholzK #analysis #composition #distributed: Modular State Level Analysis of Distributed Systems Techniques and Tool Support (PB, PK), pp. 420–434.
TACAS-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.
TACAS-1999-ParnasP: An Easily Extensible Toolset for Tabular Mathematical Expressions (DLP, DKP), pp. 345–359.
TACAS-1999-Stevens #re-engineering #verification: Some Issues in the Software Engineering of Verification Tools (PS), pp. 435–438.
CAV-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.
IWTCS-1999-ArtychB #concept #consistency #requirements: External Conformance Requirements: Concepts, Methods and Tools (RA, KMB), pp. 363–378.
IWTCS-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.
ECDL-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.
SIGMOD-1998-LiuPTBBZBHY #monitoring #named #personalisation: CQ: A Personalized Update Monitoring Toolkit (LL, CP, WT, DB, JB, TZ, PB, WH, FY), pp. 547–549.
CSMR-1998-Cremer #legacy: A Tool Supporting the Re-Design of Legacy Applications (KC), pp. 142–149.
IWPC-1998-BechiniT #concurrent #design #dynamic analysis #java: Design of a Toolset for Dynamic Analysis of Concurrent Java Program (AB, KCT), pp. 190–197.
IWPC-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.
IWPC-1998-WoodsOLGQ #architecture #comprehension: An Architecture for Interoperable Program Understanding Tools (SW, LO, TL, KG, AQ), pp. 54–63.
WCRE-1998-ArmstrongT #architecture: Evaluating Architectural Extraction Tools (MNA, CT), pp. 30–39.
FM-1998-AgerholmL98a #formal method #lightweight: The IFAD VDM Tools: Lightweight Formal Methods (SA, PGL), pp. 326–329.
FM-1998-BussowGHH #integration #modelling: An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools (RB, WG, WH, SH), pp. 184–195.
FM-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.
FM-1998-Karlsen #framework #higher-order #integration: The UniForM WorkBench — A Higher Order Tool Integration Framework (EWK), pp. 266–280.
CHI-1998-DobsonR #development #education #incremental #interface: Tools for Incremental Development of Educational Software Interfaces (WD, CR), pp. 384–391.
CHI-1998-LohRRGRE #design: The Progress Portfolio: Designing Reflective Tools for a Classroom Context (BL, JR, ER, LMG, BJR, DCE), pp. 627–634.
CSCW-1998-MoranMC: Tailorable Domain Objects as Meeting Tools for an Electronic Whiteboard (TPM, WvM, PC), pp. 295–304.
EDOC-1998-VogelsDPCP #enterprise #reliability: Quintet, tools for reliable enterprise computing (WV, DD, MP, KC, JP), pp. 274–280.
CIKM-1998-Sanderson: Accurate User Directed Summarizatiion from Existing Tools (MS), pp. 45–51.
KR-1998-Kamps #automation #formal method #reasoning #using: Formal Theory Building Using Automated Reasoning Tools (JK), pp. 478–487.
UML-1998-Desfray #automation #concept #design pattern: Automation of Design Pattern: Concepts, Tools and Practices (PD), pp. 120–131.
TOOLS-ASIA-1998-YuanCXMY #analysis #c++ #database #information management: C++ Program Information Database for Analysis Tools (WY, XC, TX, HM, FY), pp. 173–180.
TOOLS-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.
TOOLS-USA-1998-BarnB #component #development: Methods and Tools for Component Based Development (BB, AWB), pp. 384–395.
TOOLS-USA-1998-CalderoniM #multi #named #simulation: MUTANT: A MultiAgent Toolkit for Artificial Life Simulation (SC, PM), pp. 218–229.
TOOLS-USA-1998-Plosch #contract #design: Tool Support for Design by Contract (RP), pp. 282–294.
ICRE-1998-HammerH #automation #case study #experience #how #requirements: Automated Requirements Management — Beware HOW You Use Tools: An Experience Report (TH, LH), pp. 34–40.
ASE-1998-Andrews #analysis #testing #using: Testing using Log File Analysis: Tools, Methods, and Issues (JHA), p. 157–?.
ASE-1998-Walenstein #comprehension #design #modelling: Developing the Designer’s Toolkit with Software Comprehension Models (AW), pp. 310–313.
SAC-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.
SAC-1998-MurthyK #modelling #network #programming: Integrated network computing models, programming modes and software tools (VKM, EVK), pp. 551–557.
SAC-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.
CC-1998-KuiperS #generative #incremental #named: Lrc — A Generator for Incremental Language-Oriented Tools (MFK, JS), pp. 298–301.
DAC-1998-DunlopDFKLMR #design: Tools and Methodology for RF IC Design (AD, AD, PF, SK, DEL, RCM, JSR), pp. 414–420.
DAC-1998-GrinwaldHOUZ #design #verification: User Defined Coverage — A Tool Supported Methodology for Design Verification (RG, EH, MO, SU, AZ), pp. 158–163.
DAC-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.
DATE-1998-OlcozCGG #static analysis: Static Analysis Tools for Soft-Core Reviews and Audits (SO, AC, MG, JAG), pp. 935–936.
DATE-1998-Rosenstiel98a #design #generative: Next Generation System Level Design Tools (WR), p. 488–?.
HPDC-1998-BrunettCFFJKLT #case study #experience: Application Experiences with the Globus Toolkit (SB, KC, SF, ITF, AEJ, CK, JL, ST), pp. 81–88.
HPDC-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.
LCTES-1998-RamseyD #embedded: Machine Descriptions to Build Tools for Embedded Systems (NR, JWD), pp. 176–192.
PDP-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.
ESOP-1998-HenselHJT #logic #modelling #object-oriented: Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools (UH, MH, BJ, HT), pp. 105–121.
FASE-1998-Dubois #formal method #named #requirements: ALBERT: A Formal Language and Its Supporting Tools for Requirements Engineering (ED), pp. 322–325.
CAV-1998-HeitmeyerKLB #requirements #specification: SCR*: A Toolset for Specifying and Analyzing Software Requirements (CLH, JK, BGL, RB), pp. 526–531.
CAV-1998-Peled98a #sequence chart: A Toolset for Message Sequence Charts (DP), pp. 532–536.
SIGMOD-1997-GebhardtJJ #interface #multi: A Toolkit for Negotiation Support Interfaces to Multi-Dimensional Data (MG, MJ, SJ), pp. 348–356.
CSMR-1997-DumkeW #maintenance #performance: CAME Tools for an Efficient Software Maintenance (RRD, ASW), pp. 74–81.
CSMR-1997-JarzabekW #precise #reverse engineering #towards: Towards a precise description of reverse engineering methods and tools (SJ, IW), pp. 3–9.
CSMR-1997-MullerG #case study #experience #standard #using: Planning Year 2000 transformations using standard tools: an experience report (BM, RG), pp. 94–100.
WCRE-1997-BellayG #comparison #reverse engineering: A Comparison of Four Reverse Engineering Tools (BB, HG), pp. 2–11.
WCRE-1997-DeursenWQ #recognition: Program Plan Recognition for Year 2000 Tools (AvD, SW, AQ), p. 124–?.
WCRE-1997-HendrixCBM #multi #reverse engineering: Tool Support for Reverse Engineering Multi-Lingual Software (TDH, JHCI, LAB, KSM), pp. 136–143.
WCRE-1997-StoreyWM #comprehension #how #question #source code: How Do Program Understanding Tools Affect How Programmers Understand Programs? (MADS, KW, HAM), p. 12–?.
ICSM-2000-BasharKKSW #security: Low-threat security patches and tools (MAB, GK, MGK, EHS, SSWJ), pp. 306–313.
WIA-1997-Maout #automaton: Tools to Implement Automata, a First Step: ASTL (VLM), pp. 104–108.
HCI-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.
HCI-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.
HCI-CC-1997-SavidisS #integration #multi: Unifying and Merging Toolkits: A Multi-Purpose Toolkit Integration Engine (AS, CS), pp. 457–460.
HCI-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.
CAiSE-1997-Kaipala #automation #hypermedia #implementation: Augmenting CASE Tools with Hypertext: Desired Functionality and Implementation Issues (JK), pp. 217–230.
CAiSE-1997-RuggiaA #concept #modelling #reuse: A Toolkit for Reuse in Conceptual Modelling (RR, APA), pp. 173–186.
ECOOP-1997-FlorijnMW #object-oriented: Tool Support for Object-Oriented Patterns (GF, MM, PvW), pp. 472–495.
AdaEurope-1997-Bell #ada #analysis #source code: An Alternative Toolset for Analysis of Ada Programs (AEB), pp. 112–124.
AdaEurope-1997-DobbingR #ada #named #realtime: T-SMART — Task-Safe, Minimal Ada Realtime Toolset (BD, MRF), pp. 244–253.
AdaEurope-1997-Yeung #ada #semantics: Semantics-Based Support Tools for High Integrity Ada Software (WLY), pp. 100–111.
ASE-1997-FranceEG #automation #object-oriented #semantics #towards: Towards Semantic-Based Object-Oriented CASE Tools (RBF, MPE, ESG), pp. 295–296.
ASE-1997-GoguenLMRS #distributed #formal method: Distributed Cooperative Formal Methods Tools (JAG, KL, AM, GR, AS), pp. 55–62.
ASE-1997-Henninger #development #evolution: Tools Supporting the Creation and Evolution of Software Development Knowledge (SH), p. 46–?.
ESEC-FSE-1997-PohlW #approach: A Contextual Approach for Process-Integrated Tools (KP, KW), pp. 176–192.
ICSE-1997-HeitmeyerKL #requirements #specification #validation #verification: The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support (CLH, JK, BGL), pp. 610–611.
ICSE-1997-JagadeesanPPRV #testing: Specification-based Testing of Reactive Software: Tools and Experiments (LJJ, AAP, CP, JCR, LGV), pp. 525–535.
ICSE-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.
ICSE-1997-Schurr #re-engineering #visual notation: Developing Graphical (Software Engineering) Tools with PROGRES (AS), pp. 618–619.
ICSE-1997-SullivanCZC #programming: Package-Oriented Programming of Engineering Tools (KJS, JC, SZ, DC), pp. 616–617.
DAC-1997-Frenkil #design #power management: Tools and Methodologies for Low Power Design (JF), pp. 76–81.
DAC-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.
DAC-1997-SchurmannA #design #modelling: Modeling Design Tasks and Tools: The Link Between Product and Flow Model (BS, JA), pp. 564–569.
TACAS-1997-KelbMMG #flexibility #higher-order #logic #monad #named: MOSEL: A FLexible Toolset for Monadic Second-Order Logic (PK, TMS, MM, CG), pp. 183–202.
CAV-1997-Boralv #industrial #verification: The Industrial Success of Verification Tools Based on Stålmarck’s Method (AB), pp. 7–10.
CAV-1997-Marschner #challenge #industrial #verification: Practical Challenges for Industrial Formal Verification Tools (FEM), pp. 1–2.
ILPS-1997-Tarau #internet #logic programming: Logic Programming Tools for Advanced Internet Programming (PT), pp. 33–34.
VLDB-1996-McKennaBHT #named #query: EROC: A Toolkit for Building NEATO Query Optimizers (WJM, LB, CH, MT), pp. 111–121.
CSEE-1996-Ozcan #education #integration #re-engineering: Integration of Software Tools in Software Engineering Education (MBÖ), pp. 149–171.
CSEE-1996-ShepardBS #automation #education #scalability #using: Use of Large, Domain Specific CASE tools in Undergraduate Curricula (TS, BB, MS), pp. 144–148.
ITiCSE-1996-Beise #education #internet: Integrating Internet tools into the soft side of informatics education (CMB), pp. 107–108.
ITiCSE-1996-GrangerL #automation #education: Integrating CASE tools into the CS/CIS curriculum (MJG, JCL), pp. 130–132.
ITiCSE-1996-Jacker #documentation #monitoring #named #network: Tkined/scotty: tools for network documentation, monitoring and troubleshooting (KHJ), p. 233.
ITiCSE-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.
ITiCSE-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.
ITiCSE-1996-Roberts #source code: Tools for creating portable demonstration programs (ER), pp. 78–80.
ITiCSE-1996-Velazquez-IturbideRF #algorithm #development #programming: An inexpensive programming toolset for algorithm development (JÁVI, AMCR, NLF), p. 231.
ICSM-1996-CanforaCL #analysis #specification: Specifying code analysis tools (GC, AC, ADL), pp. 95–103.
WPC-1996-Graham #testing #visualisation: A Method for The Formal Testing of Program Visualization Tools (TCNG), pp. 45–54.
WPC-1996-Sullivan #agile #development #program analysis: Rapid Development of Simple, Custom Program Analysis Tools (KJS), pp. 40–44.
WIA-1996-Rodger #formal method #programming: Integrating Hands-on Work into the Formal Languages Course via Tools and Programming (SHR), pp. 132–148.
CSCW-1996-Dourish #collaboration #consistency #semantics: Consistency Guarantees: Exploiting Application Semantics for Consistency Management in a Collaboration Toolkit (PD), pp. 268–277.
CAiSE-1996-NorrieW #distributed #information management #integration: Agent-Based Tool Integration for Distributed Information Systems (MCN, MW), pp. 383–401.
SEKE-1996-Robertson #empirical #specification: An Empirical Study of the LSS Specification Toolkit in Use (DSR), pp. 153–160.
ECOOP-1996-BanavarL #composition #framework: An Application Framework For Module Composition Tools (GB, GL), pp. 91–113.
TRI-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.
FSE-1996-GriswoldCBM #abstraction #scalability: Tool Support for Planning the Restructuring of Data Abstractions in Large Systems (WGG, MIC, RWB, JDM), pp. 33–45.
ICSE-1996-AtkinsonG #design #program analysis: The Design of Whole-Program Analysis Tools (DCA, WGG), pp. 16–27.
ICSE-1996-BaumerBLZ #concept #experience #prototype #user interface: User Interface Prototyping — Concepts, Tools, and Experience (DB, WRB, HL, HZ), pp. 532–541.
ICSE-1996-Ledru #using: Using KIDS as a Tool Support for VDM (YL), pp. 236–245.
KBSE-1996-SidarkeviciuteTK #knowledge-based #visualisation: A Knowledge-Based Toolkit For Software Visualisation (DS, ET, AK), p. 18.
SAC-1996-FordHPT #network #repository #standard: Linking specialized network data repositories to standard access tools (RF, GH, VP, DT), pp. 219–223.
CC-1996-KadhimW #composition #development #named #syntax: Maptool — Supporting Modular Syntax Development (BMK, WMW), pp. 268–280.
DAC-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.
DAC-1996-CarleyGRS #synthesis: Synthesis Tools for Mixed-Signal ICs: Progress on Frontend and Backend Strategies (LRC, GGEG, RAR, WMCS), pp. 298–303.
DAC-1996-ChandrakasanYVA #design: Design Considerations and Tools for Low-voltage Digital System Design (AC, IY, CV, DA), pp. 113–118.
DAC-1996-CortadellaKKLY #encoding #synthesis: Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis (JC, MK, AK, LL, AY), pp. 63–66.
DAC-1996-HutchinsH #how #perl: How to Write Awk and Perl Scripts to Enable Your EDA Tools to Work Together (RCH, SH), pp. 409–414.
HPDC-1996-FosterPS #collaboration #distributed #research: Tools for Distributed Collaborative Environments: A Research Agenda (ITF, MEP, RLS), pp. 23–28.
ESOP-1996-BergstraDFH #compilation: A Complete Transformational Toolkit for Compilers (JAB, TBD, JF, JH), pp. 92–107.
TACAS-1996-BoualiRRS #set: The FC2TOOLS Set (AB, AR, VR, RdS), p. 396.
TACAS-1996-HeylMK #named: cTc — A Tool Supporting the Construction of cTLA-Specifications (CH, AM, HK), pp. 407–411.
TACAS-1996-Holzmann #detection #fault: Early Fault Detection Tools (GJH), pp. 1–13.
CAV-1996-AnonBCCLSTXZ #design #verification: MDG Tools for the Verification of RTL Designs (KDA, NB, EC, FC, ML, XS, ST, YX, ZZ), pp. 433–436.
CAV-1996-BoualiRRS #set: The FC2TOOLS Set (AB, AR, VR, RdS), pp. 441–445.
CAV-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.
CAV-1996-MoserMRKD #logic #realtime #visual notation: The Real-Time Graphical Interval Logic Toolset (LEM, PMMS, YSR, GK, LKD), pp. 446–449.
ISSTA-1996-PezzeY #analysis #generative #multi: Generation of Multi-Formalism State-Space Analysis Tools (MP, MY), pp. 172–179.
ICDAR-v2-1995-BippusM #data type #database #documentation #generative: Data structures and tools for document database generation: an experimental system (RDB, VM), pp. 711–714.
ICDAR-v2-1995-DowntonHA #programming #recognition #visual notation: A visual programming toolkit demonstrator for offline handwritten forms recognition (ACD, SJH, AA), pp. 707–710.
ICDAR-v2-1995-EikvilAK #interactive: Tools for interactive map conversion and vectorization (LE, KA, HK), pp. 927–930.
VLDB-1995-Meier #approach #database #migration: Providing Database Migration Tools — A Practicioner’s Approach (AM), pp. 635–641.
WCRE-1995-WellsBM #assurance #quality #re-engineering: Customized Tools for Software Quality Assurance and Reengineering (CHW, RB, LM).
CHI-1995-HarperS #collaboration: Collaborative Tools and the Practicalities of Professional Work at the International Monetary Fund (RHRH, AS), pp. 122–129.
CAiSE-1995-BounabG #approach #integration: A Federated Approach to Tool Integration (MB, CG), pp. 269–282.
KDD-1995-ShanZHC #information management #set #using: Using Rough Sets as Tools for Knowledge Discovery (NS, WZ, HJH, NC), pp. 263–268.
SEKE-1995-VerkamoL #development #problem: Problems in Interfacing Tools of Different Development Environments (AIV, GL), pp. 429–437.
SEKE-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.
ESEC-1995-HeiselSZ #architecture #development #formal method: Tool Support for Formal Software Development: A Generic Architecture (MH, TS, DZ), pp. 272–293.
ICSE-1995-GautierLST #case study #experience #integration: Tool Integration: Experiences and Directions (BG, CWL, ES, LT), pp. 315–324.
KBSE-1995-KraanB #case study #framework #logic #verification: Logical Frameworks as a Basis for Verification Tools: A Case Study (IK, PB), pp. 36–43.
ASF+SDF-1995-MauwMa #sequence chart #specification: Specification of Tools for Message Sequence Charts (SM, EAvdM), pp. 175–210.
DAC-1995-Bergamaschi #design #problem #question: Productivity Issues in High-Level Design: Are Tools Solving the Real Problems? (RAB), pp. 674–677.
DAC-1995-BredenfeldC #design #graph #integration #using: Tool Integration and Construction Using Generated Graph-Based Design Representations (AB, RC), pp. 94–99.
DAC-1995-GeloshS #layout #modelling #performance: Deriving Efficient Area and Delay Estimates by Modeling Layout Tools (DSG, DES), pp. 402–407.
SOSP-1995-JosephdTGK #information management #mobile #named: Rover: A Toolkit for Mobile Information Access (ADJ, AFd, JAT, DKG, MFK), pp. 156–171.
TACAS-1995-CleavelandMS #generative #verification: A Front-End Generator for Verification Tools (RC, EM, SS), pp. 153–173.
TAPSOFT-1995-AstesianoRM: The SMoLCS ToolSet (EA, GR, FM), pp. 801–802.
TAPSOFT-1995-BrandV #asf+sdf #documentation #exclamation #for free #ide: The Asf+Sdf Meta-Environment Documentation Tools for Free! (MvdB, EV), pp. 803–804.
HT-ECHT-1994-RobertsonMG #authoring #hypermedia #research: The Hypermedia Authoring Research Toolkit (HART) (JR, EM, AG), pp. 177–185.
CSEE-1994-Zalewski #using: Cohesive Use of Commercial Tools in a Classroom (JZ), pp. 65–75.
CHI-1994-BierSFBB94a #taxonomy: A taxonomy of see-through tools (EAB, MCS, KPF, WB, TB), pp. 358–364.
CSCW-1994-EvelandBBM #network #using: The Role of “Help Networks” in Facilitating Use of CSCW Tools (JDE, ALB, WB, JM), pp. 265–274.
KDD-1994-Kaufman #development #learning #multi #using: Comparing International Development Patterns Using Multi-Operator Learning and Discovery Tools (KAK), pp. 431–440.
SEKE-1994-PranevitchiusP #simulation #specification #validation: Tools for validation and simulation of Estelle/Ag specifications (HP, VP), pp. 94–99.
ECOOP-1994-FreemanM #object-oriented #user interface #video: Adding Digital Video to an Object-Oriented User Interface Toolkit (SMGF, MSM), pp. 493–512.
TOOLS-EUROPE-1994-BrantJ #composition: Creating Tools in HotDraw by Composition (JB, REJ), pp. 445–454.
TOOLS-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.
TOOLS-EUROPE-1994-Tomek #smalltalk: Three Tools for Smalltalk Programmers: Task Oriented Views, Information Cards, and SCRC card (IT), pp. 489–497.
AdaEurope-1994-ArberetD #memory management: Test Methods and Tools for SOHO Mass Memory Unit Software (PA, LD), pp. 121–129.
AdaEurope-1994-HutcheonJMPWJ #ada: Tool Support for High Integrity Ada Software (ADH, DTJ, JAM, RHP, ICW, BJJ), pp. 63–75.
PEPM-1994-BerlinS #experience #partial evaluation: Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience (AAB, RJS), pp. 133–141.
PLDI-1994-SrivastavaE #named #program analysis: ATOM — A System for Building Customized Program Analysis Tools (AS, AE), pp. 196–205.
Best-of-PLDI-1994-SrivastavaE94a #named #program analysis: ATOM: a system for building customized program analysis tools (with retrospective) (AS, AE), pp. 528–539.
ICSE-1994-DevanbuRW #analysis #automation #testing: Automated Construction of Testing and Analysis Tools (PTD, DSR, ALW), pp. 241–250.
KBSE-1994-ChilenskiN #analysis #specification #test coverage: Formal Specification Tools for Test Coverage Analysis (JC, PN), pp. 59–68.
CC-1994-CheathamGS #analysis #interpreter: A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter (TC, HG, DCS), pp. 188–202.
DAC-1994-ArnsteinT #abstraction #behaviour #synthesis: The Attributed-Behavior Abstraction and Synthesis Tools (LFA, DET), pp. 557–561.
DAC-1994-GuptaCDP #design #experience #image #using: Experience with Image Compression Chip Design using Unified System Construction Tools (PG, CTC, JCDB, ACP), pp. 250–256.
DAC-1994-OchottaRC #agile #named #synthesis: ASTRX/OBLX: Tools for Rapid Synthesis of High-Performance Analog Circuits (ESO, RAR, LRC), pp. 24–30.
CADE-1994-HuangKKMNRS94a #automation #deduction #named: KEIM: A Toolkit for Automated Deduction (XH, MK, MK, EM, DN, JR, JHS), pp. 807–810.
HT-1993-Perlman #hypermedia #information retrieval: Information Retrieval Techniques for Hypertext in the Semi-Structured Toolkit (GP), pp. 260–267.
WCRE-1993-ReubensteinPR #analysis #parsing #reverse engineering: Separating Parsing and Analysis in Reverse Engineering Tools (HBR, RLP, SNR), pp. 117–125.
FME-1993-RaoPS #compilation #development #verification: Verification Tools in the Development of Provably Correct Compilers (MRKKR, PKP, RKS), pp. 442–461.
HCI-SHI-1993-Cohill #approach #design #development #interface: Information Tools: A New Approach to Interface Design and Development (AMC), pp. 915–920.
HCI-SHI-1993-IwaiM #development #user interface: User Interface Development Tools for Pen Computer Applications (II, YM), pp. 1016–1021.
HCI-SHI-1993-Nakamura93a #problem: Problem Solving Support System as Thinking Acceleration Tools (TN), pp. 297–302.
HCI-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.
HCI-SHI-1993-WojtkowskiW #authoring #development #multi #platform: Multimedia Development Platforms and Authoring Tools: Practical and Theoretical Frontiers (WW, WGW), pp. 537–542.
INTERCHI-1993-CarlssonF #3d: Integrated CSCW tools within a shared 3D virtual environment (CC, LEF), p. 513.
INTERCHI-1993-MacleodB #analysis #metric #music #usability #video: MUSiC video analysis and context tools for usability measurement (MM, NB), p. 55.
INTERCHI-1993-SzekelyLN #interface #modelling: Beyond interface builders: model-based interface tools (PAS, PL, RN), pp. 383–390.
INTERCHI-1993-TonomuraAOS #video: VideoMAP and VideoSpaceIcon: tools for anatomizing video content (YT, AA, KO, TS), pp. 131–136.
INTERCHI-1993-Weiler #usability: Software for the usability lab: a sampling of current tools (PW), pp. 57–60.
CIKM-1993-Rundensteiner #database #generative #object-oriented: Tools for View Generation in Object-Oriented Databases (EAR), pp. 635–644.
SEKE-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.
OOPSLA-1993-KovedW #3d #named #object-oriented: GROOP: An Object-Oriented Toolkit for Animated 3D Graphics (LK, WLW), pp. 309–325.
OOPSLA-1993-KruegerLVA #development #memory management: Tools for the Development of Application-Specific Virtual Memory Management (KK, DL, AV, TEA), pp. 48–64.
OOPSLA-1993-Strauss #3d: IRIS Inventor, A 3D Graphics Toolkit (PSS), pp. 192–200.
TOOLS-EUROPE-1993-Harmon #object-oriented: Object-Oriented Tools and Environments (PH), p. 345.
TOOLS-EUROPE-1993-Soufflet #object-oriented: Associated Paper: Object-Oriented Tools & PCTE (DS), p. 277.
TOOLS-USA-1993-Berg-Cross #coordination #development #standard: Leveraging Productivity with a Standard Environment and Coordinated Tools for O-O Development (GBC), pp. 489–495.
TOOLS-USA-1993-CorriveauW #evolution #framework #on the: On the Evolution of a Framework for the ObjecTime Toolset (JPC, LW), pp. 337–349.
TOOLS-USA-1993-HarmonH #object-oriented: Object-Oriented Tools and Environments (PH, CH), p. 528.
AdaEurope-1993-ThyseliusSS #ada #simulation: Adam, an Ada Simulation Toolkit (RT, MS, BS), pp. 298–313.
TRI-Ada-1993-KoehnemannL #debugging #embedded #testing #towards: Towards Target-Level Testing and Debugging Tools for Embedded Software (HK, TEL), pp. 288–298.
ICRE-1993-AliagaS #composition #prototype #user interface: Prototyping of Graphing Tools by Direct GUI Composition (DGA, MSH), pp. 317–334.
KBSE-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.
SAC-1993-BajajF #image #re-engineering: The VAIDAK Medical Image Model Reconstruction Toolkit (CLB, MCF), pp. 28–35.
CAV-1993-CeransGL #specification: Timed Modal Specification — Theory and Tools (KC, JCG, KGL), pp. 253–267.
CAV-1993-KuttyRMDM #concurrent #logic #verification #visual notation: A Graphical Interval Logic Toolset for Verifying Concurrent Systems (GK, YSR, LEM, LKD, PMMS), pp. 138–153.
ICLP-1993-GrantJ #modelling #prolog: A Prolog Toolkit for control System Models (PWG, CPJ), pp. 839–840.
IWPTS-1993-AhtiainenCHK #automation #case study #experience: Experiences with Octopus Automated TTCN Translation Tools Applied to GSM/SS7 (AA, BC, MWAH, SK), pp. 231–253.
PODS-1992-Dong #datalog #query: Datalog Expressiveness of Chain Queries: Grammar Tools and Characterizations (GD), pp. 81–90.
CHI-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.
CSCW-1992-RosemanG #named #realtime: GROUPKIT: A Groupware Toolkit for Building Real-Time Conferencing Applications (MR, SG), pp. 43–50.
CAiSE-1992-Verrijn-StuartR #integration: Model Integration in Information Planning Tools (AAVS, GJR), pp. 481–493.
SEKE-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.
TOOLS-EUROPE-1992-BlakN #embedded #object-oriented: OO Methods and Tools for Embedded Applications, The Mjolner BETA System (LB, JN), pp. 359–367.
TOOLS-EUROPE-1992-BuddeCSZ #analysis #design: Tools and Materials: an Analysis and Design Metaphor (RB, MLCN, KHS, HZ), pp. 135–146.
TOOLS-EUROPE-1992-CarricoAGPM: Support for Open Tools and Systems (LC, PA, NG, PP, MM), pp. 301–310.
TOOLS-EUROPE-1992-NilssonB #object-oriented #specification: Tools for Object Oriented Formal Specification Technique (GN, PB), pp. 349–358.
AdaEurope-1992-Treurniet #assessment #interface #set: SWG APSE Test Support Toolset (Assessment of the CAIS-A Interface Set) (WT), pp. 214–229.
ALP-1992-GioviniMC #algebra #concurrent #implementation #prototype #specification: Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems (AG, FM, AC), pp. 335–349.
PLILP-1992-Thiemann #bottom-up #evaluation #functional #named #source code: LaToKi: A Language Toolkit for Bottom-Up Evaluation of Functional Programs (PT), pp. 481–482.
TRI-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.
KBSE-1992-KotikM #knowledge-based #re-engineering: Knowledge-Based Software Reengineering Tools (GK, LM), p. 31.
KBSE-1992-SolderitschY #knowledge base #reuse: Knowledge Based Software Reuse Methods and Tools: DoD STARS RLF Technology (JS, DY), p. 1.
SOSP-WIP-1991-Jones92 #interface: A Toolkit for Interposing User Code at the System Interface (MBJ), p. 21.
SOSP-WIP-1991-Marzullo92: A Toolkit for Building Reactive Systems or A Minute on Meta (KM), p. 23.
SOSP-WIP-1991-Weihl92 #named #parallel #source code: Prelude: Tools for Building Portable Parallel Programs (WEW), p. 24.
DAC-1992-FranzonSSBMM #generative: Tools to Aid in Wiring Rule Generation for High Speed Interconnects (PDF, SS, MBS, MB, SM, TM), pp. 466–471.
HPDC-1992-Sunderam #network #paradigm #tutorial: Tutorial I: Paradigms and Tools for Heterogeneous Network Computing (VSS), p. 282.
PODS-1991-HillebrandKMV #bound #datalog: Tools for Datalog Boundedness (GGH, PCK, HGM, MYV), pp. 1–12.
SEI-1991-Werth #automation #collaboration #re-engineering: Industry-Academia Collaboration to Provide CASE Tools for Software Engineering Classes (LHW), pp. 245–256.
VDME-1991-Cattel #specification: Tactical Tools for Distributing VDM Specifications (TC), pp. 309–323.
VDME-1991-Dollin: The HP-ST Toolset (CD), pp. 687–688.
VDME-1991-Group: The RAISE Toolset (CRI), pp. 689–690.
CHI-1991-Tatsukawa #approach #interactive #visual notation: Graphical toolkit approach to user interaction description (KT), pp. 323–328.
CHI-1991-WolfRZO: We-met (window environment-meeting enhancement tools) (CGW, JRR, LAZ, HO), pp. 441–442.
CAiSE-1991-SeppanenHL #design #named #towards: SPADE — Towards Case Tools That Can Guide Design (VS, MH, RL), pp. 222–239.
OOPSLA-1991-Guimaraes #experience #inheritance #multi #user interface: Building Generic User Interface Tools: an Experience with Multiple Inheritance (NG), pp. 89–96.
OOPSLA-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.
TOOLS-USA-1991-Black #integration: Tool Integration Approaches in an O-O IPSE (EB), pp. 89–102.
TOOLS-USA-1991-DoucetAP #database: Database Programmers are Handcrafters: They Need Appropriate Tools (AD, GA, PP), pp. 103–116.
TOOLS-USA-1991-Joloboff #object-oriented: Invited Paper: OSF Motif: An Object-Oriented Toolkit (VJ), pp. 7–22.
TOOLS-USA-1991-Reiss #object-oriented: Tools for Object-Oriented Redesign (SPR), pp. 361–364.
ICSE-1991-Craigen #formal method: Tool Support for Formal Methods (DC), pp. 184–185.
ICSE-1991-FischerHR #reuse: Cognitive tools for locating and comprehending software objects for reuse (GF, SH, DFR), pp. 318–328.
DAC-1991-Fuhrman #industrial #synthesis: Industrial Extensions to University High Level Synthesis Tools: Making It Work in the Real World (TEF), pp. 520–525.
ICLP-1991-Reintjes #design #set: A Set of Tools for VHDL Design (PBR), pp. 549–562.
IWPTS-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.
IWPTS-1991-GuareneM #network #testing: Advanced Testing Tools For Intelligent Network (EG, PM), pp. 219–230.
IWPTS-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.
IWPTS-1991-Stoettinger: Session on Equivqlence of Test Tools (KS), pp. 291–293.
TAV-1991-AvruninBCDW: Experiments with an Improved Constrained Expression Toolset (GSA, UAB, JCC, LKD, JCW), pp. 178–187.
ECHT-1990-PuttressG #approach #hypermedia: The Toolkit Approach to Hypermedia (JJP, NMG), pp. 25–37.
ECHT-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.
PODS-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.
GG-1990-Cuny #graph grammar #question: Graph Grammars as Tools in Applications Work? (JEC), pp. 46–47.
GG-1990-Wanke #graph grammar #named: PLEXUS: Tools for Analyzing Graph Grammars (EW), pp. 68–69.
CHI-1990-SchiphorstCLWG #composition #interactive #process: Tools for interaction with the creative process of composition (TS, TC, CL, CW, SG), pp. 167–174.
CSCW-1990-KnisterP #distributed #editing #multi #named: DistEdit: A Distributed Toolkit for Supporting Multiple Group Editors (MJK, AP), pp. 343–355.
CSCW-1990-MarkusC #problem #why: Why CSCW Applications Fail: Problems in the Adoption of Interdependent Work Tools (MLM, TC), pp. 371–380.
CSCW-1990-ShepherdMK #named: Strudel — An Extensible Electronic Conversation Toolkit (AS, NM, AK), pp. 93–104.
CAiSE-1990-Capua #automation #named: FOUNDATION — CASE Tools for the Success of the French Stock Exchange (FDC), p. 3.
CAiSE-1990-Engeman #development #integration #repository: A Common Repository and Information Model — A Base for Integration of Development Tools (CE), p. 4.
CAiSE-1990-Nilsson #automation: CASE Tools and Software Factories (EGN), pp. 42–60.
CAiSE-1990-SmolanderTL #case study #how: How to Combine Tools and Methods in Practice — a Field Study (KS, VPT, KL), pp. 195–214.
CAiSE-1990-Suomi #case study #development #experience: Selecting System Development Tools: Some Experiences (RS), pp. 61–78.
POPL-1990-Field #analysis #lazy evaluation #on the #specification: On Laziness and Optimality in λ Interpreters: Tools for Specification and Analysis (JF), pp. 1–15.
WAGA-1990-Eijk #attribute grammar #prototype: Attribute Grammar Applications in Prototyping LOTOS Tools (PvE), pp. 91–100.
CC-1990-Kasyanov #programming: Tools and Techniques of Annotated Programming (VNK), pp. 117–131.
HT-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.
VLDB-1989-Bitton #database #interface: Database Tools and Interfaces (DB), p. 443.
VLDB-1989-KingN #database #design #interface #named: FaceKit: A Database Interface Design Toolkit (RK, MN), pp. 115–123.
CHI-1989-EhrlichBMT: Tools for supporting cooperative work near and far: highlights from the CSCW conference (SFE, TB, WM, JCT), pp. 353–356.
CHI-1989-Gibbs #named: LIZA: an extensible groupware toolkit (SJG), pp. 29–35.
CAiSE-1989-Assche #automation #future of #on the: On the Future of CASE Tools (FVA).
CAiSE-1989-Bostrom #development #information management: Information Systems Development Supporting Methodologies with Computerized Tools (BTB).
CAiSE-1989-DahlO #development #modelling: The Relationship between Models, Methods and System Development Tools (i.e. Case Tools and 4GL) (LD, RO).
CAiSE-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).
CAiSE-1989-Kansala #automation #experience #set: Loosely Integrated Sets of CASE tools: Our Experience (KK).
CAiSE-1989-KinnulaM #automation #how: How to Test and Compare CASE tools (TK, JM).
CAiSE-1989-LagerkvistN #automation #how: How to Succeed with Modern Tools such as the CASE tool “Deft” on the Macintosh (CL, ÅN).
CAiSE-1989-LuchnerKE #automation: Glueing CASE Tools Together in a Heterogeneous CASE Environment (PL, GRK, FE).
CAiSE-1989-Lustig #automation #how: How CASE Tools and Methods Relate to Each Other (GL).
CAiSE-1989-Potucek #automation: CASE Tools in an IRM Environment (JP).
CAiSE-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).
CAiSE-1989-Schefstrom #integration #on the: On Posteriori Integration of Software Tools (DS).
CAiSE-1989-Sutcliffe #automation #design #interface: CASE Tools and the Human Computer Interface: Implications for Designers (AS).
ML-1989-Spackman #detection #induction #learning: Signal Detection Theory: Valuable Tools for Evaluating Inductive Learning (KAS), pp. 160–163.
ECOOP-1989-FriedrichHSS #named #visualisation: ObjView: A Task-Oriented, Graphics-Based Tools for Object Visualization and Arrangement (GF, WH, CS, MS), pp. 299–310.
ESEC-1989-LacroixV #integration: Tool Integration in an Open Environment (ML, MV), pp. 311–323.
ESEC-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.
ICSE-1989-PatelONB #formal method: Tools to Support Formal Methods (SP, RAO, MTN, DWB), pp. 123–132.
ICSE-1989-Thomas #integration: Tool Integration in the Pact Environment (IT), pp. 13–22.
DAC-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.
DAC-1989-IrwinO #2d #comparison #layout #matrix: A Comparison of Four Two-dimensional Gate Matrix Layout Tools (MJI, RMO), pp. 698–701.
DAC-1989-TrickD #behaviour #layout #named #synthesis: LASSIE: Structure to Layout for Behavioral Synthesis Tools (MTT, SWD), pp. 104–109.
SEI-1988-Werth #how #what #why: Software Tools at the University: Why, What and How (LHW), pp. 169–186.
VDME-1988-NielsenHWG: The RAISE Language, Method and Tools (MN, KH, KRW, CG), pp. 376–405.
CSCW-1988-Trigg #communication #hypermedia: Guided Tours and Tabletops: Tools for Communicating in a Hypertext Environment (RHT), pp. 216–226.
OOPSLA-1988-SzekelyM #constraints #user interface #visual notation: A User Interface Toolkit Based on Graphical Objects and Constraints (PAS, BAM), pp. 36–45.
ICSE-1988-Baecker #readability #visualisation: Enhancing Program Readability and Comprehensibility with Tools for Program Visualization (RB), pp. 356–366.
ICSE-1988-Duncan #development #metric: Software Development Productivity Tools and Metrics (ASD), pp. 41–48.
ICSE-1988-Fonorow #modelling: Modeling Software Tools with Icon (ORF), pp. 202–221.
ICSE-1988-Kishida #evolution: Evolution of Tools (KK), p. 2.
ICSE-1988-OrrNTR #design #realtime: Tools for Real-Time System Design (RAO, MTN, RT, CDVR), pp. 130–140.
CCHSC-1988-Kastens #compilation #generative #interface: Abstract Interfaces for Compiler Generating Tools (UK), pp. 103–114.
DAC-1988-BergstraesserGHW #architecture #named #synthesis: SMART: Tools and Methods for Synthesis of VLSI Chips with Processor Architecture (TB, JG, KH, SW), pp. 654–657.
CADE-1988-TourCC: Some Tools for an Inference Laboratory (ATINF) (TBdlT, RC, GC), pp. 744–745.
HT-1987-Jones #hypermedia #parametricity: Developing and Distributing Hypertext Tools: Legal Inputs and Parameters (HWJI), pp. 367–374.
HCI-CE-1987-BylanderCJ: The Generic Task Toolset (TB, BC, JRJ), pp. 507–514.
HCI-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.
PLDI-1987-KoskimiesP #approach #named #object-oriented: TOOLS: a unifying approach to object-oriented language interpretation (KK, JP), pp. 153–164.
ESEC-1987-HekmatpourW #specification #visual notation: Formal Specification of Graphical Notations and Graphical Software Tools (SH, MW), pp. 297–305.
ESEC-1987-Tempel #design #set: A Set of Tools supporting the Software Design Based on SDL (HGT), pp. 348–356.
ICSE-1987-Nomura #re-engineering #using: Use of Software Engineering Tools in Japan (TN), pp. 263–269.
DAC-1987-DemersJFC #integration #named #object-oriented: CHESHIRE: An Object-Oriented Integration of VLSI CAD Tools (LPD, PJ, SF, EC), pp. 750–756.
SLP-1987-MatwinSKMK87: A Logic-Based Tools for Negotiation Support (SM, SS, GEK, WM, ZK), pp. 499–506.
CSCW-1986-Brown #collaboration: Enhancing creativity with collaborative tools (JSB), p. 386.
CSCW-1986-Neches #people: Tools help people co-operate only to the extent that they help them share goals and terminology (RN), pp. 192–201.
DAC-1986-BushnellD #integration #using: VLSI CAD tool integration using the Ulysses environment (MLB, SWD), pp. 55–61.
VLDB-1985-BouzeghoubGM #approach #database #design: Database Design Tools: An Expert System Approach (MB, GG, EM), pp. 82–95.
ICSE-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.
ICSE-1985-StavelyBOT #concurrent #design: A Collection of Software Tools for Analyzing Design of Concurrent Software Systems (AMS, DCB, SPO, GBT), pp. 111–118.
DAC-1985-ChuL #design #layout: Technology tracking for VLSI layout design tools (KCC, YEL), pp. 279–285.
DAC-1985-HughesLR #automation #design #distributed #execution: A technique for distributed execution of design automation tools (SCH, DBL, CJR), pp. 23–30.
DAC-1985-RoseBT #analysis #design #performance #probability: Integrating stochastic performance analysis with system design tools (CWR, MB, YT), pp. 482–488.
AS-1985-ScherlisS #programming #semantics #summary: Semantically Based Programming Tools (Summary) (WLS, DSS), pp. 52–59.
SLP-1985-OKeefe85 #on the #prolog: On the Treatment of Cuts in Prolog Source-Level Tools (RAO), pp. 68–72.
LFP-1984-Lieberman #debugging #lisp #towards: Steps Toward Better Debugging Tools for Lisp (HL), pp. 247–255.
ICSE-1984-HennellHR: Assessing a Class of Software Tools (MAH, DH, IJR), pp. 266–277.
ICSE-1984-Schroeder #documentation #metric: Integrated Program Measurement and Documentation Tools (AS), pp. 304–313.
DAC-1984-Marwedel #design: The mimola design system: Tools for the design of digital processors (PM), pp. 587–593.
DAC-1984-Smith #layout #what: Basic turorial layout tools — what really is there (RS), p. 219.
DAC-1983-Sapiro #question: Engineering Workstations: Tools or toys? (SS), pp. 79–80.
DAC-1983-Tomkinson #automation #design #named: UCAD: Building Design Automation with general purpose software tools on UNIX (JHT), pp. 774–787.
ICALP-1982-GuttagKM #term rewriting: Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term rewriting Systems (JVG, DK, DRM), pp. 300–312.
ICSE-1982-BabichWW #ada #design: Design Considerations in Language Processing Tools for Ada (WAB, LW, MW), pp. 40–47.
DAC-1982-BeylsHLMP #design #layout: A design methodology based upon symbolic layout and integrated cad tools (AMB, BH, JL, GM, AP), pp. 872–878.
DAC-1982-FriendensonBT #delivery #design: Designer’s Workbench: Delivery of cad tools (RAF, JRB, TJT), pp. 15–22.
VLDB-1981-Hainaut #database #design: Theoretical and Practical Tools for Data Base Design (JLH), pp. 216–224.
ICSE-1981-Lingard #interactive: A Software Methodology for Buidling Interactive Tools (RWL), pp. 394–399.
DAC-1981-Dutton #automation #design #perspective: Position statement — tools for design automation from a university point of view (RWD), p. 333.
VLDB-1980-Jefferson #database #design #development: The Development and Application of Data Base Design Tools and Methodology (DKJ), pp. 153–154.
VLDB-1980-Nambiar #database #design #relational: Some Analytic Tools for the Design of Relational Database Systems (KKN), pp. 417–428.
DAC-1980-Lee #design: Design tools for VLSI (BL), p. 342.
VLDB-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.
VLDB-1979-RollandLR #information management: Tools for Information System Dynamics Management (CR, SL, CR), pp. 251–261.
SCC-1979-Feldman #compilation #fortran #implementation #using: Implementation of a portable Fortran 77 compiler using modern tools (SIF), pp. 98–106.
ICSE-1979-Vick #on the #past present future #re-engineering: On Software Engineering Tools: Past, Present and Future (CRV), p. 52.
DAC-1979-Giuliani #design: Will Disign tools catch up to VLSI design (DG), pp. 544–545.
VLDB-1978-BubenkoY #database #design: Data Base Design Tools (JABJ, SBY), p. 2.
VLDB-1977-ChenY #database #design #performance: Design and Performance Tools for Data Base Systems (PPC, SBY), pp. 3–15.
DAC-1977-Fulton: Tools for map graphics (PF), pp. 94–100.
ICSE-1976-Koppang #design #development #process #set: Process Design System: An Integrated Set of Software Development Tools (RGK), pp. 86–90.
ICSE-1976-MasheyS #documentation: Documentation Tools and Techniques (JRM, DWS), pp. 177–181.
DAC-1976-HorbstPB #interactive: Engagement of interactive graphic tools in a CAD-system for digital units (EH, RP, WB), pp. 86–90.