The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Tool with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1954-1964 (17) 1965-1968 (20) 1969-1972 (27) 1973-1974 (34) 1975 (18) 1976 (30) 1977 (29) 1978 (36) 1979 (35) 1980 (33) 1981 (37) 1982 (65) 1983 (55) 1984 (82) 1985 (104) 1986 (112) 1987 (175) 1988 (286) 1989 (342) 1990 (330) 1991 (313) 1992 (368) 1993 (428) 1994 (479) 1995 (611) 1996 (697) 1997 (806) 1998 (992) 1999 (1192) 2000 (1557) 2001 (1674) 2002 (2058) 2003 (2469) 2004 (3208) 2005 (3678) 2006 (4108) 2007 (4488) 2008 (4661) 2009 (3471) 2010 (1789) 2011 (1905) 2012 (1698) 2013 (2094) 2014 (1907) 2015 (1990) 2016 (1876) 2017 (1960) 2018 (2025) 2019 (2204) 2020 (2185) 2021 (2234) 2022 (2182) 2023 (2206) 2024 (443)
Publication types (Num. hits)
article(18790) book(21) data(15) incollection(405) inproceedings(48160) phdthesis(407) proceedings(25)
Venues (Conferences, Journals, ...)
CoRR(1737) Bioinform.(935) EUROCON(746) BMC Bioinform.(656) WSC(505) HICSS(394) AMIA(343) Nucleic Acids Res.(321) DAC(293) ICSE(291) CHI(287) ASE(280) CHI Extended Abstracts(280) ICALT(274) SAC(274) IEEE Trans. Comput. Aided Des....(268) More (+10 of total 7400)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 39177 occurrences of 11016 keywords

