|
|
Venues (Conferences, Journals, ...)
|
|
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 |
93 | Robert Law |
Using student blogs for documentation in software development projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2011, Darmstadt, Germany, June 27-29, 2011, pp. 366, 2011, ACM, 978-1-4503-0697-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
51 | Mina Akaishi, Yoshihiro Okada |
Time-tunnel: Visual Analysis Tool for Time-series Numerical Data and Its Aspects as Multimedia Presentation Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 8th International Conference on Information Visualisation, IV 2004, 14-16 July 2004, London, UK, pp. 456-461, 2004, IEEE Computer Society, 0-7695-2177-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Multi-charts tool, Multimedia presentation tool, Visualization tool, Analysis tool, IntelligentBox |
39 | Jennifer G. Harvey, Chris D. Marlin |
A Layered Operational Model for Describing Inter-tool Communication in Tool Integration Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 1996 Australian Software Engineering Conference (ASWEC '96), July 14-18, 1996, Melbourne, Australia, pp. 55-, 1996, IEEE Computer Society, 0-8186-7635-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
tool integration frameworks, control integration, inter-tool communication, SoftBench, modelling, tool integration, FIELD |
37 | Avery 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](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 15th IEEE International Symposium on High Performance Distributed Computing, HPDC-15, Paris, France, June 19-23, 2006, pp. 229-240, 2006, IEEE, 1-4244-0307-3. The full citation details ...](Pics/full.jpeg) |
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 |
37 | Wonjae 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](Pics/bibsonomy.png) |
ISQED ![In: 1st International Symposium on Quality of Electronic Design (ISQED 2000), 20-22 March 2000, San Jose, CA, USA, pp. 151-156, 2000, IEEE Computer Society, 0-7695-0525-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
SEMATECH, design-in-reliability, reliability, Design tools |
37 | Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie 0001 |
10111 Abstracts Collection - Practical Software Testing : Tool Automation and Human Factors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Practical Software Testing: Tool Automation and Human Factors ![In: Practical Software Testing: Tool Automation and Human Factors, 14.03. - 19.03.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
37 | Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie 0001 |
10111 Executive Summary - Practical Software Testing: Tool Automation and Human Factors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Practical Software Testing: Tool Automation and Human Factors ![In: Practical Software Testing: Tool Automation and Human Factors, 14.03. - 19.03.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
37 | Denys Poshyvanyk, Andrian Marcus, Yubo Dong, Andrey Sergeyev |
IRiSS - A Source Code Exploration Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM (Industrial and Tool Volume) ![In: Proceedings of the 21st IEEE International Conference on Software Maintenance - Industrial and Tool volume, ICSM 2005, 25-30 September 2005, Budapest, Hungary, pp. 69-72, 2005, 9-6346-0980-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
37 | Qingshan Li, Shengming Hu, Hua Chu, Ping Chen |
XDRE: A Reverse Engineering Tool of Object-Oriented Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM (Industrial and Tool Volume) ![In: Proceedings of the 21st IEEE International Conference on Software Maintenance - Industrial and Tool volume, ICSM 2005, 25-30 September 2005, Budapest, Hungary, pp. 65-68, 2005, 9-6346-0980-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
37 | Fabienne Delhaise, Brendan Harnett, Rachel Majchrzak, Mariella Spada |
RENATO, a Tool to Support Software Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM (Industrial and Tool Volume) ![In: Proceedings of the 21st IEEE International Conference on Software Maintenance - Industrial and Tool volume, ICSM 2005, 25-30 September 2005, Budapest, Hungary, pp. 44-51, 2005, 9-6346-0980-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
37 | Malte Plath, Mark Ryan 0001 |
SFI: a Feature Integration Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 201-216, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
37 | Sergio 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](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 77-91, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
37 | Christoph Lüth, Einar W. Karlsen, Kolyang 0001, Stefan Westmeier, Burkhart Wolff |
Tool Integration in the UniForM-Workbench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 160-173, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
33 | Massimo Cossentino, Luca Sabatucci, Valeria Seidita |
A collaborative tool for designing and enacting design processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 715-721, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
CAPE/CAME/CASE tool, metameth, expert system, design process, collaborative tool, supporting tool, situational method engineering |
33 | Hirokazu 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](Pics/bibsonomy.png) |
CGIV ![In: 2005 International Conference on Computer Graphics, Imaging and Visualization (CGIV 2005), 26-29 July 2005, Beijing, China, pp. 167-172, 2005, IEEE Computer Society, 0-7695-2392-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Multi-charts tool, Visualization tool, Parallel Coordinates, Analysis tool, IntelligentBox |
33 | George H. Abdou, Samir B. Billatos |
Simulation and optimization of tool-life in manufacturing centers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 2(1), pp. 73-89, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Manufacturing centers, tool-life, tool-failure, tool availability, sequencing of parts |
32 | Mark 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](Pics/bibsonomy.png) |
Practical Software Testing: Tool Automation and Human Factors ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
32 | Nadia 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](Pics/bibsonomy.png) |
Practical Software Testing: Tool Automation and Human Factors ![In: Practical Software Testing: Tool Automation and Human Factors, 14.03. - 19.03.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
32 | Mary 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](Pics/bibsonomy.png) |
Practical Software Testing: Tool Automation and Human Factors ![In: Practical Software Testing: Tool Automation and Human Factors, 14.03. - 19.03.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
32 | Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser, Michael W. Whalen |
FITE - Future Integrated Testing Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Practical Software Testing: Tool Automation and Human Factors ![In: Practical Software Testing: Tool Automation and Human Factors, 14.03. - 19.03.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
32 | Eileen T. Kraemer, Laura K. Dillon |
Groundwork for the Development of Testing Plans for Concurrent Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Practical Software Testing: Tool Automation and Human Factors ![In: Practical Software Testing: Tool Automation and Human Factors, 14.03. - 19.03.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
32 | Bruno Legeard |
Model-based Testing: Next Generation Functional Software Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Practical Software Testing: Tool Automation and Human Factors ![In: Practical Software Testing: Tool Automation and Human Factors, 14.03. - 19.03.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
32 | Antonia 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](Pics/bibsonomy.png) |
Practical Software Testing: Tool Automation and Human Factors ![In: Practical Software Testing: Tool Automation and Human Factors, 14.03. - 19.03.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
32 | Amy J. Ko, Michal Young, Jamie Andrews, Brian P. Robinson, Mark Grechanik |
Computing and Diagnosing Changes in Unit Test Energy Consumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Practical Software Testing: Tool Automation and Human Factors ![In: Practical Software Testing: Tool Automation and Human Factors, 14.03. - 19.03.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
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](Pics/bibsonomy.png) |
ICSM (Industrial and Tool Volume) ![, 9-6346-0980-5 The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
32 | Dirk Beyer 0001 |
Co-Change Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM (Industrial and Tool Volume) ![In: Proceedings of the 21st IEEE International Conference on Software Maintenance - Industrial and Tool volume, ICSM 2005, 25-30 September 2005, Budapest, Hungary, pp. 89-92, 2005, 9-6346-0980-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
32 | Michael John Pacione |
VANESSA: Visualisation Abstraction NEtwork for Software Systems Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM (Industrial and Tool Volume) ![In: Proceedings of the 21st IEEE International Conference on Software Maintenance - Industrial and Tool volume, ICSM 2005, 25-30 September 2005, Budapest, Hungary, pp. 85-88, 2005, 9-6346-0980-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
32 | Siegfried Göschl |
Continuous Refactoring of a Java Server Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM (Industrial and Tool Volume) ![In: Proceedings of the 21st IEEE International Conference on Software Maintenance - Industrial and Tool volume, ICSM 2005, 25-30 September 2005, Budapest, Hungary, pp. 11-15, 2005, 9-6346-0980-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
32 | Francisco C. Cuadrado |
A Configuration and Change Management System for Ground Segment Operation Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM (Industrial and Tool Volume) ![In: Proceedings of the 21st IEEE International Conference on Software Maintenance - Industrial and Tool volume, ICSM 2005, 25-30 September 2005, Budapest, Hungary, pp. 52-60, 2005, 9-6346-0980-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
32 | Cristina 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](Pics/bibsonomy.png) |
ICSM (Industrial and Tool Volume) ![In: Proceedings of the 21st IEEE International Conference on Software Maintenance - Industrial and Tool volume, ICSM 2005, 25-30 September 2005, Budapest, Hungary, pp. 77-80, 2005, 9-6346-0980-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
32 | Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau |
A collection of C, C++ and Java code understanding and refactoring plugins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM (Industrial and Tool Volume) ![In: Proceedings of the 21st IEEE International Conference on Software Maintenance - Industrial and Tool volume, ICSM 2005, 25-30 September 2005, Budapest, Hungary, pp. 61-64, 2005, 9-6346-0980-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
32 | Gerco Ballintijn |
A Case Study of the Release Management of a Health-care Information System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM (Industrial and Tool Volume) ![In: Proceedings of the 21st IEEE International Conference on Software Maintenance - Industrial and Tool volume, ICSM 2005, 25-30 September 2005, Budapest, Hungary, pp. 34-43, 2005, 9-6346-0980-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
32 | Erika 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](Pics/bibsonomy.png) |
ICSM (Industrial and Tool Volume) ![In: Proceedings of the 21st IEEE International Conference on Software Maintenance - Industrial and Tool volume, ICSM 2005, 25-30 September 2005, Budapest, Hungary, pp. 5-10, 2005, 9-6346-0980-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
32 | Kim Mens, Andy Kellens, Frédéric Pluquet, Roel Wuyts |
The Intensional View Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM (Industrial and Tool Volume) ![In: Proceedings of the 21st IEEE International Conference on Software Maintenance - Industrial and Tool volume, ICSM 2005, 25-30 September 2005, Budapest, Hungary, pp. 81-84, 2005, 9-6346-0980-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
32 | Roland Weber, Theo Helfenberger, Rudolf K. Keller |
Fit for Change: Steps towards Effective Software Maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM (Industrial and Tool Volume) ![In: Proceedings of the 21st IEEE International Conference on Software Maintenance - Industrial and Tool volume, ICSM 2005, 25-30 September 2005, Budapest, Hungary, pp. 26-33, 2005, 9-6346-0980-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
32 | David C. Shepherd, Thomas Roper, Lori L. Pollock |
Using AOP to Ease Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM (Industrial and Tool Volume) ![In: Proceedings of the 21st IEEE International Conference on Software Maintenance - Industrial and Tool volume, ICSM 2005, 25-30 September 2005, Budapest, Hungary, pp. 16-25, 2005, 9-6346-0980-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
32 | Pankaj Bhawnani, Günther Ruhe |
ReleasePlanner - Planning new Releases for Software Maintenance and Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM (Industrial and Tool Volume) ![In: Proceedings of the 21st IEEE International Conference on Software Maintenance - Industrial and Tool volume, ICSM 2005, 25-30 September 2005, Budapest, Hungary, pp. 73-76, 2005, 9-6346-0980-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
32 | Rudolf 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](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![Springer, 978-3-211-83282-0 The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
32 | Stephan Pfab, Harald Rueß, Sam Owre, Friedrich W. von Henke |
Towards Light-Weight Verification and Heavy-Weight Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 189-200, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Rudolf Berghammer, Yassine Lakhnech, Wolfgang Reif |
Formal Methods and Tools: Introduction and Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 1-17, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Leszek Holenderski, Axel Poigné |
Synchronie Workbench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 123-135, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Zohar 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](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 174-188, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Bettina Buth |
PAMELA+PVS Verification of Sequential Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 62-76, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Georg Rock, Werner Stephan 0001, Andreas Wolpers |
Modular reasoning about structured TLA specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 217-229, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Peter Baumgartner 0001, Dorothea Schäfer |
Model Elimination with Simplification and its Application to Software Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 18-32, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Kay Fuhrmann, Jan Hiemer |
Formal Verification of Statemate-Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 92-107, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Ralf Behnke 0003, Rudolf Berghammer, Thorsten Hoffmann, Barbara Leoniuk, Peter Schneider |
Applications of the Rel View System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 33-47, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Wolfgang Goerigk, Thilo Gaul, Wolf Zimmermann |
Correct Programs without Proof? On Checker-Based Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 108-122, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Martin Lange, Martin Leucker, Thomas Noll 0001, Stephan Tobies |
Truth - A verification platform for concurrent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 150-159, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Wolfram Kahl |
The Term Graph Programming System HOPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 136-149, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Lydie du Bousquet, Farid Ouabdesselam, Ioannis Parissis, Jean-Luc Richier, Nicolas Zuanon |
Lutess: a testing environment for synchronous software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 48-61, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Joã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](Pics/bibsonomy.png) |
EUROMICRO ![In: 23rd EUROMICRO Conference '97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary, pp. 291-, 1997, IEEE Computer Society, 0-8186-8129-2. The full citation details ...](Pics/full.jpeg) |
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 |
31 | Klas Karlgren, Anders Dahlström, Sari Ponzer |
Design of an Annotation Tool to Support Simulation Training of Medical Teams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-TEL ![In: Times of Convergence. Technologies Across Learning Contexts, Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 2008. Proceedings, pp. 179-184, 2008, Springer, 978-3-540-87604-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
medical teamwork, design, educational tool, Annotation tool |
31 | Tiziana Margaria |
Web services-based tool-integration in the ETI platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 4(2), pp. 141-156, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
ETI, Tool-experimentation platform, Web services, Tool-integration, Distributed coordination |
31 | Mieczyslaw M. Kokar, Jerzy Letkowski, Thomas F. Callahan |
Learning to monitor a machine tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 12(2), pp. 103-125, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
tool monitoring, metal cutting, Machine learning, reinforcement learning, manufacturing, intelligent control, machine tool |
29 | Ashraf 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](Pics/bibsonomy.png) |
Mach. Vis. Appl. ![In: Mach. Vis. Appl. 17(5), pp. 327-336, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Tool wear monitoring, End-milling, Surface texture analysis, Hidden Markov Model, Fractal analysis |
28 | Antonia Bertolino, Martina Marré |
Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(12), pp. 885-899, 1994. The full citation details ...](Pics/full.jpeg) |
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 |
27 | Anthony Berglas, John V. Harrison |
Evaluation of the ITOC information system design recovery tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPC ![In: 5th International Workshop on Program Comprehension (WPC '97), May 28-30, 1997 - Dearborn, MI, USA, pp. 176-182, 1997, IEEE Computer Society, 0-8186-7993-X. The full citation details ...](Pics/full.jpeg) |
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 |
27 | Steven Kelly 0001, Kalle Lyytinen, Matti Rossi |
MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advances Information System Engineering, 8th International Conference, CAiSE'96, Heraklion, Crete, Greece, May 20-24, 1996, Proceedings, pp. 1-21, 1996, Springer, 3-540-61292-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
CAME, conceptual modeling, metamodeling, method, object oriented modeling, repository, CASE, tool integration, software engineering environments, tool interoperability |
27 | Alicia 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](Pics/bibsonomy.png) |
ISBMS ![In: Biomedical Simulation, 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008, Proceedings, pp. 191-196, 2008, Springer, 978-3-540-70520-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
laparoscopic tool tracking, video-endoscopic analysis, augmented reality tools, surgical training programs |
27 | Lorène Prost, Marianne Cerf, Marie Hélène Jeuffroy |
Sharing the design of a cognitive tool between researchers and potential users. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCE ![In: Proceedings of the 14th European Conference on Cognitive Ergonomics: invent! explore!, ECCE 2007, London, UK, August 28-31, 2007, pp. 67-74, 2007, ACM, 978-1-84799-849-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
design, participation, agriculture, cognitive tool |
27 | Ashraf A. Kassim |
M.A. Mannan, Ma Jing, Machine tool condition monitoring using workpiece surface texture analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Vis. Appl. ![In: Mach. Vis. Appl. 11(5), pp. 257-263, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Tool condition monitoring, Surface texture analysis, Computer Vision, Image processing |
27 | Chang-Ai Sun, Chao Liu 0002, Maozhong Jin, Mei Zhang |
Architecture Framework for Software Test Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (36) ![In: TOOLS Asia 2000: 36th International Conference on Technology of Object-Oriented Languages and Systems, Xi'an, China, 30 October - 4 November 2000, pp. 40-49, 2000, IEEE Computer Society, 0-7695-0875-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Software Architecture, Domain-specific Modeling, Dynamic Configuration, Component technology, Integrated Framework, Software test tool |
27 | Tilmann F. W. Bruckhaus |
TIM: a tool insertion method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31 - November 3, 1994, Toronto, Ontario, Canada, pp. 7, 1994, IBM. The full citation details ...](Pics/full.jpeg) |
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 |
26 | Somsak Phattarasukol, Daisy F. Sang |
PatternStudio: a tool for design pattern management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 178-179, 2005, ACM, 1-59593-193-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
eclipse tool, design patterns, code generation, model-driven development, supporting tool, design validation |
26 | Aurora T. R. Pozo, Mozart Hasse |
A Genetic Classifier Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 20st International Conference of the Chilean Computer Science Society (SCCC 2000), 16-18 November 2000, Santiago, Chile, pp. 14-23, 2000, IEEE Computer Society, 0-7695-0810-3. The full citation details ...](Pics/full.jpeg) |
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 |
26 | John V. Harrison, Anthony Berglas |
Data Flow Analysis within the ITOC Information System Design Recovery Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 227-, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
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 |
26 | Annie I. Antón, Eugene Liang, Roy Rodenstein |
A Web-based requirements analysis tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 5th Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises (WET-ICE'96), June 19-21, 1996, Stanford, CA, USA, Proceedings, pp. 238-244, 1996, IEEE Computer Society, 0-8186-7445-8. The full citation details ...](Pics/full.jpeg) |
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 |
26 | Alois Ferscha, James Johnson |
N-MAP: a virtual processor discrete event simulation tool for performance prediction in the CAPSE environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 276-288, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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 |
26 | P. Blysa |
SDT a tool for complex real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 21-, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
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 |
26 | Claude Jard, Jean-François Monin, Roland Groz |
Development of Véda, a Prototyping Tool for Distributed Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(3), pp. 339-352, 1988. The full citation details ...](Pics/full.jpeg) |
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 |
25 | Michael Halling, Stefan Biffl, Paul Grünbacher |
An Experiment Family to Investigate the Defect Detection Effect of Tool-Support for Requirements Inspection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 9th IEEE International Software Metrics Symposium (METRICS 2003), 3-5 September 2003, Sydney, Australia, pp. 278-285, 2003, IEEE Computer Society, 0-7695-1987-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
software quality measurement, Empirical software engineering, tool support, controlled experiment, software inspection, defect detection |
25 | Susan Elliott Sim |
Next Generation Data Interchange: Tool-to-Tool Application Program Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: Proceedings of the Seventh Working Conference on Reverse Engineering, WCRE'00, Brisbane, Australia, November 23-25, 2000, pp. 278-280, 2000, IEEE Computer Society, 0-7695-0881-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
protocol, framework, API, library, tool interoperability, standard exchange format |
25 | Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta |
Security validation tool for business processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 16th ACM Symposium on Access Control Models and Technologies, SACMAT 2011, Innsbruck, Austria, June 15-17, 2011, Proceedings, pp. 143-144, 2011, ACM, 978-1-4503-0688-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Hajime Kitakami, Tadasu Shin-I, Kazuho Ikeo, Yoshihiro Ugawa, Naruya Saitou, Takashi Gojobori, Yoshio Tateno |
YAMATO and ASUKA: DNA database management system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (5) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 72-80, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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 |
24 | Chrisovalantis Kefalidis, Georgia Lazakidou, Symeon Retalis |
SyCo: a collaborative learning tool for generating ideas in private and in public. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDC ![In: Interaction Design and Children, Proceedings of the 8th International Conference on Interaction Design and Children, IDC 2009, Como, Italy, June 3-5, 2009, pp. 162-165, 2009, ACM, 978-1-60558-395-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
learning, synchronous, creativity support tool, collaborative tool |
24 | Jiashun 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](Pics/bibsonomy.png) |
ICIRA (2) ![In: Intelligent Robotics and Applications, First International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part II, pp. 240-249, 2008, Springer, 978-3-540-88516-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Machine tool design, Micro machine tool, Motion control system, Positioning accuracy, Micromilling, Human-machine interface |
24 | Jens Høyrup |
The Algorithm Concept - Tool for Historiographic Interpretation or Red Herring?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings, pp. 261-272, 2008, Springer, 978-3-540-69405-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
pre-Modern mathematics, algorithm concept as an historiographic analytical tool, algebra as a historiographic analytical tool |
24 | Zhenbang Chen, Xiaoshan Li, Zhiming Liu 0001, Volker Stolz, Lu Yang |
Harnessing rCOS for Tool Support - The CoCoME Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods and Hybrid Real-Time Systems ![In: Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, pp. 83-114, 2007, Springer, 978-3-540-75220-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
tool design, formal methods, software process, Software development tool |
24 | Paris Avgeriou, Symeon Retalis |
CRITON: A Hypermedia Design Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 27(1), pp. 5-21, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
page metaphor, navigation, CASE tool, design tool, web site design, hypermedia design |
24 | Kleanthis Thramboulidis |
Towards an engineering tool for implementing reusable distributed control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003, pp. 351-354, 2003, ACM, 978-1-58113-743-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
CORFU ESS, CORFU FBDK, IEC61499, engineering tool, CASE tool, distributed control systems, function block |
24 | Amir A. Khwaja |
Enhancing extensibility of the design rule checker of an EDA tool by object-oriented modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 104-108, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
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 |
24 | Jian Chen, Valerie E. Taylor |
PART: a partitioning tool for efficient use of distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 1997 International Conference on Application-Specific Systems, Architectures, and Processors (ASAP '97), 14-16 July 1997, Zurich, Switzerland, pp. 328-337, 1997, IEEE Computer Society, 0-8186-7958-1. The full citation details ...](Pics/full.jpeg) |
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 |
24 | William B. Frakes, Rubén Prieto Díaz, Christopher J. Fox |
DARE-COTS: A Domain Analysis Support Tool (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: Proceedings of 17th International Conference of the Chilean Computer Science Society (SCCC '97), November 12-14, 1997, Valpariso, Chile, pp. 73-77, 1997, IEEE Computer Society, 0-8186-8052-0. The full citation details ...](Pics/full.jpeg) |
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 |
24 | Rufus H. Cofer, T. J. Sanders |
STADIUM: a new tool for high assurance in systems design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 175-178, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
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 |
24 | Panagiotis K. Linos |
PolyCARE: a tool for re-engineering multi-language program integrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 338-, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
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 |
24 | Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M. Simmonds |
XMI2USE: A Tool for Transforming XMI to USE Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Workshops ![In: Advances in Conceptual Modeling - Challenging Perspectives, ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings, pp. 147-156, 2009, Springer, 978-3-642-04946-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
MDA, Model Transformation, OCL, USE, Modeling Tool, XMI |
24 | Yu Sun 0002, Zekai Demirezen, Frédéric Jouault, Robert Tairas, Jeff Gray 0001 |
A Model Engineering Approach to Tool Interoperability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers, pp. 178-187, 2008, Springer, 978-3-642-00433-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
AMMA, Model Transformation, Domain-Specific Languages, Tool Interoperability, Model Engineering |
24 | Prawee Sriplakich, Xavier Blanc 0001, Marie-Pierre Gervais |
Supporting transparent model update in distributed CASE tool integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1759-1766, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
call-by-copy-restore, middleware, data structure, interoperability, integration, graph, CASE tool, RPC |
24 | Antonio 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](Pics/bibsonomy.png) |
CIARP ![In: Progress in Pattern Recognition, Image Analysis and Applications, 10th Iberoamerican Congress on Pattern Recognition, CIARP 2005, Havana, Cuba, November 15-18, 2005, Proceedings, pp. 880-890, 2005, Springer, 3-540-29850-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Signal Processing and Analysis, Remote Sensing Applications of Pattern Recognition, Tool-wear monitoring, Hidden Markov Models |
24 | Li Jiang 0006, Armin Eberlein, Behrouz Homayoun Far |
A Multi-tier Structured Tool for Requirements Engineering Process Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Advanced Web Technologies and Applications, 6th Asia-Pacific Web Conference, APWeb 2004, Hangzhou, China, April 14-17, 2004, Proceedings, pp. 928-931, 2004, Springer, 3-540-21371-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Requirements engineering, Web application, tool, process, REPEAT |
24 | Fraser MacDonald, J. Miller |
A Comparison of Tool-Based and Paper-Based Software Inspection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 3(3), pp. 233-253, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
tool support, controlled experiment, Software inspection, CASE |
23 | Dhiya Al-Jumeily, Paul Strickland |
Designing an interface on the Web for an intelligent tutoring system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 23rd EUROMICRO Conference '97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary, pp. 158-162, 1997, IEEE Computer Society, 0-8186-8129-2. The full citation details ...](Pics/full.jpeg) |
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 |
23 | Akira 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](Pics/bibsonomy.png) |
COMPSAC ![In: COMPSAC '96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea, pp. 516-521, 1996, IEEE Computer Society, 0-8186-7579-9. The full citation details ...](Pics/full.jpeg) |
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 |
22 | Orlena Gotel, Patrick Mäder |
How to Select a Requirements Management Tool: Initial Steps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31 - September 4, 2009, pp. 365-367, 2009, IEEE Computer Society, 978-0-7695-3761-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Expectation management, tool selection, requirements engineering, tool evaluation |
22 | Michel 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](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan, pp. 323-328, 2000, IEEE Computer Society, 0-7695-0887-1. The full citation details ...](Pics/full.jpeg) |
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 |
22 | Bernhard Steffen, Tiziana Margaria, Volker Braun |
The Electronic Tool Integration Platform: Concepts and Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 1(1-2), pp. 9-30, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
ETI Online Service, Tool coordination, Tool Integration platform, Conversion mechanism, Automatic synthesis |
22 | Tilmann F. W. Bruckhaus |
Analyzing CASE impact. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, November 7-9, 1995, Toronto, Ontario, Canada, pp. 10, 1995, IBM. The full citation details ...](Pics/full.jpeg) |
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 |
22 | Michael Leuschel, Marc Fontaine |
Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, pp. 278-297, 2008, Springer, 978-3-540-88193-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Integrated Formal Methods, Specification Language Design, Model Checking, Animation, Logic Programming, CSP, Tool Support, B-Method |
22 | Yair Wand, Carson Woo, Ohad Wand |
Role and Request Based Conceptual Modeling - A Methodology and a CASE Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2008, 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings, pp. 540-541, 2008, Springer, 978-3-540-87876-6. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|