Search results for "Tools"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Aaron Marcus	Cross-cultural user-interface design for work, home, play, and on the way.	SIGDOC	2001	DBLP DOI BibTeX RDF	dialogue boxes, productivity tools, design, user interfaces, multimedia, information visualization, e-commerce, semantics, web, culture, diversity, metaphors, semiotics, m-commerce, rhetoric, performance tools
17	Wai-Ming Ho, Jean-Marc Jézéquel, Alain Le Guennec, François Pennaneac'h	UMLAUT: An Extendible UML Transformation Framework.	ASE	1999	DBLP DOI BibTeX RDF	UML Tools, Validation Tools, Object-Orientation, Functional Programming, Model Transformation, Formal techniques
17	Akira K. Onoma, Hiroshi Suganuma, Mustafa H. Poonawala, Satish Subramanian, Wei-Tek Tsai, Tsutomu Syomura	Opusdei-Integrated Environment for Software Development and Maintenance.	COMPSAC	1996	DBLP DOI BibTeX RDF	industrial software, uniform representation, central repository, tool repository, uniform software artifacts representation, traceability maintenance, tools repository, tool composition scenarios, automatic documentation, software maintenance, software maintenance, software development, software tools, documentation, computer aided software engineering, versioning control, integrated environment, software artifacts, project support environments, integrated software
17	Matthew F. Storch, Jane W.-S. Liu	DRTSS: a simulation framework for complex real-time systems.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	DRTSS, complex multi-paradigm distributed real-time systems, timing-oriented prototyping tools, PERTS schedulability analyzer tool, a priori schedulability analysis, real-time systems, virtual machines, distributed processing, discrete-event simulators, software performance evaluation, computer aided software engineering, software prototyping, simulation framework, verification tools, complex real-time systems
17	Zhaoqing Zhang, Gao Nianshu, Ruliang Qiao, Qiang Liu	Advanced compilation techniques used in PORT system.	ISPAN	1996	DBLP DOI BibTeX RDF	optimization, parallelization, compilation, software tools, visual programming, data flow analysis, flow analysis, visualization tools, PORT, parallelising compilers, data dependence analysis, optimising compilers
17	David W. Bustard, P. J. Lundy	Enhancing soft systems analysis with formal modelling.	RE	1995	DBLP DOI BibTeX RDF	soft systems analysis, initial requirements definition, informal SSM models, computing oriented analysis techniques, book ordering data processing, software requirements engineering method, formal specification, formal specification, software tools, software tools, specification languages, systems analysis, formal modelling, LOTOS, formal techniques, formal descriptions, Soft Systems Methodology, RACE
17	Kwang-Hang Koh, Robert de Souza, Nai-Choon Ho	Direct database-simulation using PROGREss.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	direct database-simulation, relational database data, simulation-based scheduling, job-shop environment, large machine shop, machining centres, precision machine tools, application development environment, finite capacity scheduling, machine utilisation, relational databases, graphical user interfaces, performance measures, digital simulation, PROGREss, application generators, machine tools, machining, production control, tardiness
17	Pai H. Chou, Ross B. Ortega, Gaetano Borriello	The Chinook hardware/software co-synthesis system.	ISSS	1995	DBLP DOI BibTeX RDF	Chinook hardware/software co-synthesis system, custom logic, design co-simulation, design time constraints, embedded controller design, error-prone tasks, function migration, interface hardware, interface software, system components integration, real-time systems, software tools, logic design, microprocessors, logic CAD, microcontrollers, computer-aided design tools
17	Matthew F. Parkinson, Sri Parameswaran	Profiling in the ASP codesign environment.	ISSS	1995	DBLP DOI BibTeX RDF	Automated Synthesis and Partitioning system, Hardware/Software Codesign project, codesign environment, hardware/software codesign methodology, high-level profiling tools, virtual machines, software tools, C, computer architecture, profiling, systems analysis, circuit CAD, workstation, ASP, C code, dedicated hardware, execution profiling
17	Stanley A. Schneider, Vincent W. Chen, Gerardo Pardo-Castellote	ControlShell: component-based real-time programming.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	component-based real-time programming, ControlShell, real-time system software development, graphical system-building tools, execution-time configuration manager, real-time matrix package, object name service, on-line reconfiguration, strategic control, functional object hierarchies, code sharing, object interconnectivity, configuration control system, operating mode changing, real-time systems, data structures, object-oriented programming, computer graphics, software tools, programming environments, inheritance, complex systems, software reusability, configuration management, integrated development environment, file organisation, large-scale systems, code reuse, data flow computing, naming services, command and control systems
17	Andy Schürr, Andreas J. Winter 0001, Albert Zündorf	Visual Programming with Graph Rewriting Systems.	VL	1995	DBLP DOI BibTeX RDF	multiparadigm language, PROGRES, rule-oriented visual language, well-defined type, visual database programming language, replacing facilities, language-specific tools, user interfaces, specification, logic programming, debugging, software tools, C, programming environments, pattern matching, specification languages, rapid prototyping, browsing, visual programming, visual programming, visual languages, abstract data types, graph grammars, backtracking, Modula-2, rewriting systems, editing, software engineering environments, logic programming languages, graph rewriting systems, Tcl/Tk
17	Rahman Jamal, Lothar Wenzel	The Applicability of the Visual Programming Language LabVIEW to Large Real-World Applications.	VL	1995	DBLP DOI BibTeX RDF	ultrasonic materials testing, laboratory techniques, LabVIEW visual programming language, large real-world applications, graphical programming languages, natural intuitive man-machine interaction, graphical programming tools, programming efficiency, real-time acquisition, simulation, simulation, real-time systems, user interfaces, software tools, programming environments, visual programming, visual languages, data analysis, automatic testing, digital simulation, data acquisition, graphical programming
17	Arthur M. Geoffrion, Sergio Maturana	Generating optimization-based decision support systems.	HICSS (3)	1995	DBLP DOI BibTeX RDF	optimization-based decision support systems, programming effort, completely specified syntax, total structure/data independence, surface/deep structure distinction, software engineering, semantics, graphical user interfaces, GUI, graphical user interfaces, software tools, software tools, decision support systems, optimisation, database management systems, DBMS, business data processing, SML
17	Helmar Burkhart, Stephan Gutzwiller	Software reuse and portability of parallel programs.	HICSS (2)	1995	DBLP DOI BibTeX RDF	compute-intensive programs, regular process topologies, execution patterns, Basel Algorithm Classification Scheme, formal description language, prototype skeleton generator, C source code, parallel programming, parallel programs, parallel programming, virtual machines, software tools, software tools, software reuse, software reusability, automatic programming, parallel virtual machines, software portability, software portability
17	M. J. van der Westhuizen, R. G. Harley, D. C. Levy, D. R. Woodward	Using EDIF for software generation.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	EDIF, parallel microprocessors, codesign methods, hardware development tools, real-time parallel C code, FPGA, parallel programming, simulated annealing, simulated annealing, software tools, software tool, logic CAD, circuit CAD, C language, scheduling theory, software generation, development systems
17	Scott R. Tilley	Domain-retargetable reverse engineering. III. Layered modeling.	ICSM	1995	DBLP DOI BibTeX RDF	layered modeling, domain-retargetable reverse engineering, structural understanding, large information spaces, reverse engineering, relational databases, software maintenance, software tools, conceptual modeling, tools, hypertext, artifacts
17	Cornelia Boldyreff, Elizabeth Burd, R. M. Hather, Richard Eric Mortimer, Malcolm Munro, E. J. Younger	The AMES approach to application understanding: a case study.	ICSM	1995	DBLP DOI BibTeX RDF	AMES, Application Management Environments Support, application understanding, ESPRIT Project no. 8156, application documentation, united graph, reverse engineering, software maintenance, software maintenance, software tools, software tools, case study, program comprehension, computer aided software engineering, learning theory, learning process, system documentation, project support environments, research initiatives
17	E. M. Osman, Grace Baratta-Perez, Thomas J. Walsh 0002, Kenneth J. Fowler	A unique tool set for engineering complex systems.	ICECCS	1995	DBLP DOI BibTeX RDF	tool set, life-cycle management, large-system features, Ada 83, C System Dependency Analyzers, Ada 83 Common Code Recognizer, Ada 83 Tasking Identifier, Rate Monotonic Analysis Scheduler, source code analysis tools, software engineering, reliability, software architecture, Ada, Ada, software maintenance, software tools, complex systems, portability, maintainability, software portability, software systems, porting
17	Michael S. Moore, Jim Nichols	Model-based synthesis of a real-time image processing system.	ICECCS	1995	DBLP DOI BibTeX RDF	utility programs, MIRTIS environment, model-based synthesis, real-time image processing system, very high performance implementations, automatic data parallelization, split-and-merge processing model, parallel hardware architecture, C40 DSP network, high level programming interface, running application control, real-time systems, parallel algorithms, image processing, parallel programming, parallel architectures, graphical user interfaces, software tools, programming environments, application program interfaces, merging, model building, program control structures, graphical tools
17	Santanu Paul, Atul Prakash 0001	A Framework for Source Code Search Using Program Patterns.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	program patterns, source code fragments, integrated software engineering environments, pattern-based query processors, source programming language, SCRUPLE, source code search tool, source code browser, user interfaces, user interface, formal specification, software maintenance, software maintenance, prototype, software tools, software tools, programming environments, finite state machines, finite state machine, query languages, source code, pattern languages, software reengineering, software understanding, software toolkits, source code search
17	Ping Luo, Pedro A. Szekely, Robert Neches	Management of interface design in humanoid.	INTERCHI	1993	DBLP DOI BibTeX RDF	development tools and methods, interface design representation, interface-building tools and techniques, rapid prototyping, design processes
17	Charles Rich, Yishai A. Feldman	Seven Layers of Knowledge Representation and Reasoning in Support of Software Development.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	Programmer's Apprentice, Cake, truth maintenance, Boolean constraint propagation, Plan Calculus, Requirements Apprentice, Debugging Assistant, software engineering, knowledge representation, knowledge representation, software development, software tools, reasoning, types, inference mechanisms, frames, algebra, equality, software development tools
17	Pamela Zave	An Insider's Evaluation of PAISLey.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	PAISLey, analysis techniques, formal specification, software tools, software tools, specification languages, executable specification, specification methods
17	Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden	The AdaPIC Tool Set: Supporting Interface Control and Analysis Throughout the Software Development Process.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	AdaPIC tool set, interface control, language features, software system components, Ada, software development, software tools, programming environments, software development environment, analysis tools
17	Rakesh Jha, J. Michael Kamrad II, Dennis T. Cornhill	Ada Program Partitioning Language: A Notation for Distributing Ada Programs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Honeywell, Ada program partitioning language, Distributed Ada project, host development environment, language translation tools, complexity, Ada, Ada, distributed processing, software tools, distributed applications, run-time system, program interpreters, program design, APPL, hardware configuration
17	Andrea Maggiolo-Schettini, Margherita Napoli, Genoveffa Tortora	Web Structures: A Tool for Representing and Manipulating Programs.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	high-level data flow analyzer, web structure transformations, data structures, graph theory, software tools, software tools, program transformers, program verification, programming theory, set theory, category theory, production rules, web structures
17	Stephen S. Yau, Robin A. Nicholl, Jeffrey J. P. Tsai, Sying-Syang Liu	An Integrated Life-Cycle Model for Software Maintenance.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	integrated life-cycle model, graph rewriting rules, data structure, data structures, graph theory, graph theory, software maintenance, software tools, software tools, programming environments, programming environments, software reliability, data flow, control flow, software life cycle, semantic properties
17	Jayashree Ramanathan, Soumitra Sarkar	Providing Customized Assistance for Software Lifecycle Approaches.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	tightly coupled environment, customized software development assistant, conceptual modeling language, software development, software tools, software tools, programming environments, programming environments, high level languages
17	Nicoletta De Francesco, Gigliola Vaglini	Description of a Tool for Specifying and Prototyping Concurrent Programs.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	executable concurrent programs, static semantics checks, scheduling, parallel programming, parallel programming, prototyping, debugging, software tools, programming environments, programming environments, specification language, specification languages, distributed applications, translation, automatic programming, automatic programming, functional language, program interpreters, concurrent language, interactive tools, dynamic testing
17	Jahangir Karimi, Benn R. Konsynski	An Automated Software Design Assistant.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	automated software design assistant, structured software design, software tools, software tools, automatic programming, structured programming, software engineering environment, quantitative measures
17	C. V. Ramamoorthy, Vijay K. Garg, Atul Prakash 0001	Support for Reusability in Genesis.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	Genesis, reusability-driven development methodology, software resources, entity specification language, functional composition, program abstractors, databases, software development, software tools, software tools, programming environment, programming environments, software reuse, database management systems, query languages, query languages, specification languages, software reusability, file organisation, file organisation, ESL
17	Jan Stelovsky, Hirotsugo Sugaya	A System for Specification and Rapid Prototyping of Application Command Languages.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	application command languages, XS-2 system, application dialogs, command language grammar, nonprocedural description language, command specification, command tree, user interfaces, user interfaces, software tools, software tools, programming environments, programming environments, rapid prototyping, interactive systems, regular expressions, grammars, Modula-2, automatic translation
16	Renate Motschnig, Tomás Pitner	Promoting a Humanistic Perspective of Creativity by Interpersonal Qualities and Web-Based Tools.	WSKS (1)	2009	DBLP DOI BibTeX RDF	human creativity, Person-Centered Approach, web-based services
16	I-Hsin Chung, Seetharami R. Seelam, Bernd Mohr, Jesús Labarta	Tools for scalable performance analysis on Petascale systems.	IPDPS	2009	DBLP DOI BibTeX RDF
16	Alistair G. Sutcliffe, Faisal Al-Qaed	Designing Tools for Supporting User Decision-Making in e-Commerce.	INTERACT (2)	2009	DBLP DOI BibTeX RDF	advisor agents, e-commerce, Decision support, recommenders
16	Jingang Yi, Shengwei Ding, Dezhen Song, Mike Tao Zhang	Steady-State Throughput and Scheduling Analysis of Multicluster Tools: A Decomposition Approach.	IEEE Trans Autom. Sci. Eng.	2008	DBLP DOI BibTeX RDF
16	Yuri Babich, Otto Spaniol, Dirk Thißen 0001	Service Management for Development Tools.	Results of the IMPROVE Project	2008	DBLP DOI BibTeX RDF
16	James H. Hill, Douglas C. Schmidt, Adam A. Porter, John M. Slaby	CiCUTS: Combining System Execution Modeling Tools with Continuous Integration Environments.	ECBS	2008	DBLP DOI BibTeX RDF	serialized phasing, system execution modeling, integration testing, continuous integration
16	Stefan Wagner 0001, Florian Deissenboeck, Michael Aichner, Johann Wimmer, Markus Schwalb	An Evaluation of Two Bug Pattern Tools for Java.	ICST	2008	DBLP DOI BibTeX RDF	Static analysis, economics, effectiveness, bug pattern
16	Melissa Freedenberg, Chanchala Kaddi, Chang F. Quo, May D. Wang	Review of Systems Biology Simulation Tools for Translational Research.	BIBE	2007	DBLP DOI BibTeX RDF
16	Brian de Alwis, Gail C. Murphy, Martin P. Robillard	A Comparative Study of Three Program Exploration Tools.	ICPC	2007	DBLP DOI BibTeX RDF
16	Jason Pascoe, Kirsten Thomson	On the use of mobile tools in everyday life.	OZCHI	2007	DBLP DOI BibTeX RDF	Smartwatch, barriers-to-use, wrist-worn, usability, ubiquitous computing, mobile, mobility, context-aware, user study, user centred design, wearable, diary study, pervasive, ubicomp
16	Víctor Fernández-Carbajales Canete, José María Martínez Sanchez, Francisco Morán	High-Level Description Tools for Humanoids.	MRCS	2006	DBLP DOI BibTeX RDF
16	Yulia Nemchinova, Hasan H. Sayani	Using Tools in Teaching University Courses in Information Technology.	SNPD	2006	DBLP DOI BibTeX RDF
16	Nicholas Nethercote, Robert Walsh, Jeremy Fitzhardinge	Building Workload Characterization Tools with Valgrind.	IISWC	2006	DBLP DOI BibTeX RDF
16	Avery Ching, Wu-chun Feng, Heshan Lin, Xiaosong Ma, Alok N. Choudhary	Exploring I/O Strategies for Parallel Sequence-Search Tools with S3aSim.	HPDC	2006	DBLP DOI BibTeX RDF	parallel HMMer tool, parallel I/O strategy, parallel sequence-search tool, S3aSim framework, computational biologist, sequence database segmentation, master-writing strategy, worker-writing strategy, mpiBLAST tool, pioBLAST tool, search algorithm, parallel file system
16	Guozhen Zhang, Qun Jin	Scalable Information Sharing Utilizing Decentralized P2P Networking Integrated with Centralized Personal and Group Media Tools.	AINA (2)	2006	DBLP DOI BibTeX RDF	CSCW, P2P, Wiki, Information sharing, Information management, Weblog
16	Ming Chen, Ru Zhang, Xinxin Niu, Yixian Yang	Analysis of Current Steganography Tools: Classifications & Features.	IIH-MSP	2006	DBLP DOI BibTeX RDF
16	João Graça, Nuno J. Mamede, João D. Pereira	A Framework for Integrating Natural Language Tools.	PROPOR	2006	DBLP DOI BibTeX RDF
16	Mohamed Hamada 0001	Visual Tools and Examples to Support Active E-Learning and Motivation with Performance Evaluation.	Edutainment	2006	DBLP DOI BibTeX RDF
16	Simon M. Becker, Thomas Haase, Bernhard Westfechtel	Model-based a-posteriori integration of engineering tools for incremental development processes.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	A-posteriori integration, Incremental consistency management, UML, Software architecture, Graph transformation, Wrapping
16	Carl Cook, Warwick Irwin, Neville Churcher	A User Evaluation of Synchronous Collaborative Software Engineering Tools.	APSEC	2005	DBLP DOI BibTeX RDF	CSCW, Human Factors, Experimentation, Collaborative Software Engineering
16	Shadi Abou-Zahra	SemanticWeb enabled web accessibility evaluation tools.	W4A	2005	DBLP DOI BibTeX RDF	automated evaluation, semantic web, accessibility, validation, conformance testing, quality assurance
16	Margaret-Anne D. Storey	Theories, Methods and Tools in Program Comprehension: Past, Present and Future.	IWPC	2005	DBLP DOI BibTeX RDF
16	Yoonho Seo, Dong-Pyo Hong, Insu Kim, Dongmok Sheen, Taioun Kim, Gyu-Bong Lee	Structure modeling of machine tools and internet-based implementation.	WSC	2005	DBLP DOI BibTeX RDF
16	Henrik Hedberg, Jouni Lappalainen	A Preliminary Evaluation of Software Inspection Tools, with the DESMET Method.	QSIC	2005	DBLP DOI BibTeX RDF
16	Hisashi Miyamori, Akiyo Nadamoto, Kaoru Sumi, Qiang Ma 0001	Tools for Media Conversion and Fusion of TV and Web Contents.	APWeb	2005	DBLP DOI BibTeX RDF
16	Alessio Botta, Antonio Pescapè, Giorgio Ventre	On the Performance of Bandwidth Estimation Tools.	Systems Communications	2005	DBLP DOI BibTeX RDF
16	Alan Hartman, Kenneth Nagin	The AGEDIS tools for model based testing.	ISSTA	2004	DBLP DOI BibTeX RDF	test execution framework, validation, UML modeling, coverage analysis, automated test generation, defect analysis
16	Seung Ryol Maeng, Nakhoon Baek, Sung Yong Shin, Byoung Kyu Choi	A Fast NC Simulation Method for Circularly Moving Tools in the Z-Map Environment.	GMP	2004	DBLP DOI BibTeX RDF	Z-map, swept surface, circular motion, NC machining
16	Martin Auer, Bernhard Graser, Stefan Biffl	A Survey on the Fitness of Commercial Software Metric Tools for Service in Heterogeneous Environments: Common Pitfalls.	IEEE METRICS	2003	DBLP DOI BibTeX RDF	Measurement Data Collection, Software Measurement Automation, Software Metrics, Tool Support, Tool Integration
16	Will Robinson, Ben D'Angelo	Integrating software productivity tools into Eclipse.	eTX	2003	DBLP DOI BibTeX RDF
16	Michael John Pacione, Marc Roper, Murray Wood	Comparative Evaluation of Dynamic Visualisation Tools.	WCRE	2003	DBLP DOI BibTeX RDF
16	Ari Jaaksi	Assessing software projects: tools for business owners.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	project control and modeling, review and evaluation, management, methodologies
16	Jun Ma, Holger M. Kienle, Piotr Kaminski, Anke Weber, Marin Litoiu	Customizing lotus notes to build software engineering tools.	CASCON	2003	DBLP BibTeX RDF	end-user programmable systems, tool adoption, collaboration, customization, Lotus notes, Lotus Notes, Rigi
16	Ann Blandford, Thomas R. G. Green	Group and Individual Time Management Tools: What You Get is Not What You Need.	Pers. Ubiquitous Comput.	2001	DBLP DOI BibTeX RDF	Group scheduling systems, Usability, Calendars, Time management, Work context, Diaries
16	Jonathan Gray	Software Engineering Tools - Introduction.	HICSS	2000	DBLP DOI BibTeX RDF
16	Shahrul Azman Noah, Michael D. Williams	Exploring and Validating the Contributions of Real-World Knowledge to the Diagnostic Performance of Automated Database Design Tools.	ASE	2000	DBLP DOI BibTeX RDF
16	Chu-Cheow Lim, Yoke-Hean Low, Boon-Ping Gan, Sanjay Jain 0003, Wentong Cai 0001, Wen-Jing Hsu, Shell-Ying Huang	Performance Prediction Tools for Parallel Discrete-Event Simulation.	Workshop on Parallel and Distributed Simulation	1999	DBLP DOI BibTeX RDF
16	Volker Braun, Jürgen Kreileder, Tiziana Margaria, Bernhard Steffen	The ETI Online Service in Action.	TACAS	1999	DBLP DOI BibTeX RDF
16	Collin Wang, Heng Ma, David J. Cannon	Human-Machine Collaboration in Robotics: Integrating Virtual Tools with a Collision Avoidance Concept using Conglomerates of Spheres.	J. Intell. Robotic Syst.	1997	DBLP DOI BibTeX RDF	conglomerate of spheres, neural networks, virtual reality, robotics, collision avoidance, trajectory planning, human-machine system
16	Philippe Martin 0004	The WebKB Set of Tools: A Common Scheme for Shared WWW Annotations, Shared Knowledge Bases and Information Retrieval.	ICCS	1997	DBLP DOI BibTeX RDF
16	Guruduth Banavar, Gary Lindstrom	An Application Framework For Module Composition Tools.	ECOOP	1996	DBLP DOI BibTeX RDF
16	Spiros Mancoridis	Loosely integrating tools using the star system.	CASCON	1994	DBLP BibTeX RDF
16	Martin Dzbor, Enrico Motta	Engineering and Customizing Ontologies.	Ontology Management	2008	DBLP DOI BibTeX RDF	human-ontology interaction, NeOn, networked ontologies, ontology customization, user study of ontology engineering tools, HCI
16	Emerson R. Murphy-Hill	Activating refactorings faster.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	refactoring tools, usability, environments
16	Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock	The verified software repository: a step towards the verifying compiler.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Grand challenges in computer science, Dependable systems evolution, Software engineering, Tools, Program verification, Verified software repository, Verifying compiler, Assertional reasoning
16	Björn Hartmann, Scott R. Klemmer, Michael S. Bernstein, Leith Abdulla, Brandon Burr, Avi Robinson-Mosher, Jennifer Gee	Reflective physical prototyping through integrated design, test, and analysis.	UIST	2006	DBLP DOI BibTeX RDF	integrating physical & digital, prototyping, toolkits, design tools, information appliances, design thinking
16	Connie U. Smith, Catalina M. Lladó, Vittorio Cortellessa, Antinisca Di Marco, Lloyd G. Williams	From UML models to software performance results: an SPE process based on XML interchange formats.	WOSP	2005	DBLP DOI BibTeX RDF	SPE process, automated model building, methods and tools, XML, UML, performance model, software performance engineering, tool interoperability, interchange format
16	Ian Gorton, Liming Zhu 0001	Tool support for just-in-time architecture reconstruction and evaluation: an experience report.	ICSE	2005	DBLP DOI BibTeX RDF	software architecture, reverse engineering, CASE tools, architecture evaluation, architecture reconstruction
16	James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy	Righting Software.	IEEE Softw.	2004	DBLP DOI BibTeX RDF	software engineering, model checking, formal methods, coding tools and techniques
16	Michele Lanza	CodeCrawler - Lessons Learned in Building a Software Visualization Tool.	CSMR	2003	DBLP DOI BibTeX RDF	Reverse En-gineering, Tools, Software Visualization, Experience Report
16	Guozhen Zhang, Zixue Cheng, Tongjun Huang, Aiguo He, Akio Koyama	Design of an Effective Learning Method SQ3R Based Distance Learning System.	CW	2002	DBLP DOI BibTeX RDF	WWW based learning, edu-cational psychology, study method, learning motivation, learning efficiency, SQ3R, distance learning, learning tools
16	Wernher Behrendt, Nick J. Fiddian, W. A. Gray, Ajith P. Madurapperuma	ITSE Database Interoperation Toolkit.	BNCOD	1998	DBLP DOI BibTeX RDF	Distributed DBMS, Interoperation, Tools
16	Reiner R. Dumke, Heiko Grigoleit	Efficiency of CAMEtools in software quality assurance.	Softw. Qual. J.	1997	DBLP DOI BibTeX RDF	metric tools, software metrics, software quality assurance
16	Marco Bertoli, Giuliano Casale, Giuseppe Serazzi	User-friendly approach to capacity planning studies with Java modelling tools.	SimuTools	2009	DBLP DOI BibTeX RDF	simulation, graphical user interface, workload characterization, queueing model, mean value analysis
16	Bruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier	Incremental Benchmarks for Software Verification Tools and Techniques.	VSTTE	2008	DBLP DOI BibTeX RDF
16	Maurizio Tranchero, Leonardo Maria Reyneri	Implementation of Self-Timed Circuits onto FPGAs Using Commercial Tools.	DSD	2008	DBLP DOI BibTeX RDF
16	François Déchelle, Fabio Mancinelli	EDOS-Tools Tutorial: EDOS Tools for Linux Distributions Dependencies Management and Quality Assurance. (PDF / PS)	OSS	2007	DBLP DOI BibTeX RDF
16	Jonathan Engelsma	Enabling seamless mobility: an enablers, experiences and tools perspective.	LCTES	2007	DBLP DOI BibTeX RDF
16	Wei Qin, Subramanian Rajagopalan, Sharad Malik	A formal concurrency model based architecture description language for synthesis of software development tools.	LCTES	2004	DBLP DOI BibTeX RDF
16	Dinesh C. Suresh, Walid A. Najjar, Frank Vahid, Jason R. Villarreal, Greg Stitt	Profiling tools for hardware/software partitioning of embedded applications.	LCTES	2003	DBLP DOI BibTeX RDF	loop analysis, compiler optimization, hardware/software partitioning
16	Mauro Andreolini, Valeria Cardellini, Michele Colajanni	Benchmarking Models and Tools for Distributed Web-Server Systems.	Performance	2002	DBLP DOI BibTeX RDF
16	Michel Beaudouin-Lafon, Wendy E. Mackay, Mads Jensen, Peter Andersen, Paul Janecek, Henry Michael Lassen, Kasper Lund, Kjeld Høyer Mortensen, Stephanie Munck, Anne V. Ratzer, Katrine Ravn, Søren Christensen, Kurt Jensen	CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS.	TACAS	2001	DBLP DOI BibTeX RDF
16	Thomas Bemmerl, Bernhard Ries	Performance Tools on Intel Scalable High Performance Computing Systems.	Computer Performance Evaluation	1994	DBLP DOI BibTeX RDF
16	Kishor S. Trivedi, Boudewijn R. Haverkort, Andrew J. Rindos, Varsha Mainkar	Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives.	Computer Performance Evaluation	1994	DBLP DOI BibTeX RDF
16	Jonas Helming, Jörn David, Maximilian Koegel, Helmut Naughton	Integrating System Modeling with Project Management - A Case Study.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
16	Ad M. G. Peeters	Clockless IC design using handshake technology.	ISPD	2006	DBLP DOI BibTeX RDF
16	Wafa Khorshid	Generating environments for programming-in-the-large.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
16	Manuel Wimmer, Martina Seidl, Petra Brosch, Horst Kargl, Gerti Kappel	On Realizing a Framework for Self-tuning Mappings.	TOOLS (47)	2009	DBLP DOI BibTeX RDF