Results
Found 67823 publication records. Showing 67823 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
93Robert Law Using student blogs for documentation in software development projects. Search on Bibsonomy ITiCSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
51Mina Akaishi, Yoshihiro Okada Time-tunnel: Visual Analysis Tool for Time-series Numerical Data and Its Aspects as Multimedia Presentation Tool. Search on Bibsonomy IV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Multi-charts tool, Multimedia presentation tool, Visualization tool, Analysis tool, IntelligentBox
39Jennifer G. Harvey, Chris D. Marlin A Layered Operational Model for Describing Inter-tool Communication in Tool Integration Frameworks. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 1996 DBLP  DOI  BibTeX  RDF tool integration frameworks, control integration, inter-tool communication, SoftBench, modelling, tool integration, FIELD
37Avery Ching, Wu-chun Feng, Heshan Lin, Xiaosong Ma, Alok N. Choudhary Exploring I/O Strategies for Parallel Sequence-Search Tools with S3aSim. Search on Bibsonomy HPDC The full citation details ... 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
37Wonjae L. Kang, Brad Potts, Ray Hokinson, John Riley, David Doman, Frank Cano, N. S. Nagaraj, Noel Durrant Enabling DIR(Designing-In-Reliability) through CAD Capabilities. Search on Bibsonomy ISQED The full citation details ... 2000 DBLP  DOI  BibTeX  RDF SEMATECH, design-in-reliability, reliability, Design tools
37Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie 0001 10111 Abstracts Collection - Practical Software Testing : Tool Automation and Human Factors. Search on Bibsonomy Practical Software Testing: Tool Automation and Human Factors The full citation details ... 2010 DBLP  BibTeX  RDF
37Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie 0001 10111 Executive Summary - Practical Software Testing: Tool Automation and Human Factors. Search on Bibsonomy Practical Software Testing: Tool Automation and Human Factors The full citation details ... 2010 DBLP  BibTeX  RDF
37Denys Poshyvanyk, Andrian Marcus, Yubo Dong, Andrey Sergeyev IRiSS - A Source Code Exploration Tool. Search on Bibsonomy ICSM (Industrial and Tool Volume) The full citation details ... 2005 DBLP  BibTeX  RDF
37Qingshan Li, Shengming Hu, Hua Chu, Ping Chen XDRE: A Reverse Engineering Tool of Object-Oriented Software. Search on Bibsonomy ICSM (Industrial and Tool Volume) The full citation details ... 2005 DBLP  BibTeX  RDF
37Fabienne Delhaise, Brendan Harnett, Rachel Majchrzak, Mariella Spada RENATO, a Tool to Support Software Reuse. Search on Bibsonomy ICSM (Industrial and Tool Volume) The full citation details ... 2005 DBLP  BibTeX  RDF
37Malte Plath, Mark Ryan 0001 SFI: a Feature Integration Tool. Search on Bibsonomy Tool Support for System Specification, Development and Verification The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
37Sergio Contini, Stefan Scheer, Marc Wilikens, G. de Cola, G. G. M. Cojazzi ASTRA: An Integrated Tool Set for Complex Systems Dependability Studies. Search on Bibsonomy Tool Support for System Specification, Development and Verification The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
37Christoph Lüth, Einar W. Karlsen, Kolyang 0001, Stefan Westmeier, Burkhart Wolff Tool Integration in the UniForM-Workbench. Search on Bibsonomy Tool Support for System Specification, Development and Verification The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
33Massimo Cossentino, Luca Sabatucci, Valeria Seidita A collaborative tool for designing and enacting design processes. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF CAPE/CAME/CASE tool, metameth, expert system, design process, collaborative tool, supporting tool, situational method engineering
33Hirokazu Notsu, Yoshihiro Okada, Mina Akaishi, Koichi Niijima Time-Tunnel: Visual Analysis Tool for Time-Series Numerical Data and Its Extension toward Parallel Coordinates. Search on Bibsonomy CGIV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Multi-charts tool, Visualization tool, Parallel Coordinates, Analysis tool, IntelligentBox
33George H. Abdou, Samir B. Billatos Simulation and optimization of tool-life in manufacturing centers. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Manufacturing centers, tool-life, tool-failure, tool availability, sequencing of parts
32Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie 0001 (eds.) Practical Software Testing: Tool Automation and Human Factors, 14.03. - 19.03.2010 Search on Bibsonomy Practical Software Testing: Tool Automation and Human Factors The full citation details ... 2010 DBLP  BibTeX  RDF
32Nadia Alshahwan, Yue Jia 0001, Kiran Lakhotia, Gordon Fraser 0001, David Shuler, Paolo Tonella AUTOMOCK: Automated Synthesis of a Mock Environment for Test Case Generation. Search on Bibsonomy Practical Software Testing: Tool Automation and Human Factors The full citation details ... 2010 DBLP  BibTeX  RDF
32Mary Jean Harrold, Darko Marinov, Stephen Oney, Mauro Pezzè, Adam A. Porter, John Penix, Per Runeson, Shin Yoo Introducing Continuous Systematic Testing of Evolving Software. Search on Bibsonomy Practical Software Testing: Tool Automation and Human Factors The full citation details ... 2010 DBLP  BibTeX  RDF
32Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser, Michael W. Whalen FITE - Future Integrated Testing Environment. Search on Bibsonomy Practical Software Testing: Tool Automation and Human Factors The full citation details ... 2010 DBLP  BibTeX  RDF
32Eileen T. Kraemer, Laura K. Dillon Groundwork for the Development of Testing Plans for Concurrent Software. Search on Bibsonomy Practical Software Testing: Tool Automation and Human Factors The full citation details ... 2010 DBLP  BibTeX  RDF
32Bruno Legeard Model-based Testing: Next Generation Functional Software Testing. Search on Bibsonomy Practical Software Testing: Tool Automation and Human Factors The full citation details ... 2010 DBLP  BibTeX  RDF
32Antonia Bertolino, Wolfgang Grieskamp, Robert M. Hierons, Yves Le Traon, Bruno Legeard, Henry Muccini, Amit M. Paradkar, David S. Rosenblum, Jan Tretmans Model-Based Testing for the Cloud. Search on Bibsonomy Practical Software Testing: Tool Automation and Human Factors The full citation details ... 2010 DBLP  BibTeX  RDF
32Amy J. Ko, Michal Young, Jamie Andrews, Brian P. Robinson, Mark Grechanik Computing and Diagnosing Changes in Unit Test Energy Consumption. Search on Bibsonomy Practical Software Testing: Tool Automation and Human Factors The full citation details ... 2010 DBLP  BibTeX  RDF
32 Proceedings of the 21st IEEE International Conference on Software Maintenance - Industrial and Tool volume, ICSM 2005, 25-30 September 2005, Budapest, Hungary Search on Bibsonomy ICSM (Industrial and Tool Volume) The full citation details ... 2005 DBLP  BibTeX  RDF
32Dirk Beyer 0001 Co-Change Visualization. Search on Bibsonomy ICSM (Industrial and Tool Volume) The full citation details ... 2005 DBLP  BibTeX  RDF
32Michael John Pacione VANESSA: Visualisation Abstraction NEtwork for Software Systems Analysis. Search on Bibsonomy ICSM (Industrial and Tool Volume) The full citation details ... 2005 DBLP  BibTeX  RDF
32Siegfried Göschl Continuous Refactoring of a Java Server Application. Search on Bibsonomy ICSM (Industrial and Tool Volume) The full citation details ... 2005 DBLP  BibTeX  RDF
32Francisco C. Cuadrado A Configuration and Change Management System for Ground Segment Operation Software. Search on Bibsonomy ICSM (Industrial and Tool Volume) The full citation details ... 2005 DBLP  BibTeX  RDF
32Cristina Marinescu, Radu Marinescu 0001, Petru Florin Mihancea, Daniel Ratiu, Richard Wettel iPlasma: An Integrated Platform for Quality Assessment of Object-Oriented Design. Search on Bibsonomy ICSM (Industrial and Tool Volume) The full citation details ... 2005 DBLP  BibTeX  RDF
32Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau A collection of C, C++ and Java code understanding and refactoring plugins. Search on Bibsonomy ICSM (Industrial and Tool Volume) The full citation details ... 2005 DBLP  BibTeX  RDF
32Gerco Ballintijn A Case Study of the Release Management of a Health-care Information System. Search on Bibsonomy ICSM (Industrial and Tool Volume) The full citation details ... 2005 DBLP  BibTeX  RDF
32Erika Nyáry, Gáspár Pap, Miklós Herczegh, Zoltán Kolonits Supporting the Maintenance of legacy COBOL Applications with Tools for Repository Management and Viewing. Search on Bibsonomy ICSM (Industrial and Tool Volume) The full citation details ... 2005 DBLP  BibTeX  RDF
32Kim Mens, Andy Kellens, Frédéric Pluquet, Roel Wuyts The Intensional View Environment. Search on Bibsonomy ICSM (Industrial and Tool Volume) The full citation details ... 2005 DBLP  BibTeX  RDF
32Roland Weber, Theo Helfenberger, Rudolf K. Keller Fit for Change: Steps towards Effective Software Maintenance. Search on Bibsonomy ICSM (Industrial and Tool Volume) The full citation details ... 2005 DBLP  BibTeX  RDF
32David C. Shepherd, Thomas Roper, Lori L. Pollock Using AOP to Ease Evolution. Search on Bibsonomy ICSM (Industrial and Tool Volume) The full citation details ... 2005 DBLP  BibTeX  RDF
32Pankaj Bhawnani, Günther Ruhe ReleasePlanner - Planning new Releases for Software Maintenance and Evolution. Search on Bibsonomy ICSM (Industrial and Tool Volume) The full citation details ... 2005 DBLP  BibTeX  RDF
32Rudolf Berghammer, Yassine Lakhnech (eds.) Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998 Search on Bibsonomy Tool Support for System Specification, Development and Verification The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
32Stephan Pfab, Harald Rueß, Sam Owre, Friedrich W. von Henke Towards Light-Weight Verification and Heavy-Weight Testing. Search on Bibsonomy Tool Support for System Specification, Development and Verification The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
32Rudolf Berghammer, Yassine Lakhnech, Wolfgang Reif Formal Methods and Tools: Introduction and Overview. Search on Bibsonomy Tool Support for System Specification, Development and Verification The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
32Leszek Holenderski, Axel Poigné Synchronie Workbench. Search on Bibsonomy Tool Support for System Specification, Development and Verification The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
32Zohar Manna, Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Mark C. Pichora, Henny B. Sipma, Tomás E. Uribe An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems. Search on Bibsonomy Tool Support for System Specification, Development and Verification The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
32Bettina Buth PAMELA+PVS Verification of Sequential Programs. Search on Bibsonomy Tool Support for System Specification, Development and Verification The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
32Georg Rock, Werner Stephan 0001, Andreas Wolpers Modular reasoning about structured TLA specifications. Search on Bibsonomy Tool Support for System Specification, Development and Verification The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
32Peter Baumgartner 0001, Dorothea Schäfer Model Elimination with Simplification and its Application to Software Verification. Search on Bibsonomy Tool Support for System Specification, Development and Verification The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
32Kay Fuhrmann, Jan Hiemer Formal Verification of Statemate-Statecharts. Search on Bibsonomy Tool Support for System Specification, Development and Verification The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
32Ralf Behnke 0003, Rudolf Berghammer, Thorsten Hoffmann, Barbara Leoniuk, Peter Schneider Applications of the Rel View System. Search on Bibsonomy Tool Support for System Specification, Development and Verification The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
32Wolfgang Goerigk, Thilo Gaul, Wolf Zimmermann Correct Programs without Proof? On Checker-Based Program Verification. Search on Bibsonomy Tool Support for System Specification, Development and Verification The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
32Martin Lange, Martin Leucker, Thomas Noll 0001, Stephan Tobies Truth - A verification platform for concurrent systems. Search on Bibsonomy Tool Support for System Specification, Development and Verification The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
32Wolfram Kahl The Term Graph Programming System HOPS. Search on Bibsonomy Tool Support for System Specification, Development and Verification The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
32Lydie du Bousquet, Farid Ouabdesselam, Ioannis Parissis, Jean-Luc Richier, Nicolas Zuanon Lutess: a testing environment for synchronous software. Search on Bibsonomy Tool Support for System Specification, Development and Verification The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
31João Lourenço, José C. Cunha, Henryk Krawczyk, Piotr Kuzora, Marcin Neyman, Bogdan Wiszniewski An integrated testing and debugging environment for parallel and distributed programs. Search on Bibsonomy EUROMICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF program testing environment, program development process, DDBG, Distributed Debugger, stand-alone tools, intermediate tool, DEIPA, deterministic execution, interactive program analysis, parallel programming, parallel programs, distributed programs, structural testing, testing tool, software integration, program specification, STEPS, debugging tool, debugging environment
31Klas Karlgren, Anders Dahlström, Sari Ponzer Design of an Annotation Tool to Support Simulation Training of Medical Teams. Search on Bibsonomy EC-TEL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF medical teamwork, design, educational tool, Annotation tool
31Tiziana Margaria Web services-based tool-integration in the ETI platform. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF ETI, Tool-experimentation platform, Web services, Tool-integration, Distributed coordination
31Mieczyslaw M. Kokar, Jerzy Letkowski, Thomas F. Callahan Learning to monitor a machine tool. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF tool monitoring, metal cutting, Machine learning, reinforcement learning, manufacturing, intelligent control, machine tool
29Ashraf A. Kassim, Zhu Mian, M. A. Mannan Tool condition classification using Hidden Markov Model based on fractal analysis of machined surface textures. Search on Bibsonomy Mach. Vis. Appl. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Tool wear monitoring, End-milling, Surface texture analysis, Hidden Markov Model, Fractal analysis
28Antonia Bertolino, Martina Marré Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF program branch testing, program flowgraph, program inputs, ddgraph, graph theoretic principles, arc trees, unconstrained arcs, implied tree, recursive iteration, software analysis tool, automated testing tool, software tools, program testing, flexibility, trees (mathematics), dominance, program diagnostics, control flow analysis, simplicity, implication, program control structures, flow graphs, dominator tree, selection strategy, infeasible paths, software testing tool, path covers
27Anthony Berglas, John V. Harrison Evaluation of the ITOC information system design recovery tool. Search on Bibsonomy WPC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ITOC information system design recovery tool evaluation, legacy information systems, Ingres to Oracle Conversion project, large collaborative research initiative, application structure, static schema definition, Ingres 4GL applications, Oracle CASE tool, simple data mining, real commercial applications, software maintenance, data flow analysis, query analysis
27Steven Kelly 0001, Kalle Lyytinen, Matti Rossi MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment. Search on Bibsonomy CAiSE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF CAME, conceptual modeling, metamodeling, method, object oriented modeling, repository, CASE, tool integration, software engineering environments, tool interoperability
27Alicia M. Cano, Francisco Gayá, Pablo Lamata, Patricia Sánchez-González, Enrique J. Gómez Laparoscopic Tool Tracking Method for Augmented Reality Surgical Applications. Search on Bibsonomy ISBMS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF laparoscopic tool tracking, video-endoscopic analysis, augmented reality tools, surgical training programs
27Lorène Prost, Marianne Cerf, Marie Hélène Jeuffroy Sharing the design of a cognitive tool between researchers and potential users. Search on Bibsonomy ECCE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF design, participation, agriculture, cognitive tool
27Ashraf A. Kassim M.A. Mannan, Ma Jing, Machine tool condition monitoring using workpiece surface texture analysis. Search on Bibsonomy Mach. Vis. Appl. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Tool condition monitoring, Surface texture analysis, Computer Vision, Image processing
27Chang-Ai Sun, Chao Liu 0002, Maozhong Jin, Mei Zhang Architecture Framework for Software Test Tool. Search on Bibsonomy TOOLS (36) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Software Architecture, Domain-specific Modeling, Dynamic Configuration, Component technology, Integrated Framework, Software test tool
27Tilmann F. W. Bruckhaus TIM: a tool insertion method. Search on Bibsonomy CASCON The full citation details ... 1994 DBLP  BibTeX  RDF CASE adoption, TIM, cost control, process management tools, requirements planning process, tool insertion, process modeling, process improvement, process metrics, process measurements, risk reduction, process engineering
26Somsak Phattarasukol, Daisy F. Sang PatternStudio: a tool for design pattern management. Search on Bibsonomy OOPSLA Companion The full citation details ... 2005 DBLP  DOI  BibTeX  RDF eclipse tool, design patterns, code generation, model-driven development, supporting tool, design validation
26Aurora T. R. Pozo, Mozart Hasse A Genetic Classifier Tool. Search on Bibsonomy SCCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF genetic classifier tool, intelligent tools, induction based learning systems, induction-based classifier tool, Michigan approach, phenotypic sharing, genetic algorithms, genetic algorithm, data mining, data mining, optimization, data structures, data structures, knowledge discovery, pattern classification, enterprise information system, very large databases, learning by example, large databases, genetic operators
26John V. Harrison, Anthony Berglas Data Flow Analysis within the ITOC Information System Design Recovery Tool. Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ITOC information system design recovery tool, contemporary fourth-generation languages, redevelopment, rewriting effort, application structure, static schema definition, design recovery tool, 4GL-based information, data flow analysis, data flow analysis
26Annie I. Antón, Eugene Liang, Roy Rodenstein A Web-based requirements analysis tool. Search on Bibsonomy WETICE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Web based requirements analysis tool, Goal Based Requirements Analysis Tool, GBRAT prototype, procedural support, software based information systems, interactive Web browser technology, collaborative nature, formal specification, requirements engineering
26Alois Ferscha, James Johnson N-MAP: a virtual processor discrete event simulation tool for performance prediction in the CAPSE environment. Search on Bibsonomy HICSS (2) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF virtual processor discrete event simulation tool, CAPSE environment, N-MAP, CAPSE, Computer Aided Parallel Software Engineering, performance oriented parallel program development, simulation based performance analysis, coding phase, N-MAP tool, automatic parse, performance critical program parts, simulated execution, linear system solver, formal specification, testing, parallel programming, specification, virtual machines, monitoring, software tools, programming environments, discrete event simulation, performance prediction, correction, software performance evaluation, CM-5
26P. Blysa SDT a tool for complex real-time systems. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF SDT, complex real-time systems tool, object-oriented design tool, object-oriented formal specification technique SDL, C++ environments, simulator, real-time systems, real-time system, formal specification, object-oriented programming, validator, C, programming environments, editor
26Claude Jard, Jean-François Monin, Roland Groz Development of Véda, a Prototyping Tool for Distributed Algorithms. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Veda, International Organisation for Standardization, simulator, protocols, distributed algorithms, distributed processing, software tool, software tools, Prolog, ISO, Estelle, prototyping tool
25Michael Halling, Stefan Biffl, Paul Grünbacher An Experiment Family to Investigate the Defect Detection Effect of Tool-Support for Requirements Inspection. Search on Bibsonomy IEEE METRICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF software quality measurement, Empirical software engineering, tool support, controlled experiment, software inspection, defect detection
25Susan Elliott Sim Next Generation Data Interchange: Tool-to-Tool Application Program Interfaces. Search on Bibsonomy WCRE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF protocol, framework, API, library, tool interoperability, standard exchange format
25Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta Security validation tool for business processes. Search on Bibsonomy SACMAT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Hajime Kitakami, Tadasu Shin-I, Kazuho Ikeo, Yoshihiro Ugawa, Naruya Saitou, Takashi Gojobori, Yoshio Tateno YAMATO and ASUKA: DNA database management system. Search on Bibsonomy HICSS (5) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF DNA database management system, YAMATO, ASUKA, DDBJ, window interfaces, DDBJ-schema, single entry, Human Genome Project, flat file format, restructuring tool, tree search tool, taxonomy database, structured SQL-programming method, control flow language, SQL expression, SYBASE, DNA Data Bank of Japan, user interfaces, searching, query processing, relational databases, SQL, DNA, tree data structures, genetics, biology computing, relational database management system, relational schema
24Chrisovalantis Kefalidis, Georgia Lazakidou, Symeon Retalis SyCo: a collaborative learning tool for generating ideas in private and in public. Search on Bibsonomy IDC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF learning, synchronous, creativity support tool, collaborative tool
24Jiashun Shi, Jintai Mi, Jinsheng Wang, Kui Chen, Wanshan Wang, Guangqi Cai Investigation on the Key Technologies of Micro Machine Tool and Prototype Development. Search on Bibsonomy ICIRA (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Machine tool design, Micro machine tool, Motion control system, Positioning accuracy, Micromilling, Human-machine interface
24Jens Høyrup The Algorithm Concept - Tool for Historiographic Interpretation or Red Herring?. Search on Bibsonomy CiE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF pre-Modern mathematics, algorithm concept as an historiographic analytical tool, algebra as a historiographic analytical tool
24Zhenbang Chen, Xiaoshan Li, Zhiming Liu 0001, Volker Stolz, Lu Yang Harnessing rCOS for Tool Support - The CoCoME Experience. Search on Bibsonomy Formal Methods and Hybrid Real-Time Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF tool design, formal methods, software process, Software development tool
24Paris Avgeriou, Symeon Retalis CRITON: A Hypermedia Design Tool. Search on Bibsonomy Multim. Tools Appl. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF page metaphor, navigation, CASE tool, design tool, web site design, hypermedia design
24Kleanthis Thramboulidis Towards an engineering tool for implementing reusable distributed control systems. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF CORFU ESS, CORFU FBDK, IEC61499, engineering tool, CASE tool, distributed control systems, function block
24Amir A. Khwaja Enhancing extensibility of the design rule checker of an EDA tool by object-oriented modeling. Search on Bibsonomy COMPSAC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF design rule checker, design rule checking systems, electronic design automation tools, semiconductor technology, DRC systems, DRC module, IC package design tool, object oriented modeling technique, abstraction, inheritance, extensibility, object oriented modeling, encapsulation, circuit CAD, dynamic binding, EDA tool
24Jian Chen, Valerie E. Taylor PART: a partitioning tool for efficient use of distributed systems. Search on Bibsonomy ASAP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF partitioning tool, geographically distributed supercomputers interconnection, decomposition tool, finite element based problems, performance, distributed systems, computational complexity, computational complexity, simulated annealing, wide area network, high-speed networks, execution time, processor performance, PART
24William B. Frakes, Rubén Prieto Díaz, Christopher J. Fox DARE-COTS: A Domain Analysis Support Tool (Invited Paper). Search on Bibsonomy SCCC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF DARE-COTS, domain analysis support tool, related software systems, system commonalities, system variabilities, domain information capture, domain book, domain-specific reusable components, faceted analysis, clustering, information retrieval, computer aided software engineering, CASE tool, information storage, commercial off-the-shelf software, generic architecture
24Rufus H. Cofer, T. J. Sanders STADIUM: a new tool for high assurance in systems design. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF STADIUM high assurance tool, large system development, systems engineering phase, operational variabilities, system performance levels, search effects, worst-case system design, statistically based system level simulation, statistically based subsystem level simulation, dual-use technologies, defense conversions, complex commercial systems, design of experiments methodology, circuit level variabilities, subsystem level variabilities, system level variabilities, simulation, software tools, software tool, systems design, systems analysis, systems engineering, system performances, design of experiments, manufacturing variabilities, complex system development
24Panagiotis K. Linos PolyCARE: a tool for re-engineering multi-language program integrations. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF multi-language program integration reengineering tool, PolyCARE tool, multiple programming languages, program component formalisation, program component classification, program component relationships, poly-paradigmatic computer-aided re-engineering, dependency detection, dependency visualisation, transformation mechanisms, partitioning techniques, software maintenance, software tools, systems analysis, program comprehension, maintenance, data visualisation, computer aided software engineering, multiprogramming, systems re-engineering, presentation model
24Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M. Simmonds XMI2USE: A Tool for Transforming XMI to USE Specifications. Search on Bibsonomy ER Workshops The full citation details ... 2009 DBLP  DOI  BibTeX  RDF MDA, Model Transformation, OCL, USE, Modeling Tool, XMI
24Yu Sun 0002, Zekai Demirezen, Frédéric Jouault, Robert Tairas, Jeff Gray 0001 A Model Engineering Approach to Tool Interoperability. Search on Bibsonomy SLE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF AMMA, Model Transformation, Domain-Specific Languages, Tool Interoperability, Model Engineering
24Prawee Sriplakich, Xavier Blanc 0001, Marie-Pierre Gervais Supporting transparent model update in distributed CASE tool integration. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF call-by-copy-restore, middleware, data structure, interoperability, integration, graph, CASE tool, RPC
24Antonio Vallejo Jr., Juan Arturo Nolazco-Flores, Rubén Morales-Menéndez, Luis Enrique Sucar, Ciro A. Rodríguez Tool-Wear Monitoring Based on Continuous Hidden Markov Models. Search on Bibsonomy CIARP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Signal Processing and Analysis, Remote Sensing Applications of Pattern Recognition, Tool-wear monitoring, Hidden Markov Models
24Li Jiang 0006, Armin Eberlein, Behrouz Homayoun Far A Multi-tier Structured Tool for Requirements Engineering Process Development. Search on Bibsonomy APWeb The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Requirements engineering, Web application, tool, process, REPEAT
24Fraser MacDonald, J. Miller A Comparison of Tool-Based and Paper-Based Software Inspection. Search on Bibsonomy Empir. Softw. Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF tool support, controlled experiment, Software inspection, CASE
23Dhiya Al-Jumeily, Paul Strickland Designing an interface on the Web for an intelligent tutoring system. Search on Bibsonomy EUROMICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF computer-student communication, software behaviour control, input tool, EqEditor, distance learning tool, World Wide Web, learning, graphical user interface, teaching, intelligent tutoring systems, intelligent tutoring system, mouse, keyboard, Java applet, GUI design, computer-aided learning, mathematical expressions
23Akira K. Onoma, Hiroshi Suganuma, Mustafa H. Poonawala, Satish Subramanian, Wei-Tek Tsai, Tsutomu Syomura Opusdei-Integrated Environment for Software Development and Maintenance. Search on Bibsonomy COMPSAC The full citation details ... 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
22Orlena Gotel, Patrick Mäder How to Select a Requirements Management Tool: Initial Steps. Search on Bibsonomy RE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Expectation management, tool selection, requirements engineering, tool evaluation
22Michel Renovell, Jean-Michel Portal, Penelope Faure, Joan Figueras, Yervant Zorian TOF: a tool for test pattern generation optimization of an FPGA application oriented test. Search on Bibsonomy Asian Test Symposium The full citation details ... 2000 DBLP  DOI  BibTeX  RDF TOF tool, test pattern generation optimization, FPGA application oriented test, application-oriented test procedure, RAM-based FPGAs, AC nonredundant fault coverage, circuit netlist, TPG optimisation tool, field programmable gate arrays, logic testing, optimisation, integrated circuit testing, automatic test pattern generation, ATPG
22Bernhard Steffen, Tiziana Margaria, Volker Braun The Electronic Tool Integration Platform: Concepts and Design. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ETI Online Service, Tool coordination, Tool Integration platform, Conversion mechanism, Automatic synthesis
22Tilmann F. W. Bruckhaus Analyzing CASE impact. Search on Bibsonomy CASCON The full citation details ... 1995 DBLP  BibTeX  RDF CASE adoption, CASE impact, TIM, TIM/Impact, quantitative process modeling, quantitative tool insertion impact analysis, software quality and productivity, case study
22Michael Leuschel, Marc Fontaine Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool. Search on Bibsonomy ICFEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Integrated Formal Methods, Specification Language Design, Model Checking, Animation, Logic Programming, CSP, Tool Support, B-Method
22Yair Wand, Carson Woo, Ohad Wand Role and Request Based Conceptual Modeling - A Methodology and a CASE Tool. Search on Bibsonomy ER The full citation details ... 2008 DBLP  DOI  BibTeX  RDF conceptual modeling, CASE tool, business analysis
Displaying result #1 - #100 of 67823 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license