|
|
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. |
ITiCSE |
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. |
IV |
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. |
Australian Software Engineering Conference |
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. |
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 |
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. |
ISQED |
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. |
Practical Software Testing: Tool Automation and Human Factors |
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. |
Practical Software Testing: Tool Automation and Human Factors |
2010 |
DBLP BibTeX RDF |
|
37 | Denys Poshyvanyk, Andrian Marcus, Yubo Dong, Andrey Sergeyev |
IRiSS - A Source Code Exploration Tool. |
ICSM (Industrial and Tool Volume) |
2005 |
DBLP BibTeX RDF |
|
37 | Qingshan Li, Shengming Hu, Hua Chu, Ping Chen |
XDRE: A Reverse Engineering Tool of Object-Oriented Software. |
ICSM (Industrial and Tool Volume) |
2005 |
DBLP BibTeX RDF |
|
37 | Fabienne Delhaise, Brendan Harnett, Rachel Majchrzak, Mariella Spada |
RENATO, a Tool to Support Software Reuse. |
ICSM (Industrial and Tool Volume) |
2005 |
DBLP BibTeX RDF |
|
37 | Malte Plath, Mark Ryan 0001 |
SFI: a Feature Integration Tool. |
Tool Support for System Specification, Development and Verification |
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. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
37 | Christoph Lüth, Einar W. Karlsen, Kolyang 0001, Stefan Westmeier, Burkhart Wolff |
Tool Integration in the UniForM-Workbench. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
33 | Massimo Cossentino, Luca Sabatucci, Valeria Seidita |
A collaborative tool for designing and enacting design processes. |
SAC |
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. |
CGIV |
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. |
J. Intell. Robotic Syst. |
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 |
Practical Software Testing: Tool Automation and Human Factors |
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. |
Practical Software Testing: Tool Automation and Human Factors |
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. |
Practical Software Testing: Tool Automation and Human Factors |
2010 |
DBLP BibTeX RDF |
|
32 | Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser, Michael W. Whalen |
FITE - Future Integrated Testing Environment. |
Practical Software Testing: Tool Automation and Human Factors |
2010 |
DBLP BibTeX RDF |
|
32 | Eileen T. Kraemer, Laura K. Dillon |
Groundwork for the Development of Testing Plans for Concurrent Software. |
Practical Software Testing: Tool Automation and Human Factors |
2010 |
DBLP BibTeX RDF |
|
32 | Bruno Legeard |
Model-based Testing: Next Generation Functional Software Testing. |
Practical Software Testing: Tool Automation and Human Factors |
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. |
Practical Software Testing: Tool Automation and Human Factors |
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. |
Practical Software Testing: Tool Automation and Human Factors |
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 |
ICSM (Industrial and Tool Volume) |
2005 |
DBLP BibTeX RDF |
|
32 | Dirk Beyer 0001 |
Co-Change Visualization. |
ICSM (Industrial and Tool Volume) |
2005 |
DBLP BibTeX RDF |
|
32 | Michael John Pacione |
VANESSA: Visualisation Abstraction NEtwork for Software Systems Analysis. |
ICSM (Industrial and Tool Volume) |
2005 |
DBLP BibTeX RDF |
|
32 | Siegfried Göschl |
Continuous Refactoring of a Java Server Application. |
ICSM (Industrial and Tool Volume) |
2005 |
DBLP BibTeX RDF |
|
32 | Francisco C. Cuadrado |
A Configuration and Change Management System for Ground Segment Operation Software. |
ICSM (Industrial and Tool Volume) |
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. |
ICSM (Industrial and Tool Volume) |
2005 |
DBLP BibTeX RDF |
|
32 | Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau |
A collection of C, C++ and Java code understanding and refactoring plugins. |
ICSM (Industrial and Tool Volume) |
2005 |
DBLP BibTeX RDF |
|
32 | Gerco Ballintijn |
A Case Study of the Release Management of a Health-care Information System. |
ICSM (Industrial and Tool Volume) |
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. |
ICSM (Industrial and Tool Volume) |
2005 |
DBLP BibTeX RDF |
|
32 | Kim Mens, Andy Kellens, Frédéric Pluquet, Roel Wuyts |
The Intensional View Environment. |
ICSM (Industrial and Tool Volume) |
2005 |
DBLP BibTeX RDF |
|
32 | Roland Weber, Theo Helfenberger, Rudolf K. Keller |
Fit for Change: Steps towards Effective Software Maintenance. |
ICSM (Industrial and Tool Volume) |
2005 |
DBLP BibTeX RDF |
|
32 | David C. Shepherd, Thomas Roper, Lori L. Pollock |
Using AOP to Ease Evolution. |
ICSM (Industrial and Tool Volume) |
2005 |
DBLP BibTeX RDF |
|
32 | Pankaj Bhawnani, Günther Ruhe |
ReleasePlanner - Planning new Releases for Software Maintenance and Evolution. |
ICSM (Industrial and Tool Volume) |
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 |
Tool Support for System Specification, Development and Verification |
1999 |
DBLP DOI BibTeX RDF |
|
32 | Stephan Pfab, Harald Rueß, Sam Owre, Friedrich W. von Henke |
Towards Light-Weight Verification and Heavy-Weight Testing. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Rudolf Berghammer, Yassine Lakhnech, Wolfgang Reif |
Formal Methods and Tools: Introduction and Overview. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Leszek Holenderski, Axel Poigné |
Synchronie Workbench. |
Tool Support for System Specification, Development and Verification |
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. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Bettina Buth |
PAMELA+PVS Verification of Sequential Programs. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Georg Rock, Werner Stephan 0001, Andreas Wolpers |
Modular reasoning about structured TLA specifications. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Peter Baumgartner 0001, Dorothea Schäfer |
Model Elimination with Simplification and its Application to Software Verification. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Kay Fuhrmann, Jan Hiemer |
Formal Verification of Statemate-Statecharts. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Ralf Behnke 0003, Rudolf Berghammer, Thorsten Hoffmann, Barbara Leoniuk, Peter Schneider |
Applications of the Rel View System. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Wolfgang Goerigk, Thilo Gaul, Wolf Zimmermann |
Correct Programs without Proof? On Checker-Based Program Verification. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Martin Lange, Martin Leucker, Thomas Noll 0001, Stephan Tobies |
Truth - A verification platform for concurrent systems. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Wolfram Kahl |
The Term Graph Programming System HOPS. |
Tool Support for System Specification, Development and Verification |
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. |
Tool Support for System Specification, Development and Verification |
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. |
EUROMICRO |
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. |
EC-TEL |
2008 |
DBLP DOI BibTeX RDF |
medical teamwork, design, educational tool, Annotation tool |
31 | Tiziana Margaria |
Web services-based tool-integration in the ETI platform. |
Softw. Syst. Model. |
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. |
J. Intell. Robotic Syst. |
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. |
Mach. Vis. Appl. |
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. |
IEEE Trans. Software Eng. |
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. |
WPC |
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. |
CAiSE |
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. |
ISBMS |
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. |
ECCE |
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. |
Mach. Vis. Appl. |
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. |
TOOLS (36) |
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. |
CASCON |
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. |
OOPSLA Companion |
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. |
SCCC |
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. |
ASE |
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. |
WETICE |
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. |
HICSS (2) |
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. |
ICECCS |
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. |
IEEE Trans. Software Eng. |
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. |
IEEE METRICS |
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. |
WCRE |
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. |
SACMAT |
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. |
HICSS (5) |
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. |
IDC |
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. |
ICIRA (2) |
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?. |
CiE |
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. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
tool design, formal methods, software process, Software development tool |
24 | Paris Avgeriou, Symeon Retalis |
CRITON: A Hypermedia Design Tool. |
Multim. Tools Appl. |
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. |
ESEC / SIGSOFT FSE |
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. |
COMPSAC |
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. |
ASAP |
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). |
SCCC |
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. |
ICECCS |
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. |
ICECCS |
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. |
ER Workshops |
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. |
SLE |
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. |
SAC |
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. |
CIARP |
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. |
APWeb |
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. |
Empir. Softw. Eng. |
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. |
EUROMICRO |
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. |
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 |
22 | Orlena Gotel, Patrick Mäder |
How to Select a Requirements Management Tool: Initial Steps. |
RE |
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. |
Asian Test Symposium |
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. |
Int. J. Softw. Tools Technol. Transf. |
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. |
CASCON |
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. |
ICFEM |
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. |
ER |
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][ >>] |
|