The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1982-1989 (16) 1990-1992 (20) 1993-1994 (24) 1995-1996 (36) 1997 (24) 1998 (25) 1999 (22) 2000 (40) 2001 (36) 2002 (35) 2003 (30) 2004 (53) 2005 (38) 2006 (43) 2007 (57) 2008 (65) 2009 (41) 2010 (27) 2011 (19) 2012 (21) 2013 (22) 2014 (35) 2015 (25) 2016 (25) 2017 (23) 2018 (20) 2019 (15) 2020 (24) 2021 (20) 2022 (15) 2023 (17) 2024 (2)
Publication types (Num. hits)
article(200) book(1) incollection(2) inproceedings(705) phdthesis(7)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 732 occurrences of 548 keywords

Results
Found 915 publication records. Showing 915 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
77George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden Automated Analysis of Concurrent Systems With the Constrained Expression Toolset. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF constrained expression toolset, expression analysis techniques, Ada-like design language, system traces, parallel programming, software tools, programming languages, source code, concurrent systems, reachable states
74Martin Ouimet, Kristina Lundqvist The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
68Franz J. Kurfess, Mrinalini Lankala, Ashok Vantipalli, Lonnie R. Welch A toolset for the reengineering of complex computer systems. Search on Bibsonomy ECBS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF reengineering toolset, complex computer systems, abstract intermediate representation, system software architecture, program level, task level, package/object instance level, subprogram level, statement level, rendezvous graph, call-rendezvous graph, call-data-rendezvous graph, software architecture, graphical user interface, software design, granularity, systems re-engineering, dependence graphs, control flow graph, interaction analysis, call graph, computer-based systems, software transformation
65Darren Foulger, Steve King 0001 Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software. Search on Bibsonomy Ada-Europe The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
64John V. Harrison, Anthony Berglas, Ian Peake Legacy 4GL Application Migration via Knowledge-Based Software Engineering Technology: A Case Study. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 1997 DBLP  DOI  BibTeX  RDF legacy 4GL application migration, fourth-generation languages, database vendors, toolset, industry-sponsored research project, software re-engineering toolset, database, case study, programming environments, cost, organisation, knowledge-based software engineering, information system applications
58J. R. Carnes, Amit Misra, Janos Sztipanovits Model-integrated toolset for fault detection, isolation and recovery (FDIR). Search on Bibsonomy ECBS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF space vehicles, model-integrated toolset, complex engineering systems, system deployment, information intensive tests, in-depth knowledge, large complex spacecraft system development, engineering design phase, fault diagnosis, software maintenance, software tools, system design, fault detection, system recovery, system monitoring, special purpose computers, systems software, fault recovery, aerospace computing, system implementation, fault isolation, system validation, system maintenance
55Matthieu Leclercq, Ali Erdem Özcan, Vivien Quéma, Jean-Bernard Stefani Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset. Search on Bibsonomy ICSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
55Martin Ouimet, Guillaume Berteau, Kristina Lundqvist Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset. Search on Bibsonomy MoDELS (Workshops) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Simulation, Modeling, Real-Time Systems, Embedded Systems, Formal Specification
55Jacob T. Biehl, Brian P. Bailey A Toolset for Creating Iconic Interfaces for Interactive Workspaces. Search on Bibsonomy INTERACT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
55Wuwei Shen, Kevin J. Compton, James Huggins A Toolset for Supporting UML Static and Dynamic Model Checking. Search on Bibsonomy COMPSAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
55Wuwei Shen, Kevin J. Compton, James Huggins A UML Validation Toolset Based on Abstract State Machines. Search on Bibsonomy ASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
55Saurav Chatterjee, Kevin Bradley, Jose A. Madriz, James A. Colquist, Jay K. Strosnider SEW: A Toolset For Design and Analysis of Distributed Real-Time Systems. Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
51Lawrence Cabac, Till Dörges, Michael Duvigneau, Daniel Moldt Requirements and Tools for the Debugging of Multi-Agent Systems. Search on Bibsonomy MATES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF toolset, multi-agent systems, Debugging, requirements, Mulan
51David P. Gilliam, John C. Kelly, Matt Bishop Reducing Software Security Risk through an Integrated Approach. Search on Bibsonomy WETICE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Security Toolset, Vulnerability Matrix, Model Specification Checking, Security Verification, Property-Based Testing
49Stefan Klink, Yu Li, Andreas Oberweis INCOME2010 - a toolset for developing process-oriented information systems based on petri nets. Search on Bibsonomy SimuTools The full citation details ... 2008 DBLP  DOI  BibTeX  RDF XML nets, software toolset, SOA, petri nets, information systems
45Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis The IF Toolset. Search on Bibsonomy SFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
45Alberto Manzone, Claudio Genta Automatic toolset for fault tolerant design: results demonstration on a running industrial application. Search on Bibsonomy IOLTS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
45Li Zhang 0002, Zhen Liu 0001, Anton Riabov, Monty Schulman, Cathy H. Xia, Fan Zhang A Comprehensive Toolset for Workload Characterization, Performance Modeling, and Online Control. Search on Bibsonomy Computer Performance Evaluation / TOOLS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF on-line control, Performance analysis, performance prediction, queueing networks, capacity planning, Web service modeling
45Falko Bause, Heinz Beilner, Markus Fischer, Peter Kemper, Markus Völker The ProC/B Toolset for the Modelling and Analysis of Process Chains. Search on Bibsonomy Computer Performance Evaluation / TOOLS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Process Chains, Generalised Stochastic Petri Nets, Simulation, E-Commerce, E-Business, Queueing Networks
45Michel Courson, Alan Mink, Guillaume Marçais, Benjamin Traverse An Automated Benchmarking Toolset. Search on Bibsonomy HPCN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF visualization, performance analysis, database, Cluster computing, performance measurement, data collection, queuing system
45Martin Fleury, N. Sarvan, Andy C. Downton, Adrian F. Clark A Parallel-System Design Toolset for Vision and Image Processing. Search on Bibsonomy Euro-Par The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
45Thierry Delaitre, P. Vekariya, R. Bigeard, George R. Ribeiro-Justo, Stephen C. Winter, M. J. Zemerly EDPEPPS: An Integrated Graphical Toolset for the Design and Performance Evaluation of Portable Parallel Software. Search on Bibsonomy Euro-Par The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
45Brian Dobbing, Marc Richard-Foy T-SMART - Task-Safe, Minimal Ada Realtime Toolset. Search on Bibsonomy Ada-Europe The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Ada83, Software Reliability, Certification, Ada 95
45Michael J. Whitney, Morris Bernstein, Renato de Mori, Kostas Kontogiannis, Brian Corrie, Hausi A. Müller, Scott R. Tilley, Ettore Merlo, John Mylopoulos, Kenny Wong, J. Howard Johnson, James McDaniel, Martin Stanley Using an integrated toolset for program understanding. Search on Bibsonomy CASCON The full citation details ... 1995 DBLP  BibTeX  RDF
45Harald Wabnig, Günter Haring PAPS - The Parallel Program Performance Prediction Toolset. Search on Bibsonomy Computer Performance Evaluation The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
45George Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith A Graphical Interval Logic Toolset for Verifying Concurrent Systems. Search on Bibsonomy CAV The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
36John C. Grundy, John G. Hosking, Jun Huh, Karen Na-Liu Li Marama: an eclipse meta-toolset for generating multi-view environments. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF domain-specific visual languages, meta-tools, code generation, model-driven engineering
36Minghui Jiang 0001, Martin Mayne, Joel Gillespie Delta: A Toolset for the Structural Analysis of Biological Sequences on a 3D Triangular Lattice. Search on Bibsonomy ISBRA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Hu Chen, Wenguang Chen, Jian Huang, Bob Robert H. Kuhn MPIPP: an automatic profile-guided parallel process placement toolset for SMP clusters and multiclusters. Search on Bibsonomy ICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF graph mapping, process placement, cluster, parallel computing, graph partitioning
36Milo M. K. Martin, Daniel J. Sorin, Bradford M. Beckmann, Michael R. Marty, Min Xu, Alaa R. Alameldeen, Kevin E. Moore, Mark D. Hill, David A. Wood 0001 Multifacet's general execution-driven multiprocessor simulator (GEMS) toolset. Search on Bibsonomy SIGARCH Comput. Archit. News The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Muhammad Ali Babar 0001, Didar Zowghi Developing a Requirements Management Toolset: Lessons Learned. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Markus Arns, Markus Fischer, Carsten Tepper, Markus Völker Visualization of Analysis Results in the ProC/B Toolset. Search on Bibsonomy QEST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Daniel C. DuVarney, S. Purushothaman Iyer C Wolf - A Toolset for Extracting Models from C Programs. Search on Bibsonomy FORTE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Abstract Model checking, Concurrency Workbench, FDT for network protocols, Software tools, Verification and validation, C programs
36Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol µCRL: A Toolset for Analysing Algebraic Specifications. Search on Bibsonomy CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
36Heinrich Hußmann, Birgit Demuth, Frank Finger Modular Architecture for a Toolset Supporting OCL. Search on Bibsonomy UML The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
36Suleyman Sair, Guiseppe Olivadoti, David R. Kaeli, José Fridman DSPTune: A Performance Evaluation Toolset for the SHARC Signal Processor. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
36David Lorge Parnas, Dennis K. Peters An Easily Extensible Toolset for Tabular Mathematical Expressions. Search on Bibsonomy TACAS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
36Doron A. Peled A Toolset for Message Sequence Charts. Search on Bibsonomy CAV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
36Devesh Bhatt, Vicraj T. Thomas, John Shackleton A methodology and toolset for the design of parallel embedded systems. Search on Bibsonomy OOPS Messenger The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
36Chris Dollin The HP-ST Toolset. Search on Bibsonomy VDM Europe (1) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
34Terrell R. Bennett, Claudio Savaglio, David Lu, Hunter Massey, Xianan Wang, Jian Wu 0016, Roozbeh Jafari MotionSynthesis toolset (MoST): a toolset for human motion data synthesis and validation. Search on Bibsonomy MobileHealth@MobiHoc The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
32Thomas Rauber, Gudula Rünger Incremental Transformation of Business Software. Search on Bibsonomy ICEIS (Selected Papers) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Incremental transformation, transformation toolset, component, legacy software
32Lourdes Fernández, J. Alfredo Sánchez 0001, Luis Arturo Flores An Environment for the Collaborative Revision of Digital Theses. Search on Bibsonomy CRIWG The full citation details ... 2000 DBLP  DOI  BibTeX  RDF collaborative revision, digital theses, asynchronous cooperative toolset, University Digital Libraries for All, Internet, Internet, digital library, annotation, revision, electronic documents, Zeus
32Seungwoo Son, Chaedeok Lim, Heung-Nam Kim Debugging protocol for remote cross development environment. Search on Bibsonomy RTCSA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF debugging protocol, remote cross development environment, Internet appliances, embedded software development tools, host tools, binary utilities, remote debugger, interactive shell, real time resource monitors, heavy host-target communication overhead, target monitor programs, host-resident tools, target agent, Esto, Embedded Systems Toolset, Internet based embedded applications, Internet, embedded systems, protocols, program debugging, operating systems (computers), RTOS, UDP/IP, cross compilers
32Premkumar T. Devanbu, Sakke Karstu, Walcélio L. Melo, William Thomas Analytical and Empirical Evaluation of Software Reuse Metrics. Search on Bibsonomy ICSE The full citation details ... 1996 DBLP  BibTeX  RDF industrial projects, productivity data, quality data, savings measurement, software reuse metrics, software system development, toolset, software tools, software metrics, software components, software reusability, empirical evaluation, software cost estimation, human resource management, student projects, analytical evaluation, cost savings
32Kingsum Chow, David Notkin Semi-automatic update of applications in response to library changes. Search on Bibsonomy ICSM The full citation details ... 1996 DBLP  DOI  BibTeX  RDF semi-automatic application update, library changes, library syntax, library semantics, updated libraries, toolset, library maintainer, changed functions, rules, costs, software libraries, software libraries, programmers
32Sudhir Aggarwal, Sandeep Mitra, Sanjay S. Jagdale DCCA: a versatile paradigm for the description and development of concurrent communicating systems. Search on Bibsonomy HICSS (2) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF DCCA, concurrent communicating systems development, concurrent communicating systems description, Dynamic Coordinated Concurrent Activities, automated factory, multiprocessor cache coherence system, attendant toolset, model, distributed systems, software engineering, formal specification, formal specification, protocols, specification, prototyping, distributed processing, program verification, rapid prototyping, software prototyping, distributed control system
32Kevin Lano Specifying static analysis tools using formal methods. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF static analysis tool specification, analysis functionality, static analysis toolset, diagrammatic analysis techniques, diagrammatic design techniques, well-structured specifications, comprehensible specifications, object-oriented structure, imperative programming culture, database culture, formal specification, formal specification, formal methods, software tools, specification languages, object-oriented methods, COBOL, structured programming, system monitoring, systems software, Z specification language, transformation functionality, industrial environment
32George S. Avrunin, James C. Corbett, Laura K. Dillon, Jack C. Wileden Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF time bound derivation, uniprocessor concurrent systems, concurrent software system, single processor, arbitrary scheduling, integer programming methods, constrained expression toolset, very large state spaces, scheduling, real-time systems, lower bounds, concurrency control, integer programming, systems analysis, upper bounds, timing analysis, concurrent systems, linear inequalities, timing properties, finite state systems, complex real-time systems
32Gerald M. Karam, Raymond J. A. Buhr Starvation and Critical Race Analyzers for Ada. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF race analyzers, critical race analysis tools, Ada designs, temporal analysis toolset, operational specification language, language interpreter, deadlock analyzer, starvation analyzer, set-theoretic model, deadlock analyzer, computation space, preprocessing phase, starvation tool, semiautomatic proof, nondeterministic rendezvous, human operator, design examples, Ada, software tools, programming, specification languages, system recovery, liveness, program interpreters
29Hong P. Liu, David P. Gluch Formal verification of AADL behavior models: a feasibility investigation. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF architecture analysis & design language, model checking, tool integration, computational tree logic
29Michael Feary Automatic Detection of Interaction Vulnerabilities in an Executable Specification. Search on Bibsonomy HCI (13) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF automation surprise analysis, automation design
29Paul Baker, Clive Jervis Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile. Search on Bibsonomy SDL Forum The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Bela Berde, Dimitri Papadimitriou, Monika Jäger Traffic Engineering Element for GMPLS Networks. Search on Bibsonomy NOMS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29John C. Knight, Kimberly S. Hanks, Sean R. Travis Tool Support for Production Use of Formal Techniques. Search on Bibsonomy ISSRE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
29Timothy J. Sliski, Matthew P. Billmers, Lori A. Clarke, Leon J. Osterweil An architecture for flexible, evolvable process-driven user-guidance environments. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF user interface design, tool integration, process guidance
29John V. Harrison, Paul A. Bailes, Anthony Berglas, Ian Peake Re-engineering 4GL-based Information System Applications. Search on Bibsonomy APSEC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF CAiSE, information systems, design recovery, software re-engineering
29Ugo A. Buy, Robert H. Sloan Analysis of Real-Time Programs with Simple Time Petri Nets. Search on Bibsonomy ISSTA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
29Jeff Magee, Naranker Dulay A Configuration Approach to Parallel Programming. Search on Bibsonomy PARLE (2) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
26Michael Leuschel, Michael J. Butler ProB: an automated analysis toolset for the B method. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Romain Robbes, Michele Lanza SpyWare: a change-aware development toolset. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF modelling, visualization, program transformation, change
26Richard Maciel, Bruno C. Albertini, Sandro Rigo, Guido Araujo, Rodolfo Azevedo A Methodology and Toolset to Enable SystemC and VHDL Co-simulation. Search on Bibsonomy ISVLSI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26David Montgomery, Ali Akoglu Methodology and Toolset for ASIP Design and Development Targeting Cryptography-Based Applications. Search on Bibsonomy ASAP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Anirban Lahiri, Satya Jyoti Chattopadhyay, Anupam Basu Sparsha: a comprehensive indian language toolset for the blind. Search on Bibsonomy ASSETS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF visual impairment, braille, audio feedback, Indian languages
26Amel Mammar, Sophie Ramel, Bertrand Grégoire, Michael Schmitt 0002, Nicolas Guelfi Efficient: A Toolset for Building Trusted B2B Transactions. Search on Bibsonomy CAiSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Gerard Lommerse, Freek Nossin, Lucian Voinea, Alexandru C. Telea The Visual Code Navigator: An Interactive Toolset for Source Code Investigation. Search on Bibsonomy INFOVIS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF source code visualization, pixel-filling displays, multiple views, treemaps, source code analysis
26Jie Tao 0001, Wolfgang Karl CacheIn: A Toolset for Comprehensive Cache Inspection. Search on Bibsonomy International Conference on Computational Science (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26S. Ramesh, Sampada Sonalkar, Vijay D'Silva, Naveen Chandra, B. Vijayalakshmi A Toolset for Modelling and Verification of GALS Systems. Search on Bibsonomy CAV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Andrew Lewis, David Abramson 0001, Tom Peachey RSCS: A Parallel Simplex Algorithm for the Nimrod/O Optimization Toolset. Search on Bibsonomy ISPDC/HeteroPar The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Nelder-Mead algorithm, optimization, Parallel programming
26Harold J. Batteram, Wim Hellenthal, Willem A. Romijn, Andreas Hoffmann 0001, Axel Rennoch, Alain Vouffo Implementation of an Open Source Toolset for CCM Components and Systems Testing. Search on Bibsonomy TestCom The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Brandon Eames, Ted Bapty, Ben Abbott, Sandeep Neema, Kumar Chhokra Model-Integrated Design Toolset for Polymorphous Computer-Based Systems. Search on Bibsonomy ECBS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Muhammad Ali Babar 0001 An Experience of Applying Architecture-based Approach to Build a Component-based Requirements Management Toolset. Search on Bibsonomy COMPSAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Julien Bourgeois, François Spies, M. J. Zemerly, Thierry Delaitre Chronos: a Performance Characterization Tool Inside the EDPEPPS Toolset. Search on Bibsonomy J. Supercomput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF CPU modeling, cache memory modeling, parallel programing environments, Performance characterization
26Iosif Legrand, Harvey B. Newman The MONARC toolset for simulating large network-distributed processing systems. Search on Bibsonomy WSC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor Cronos: A Separate Compilation Toolset for Modular Esterel Applications. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
26Ulf Lindqvist, Phillip A. Porras Detecting Computer and Network Misuse through the Production-based Expert System Toolset (P-BEST). Search on Bibsonomy S&P The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
26Constance L. Heitmeyer Using the SCR* Toolset to Specify Software Requirements. Search on Bibsonomy WIFT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
26Thierry Delaitre, M. J. Zemerly, P. Vekariya, George R. Ribeiro-Justo, Julien Bourgeois, F. Schinkman, François Spies, S. Randoux, Stephen C. Winter EDPEPPS: A Toolset for the Design and Performance Evaluation of Parallel Applications. Search on Bibsonomy Euro-Par The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
26Alex E. Bell An Alternative Toolset for Analysis of Ada Programs. Search on Bibsonomy Ada-Europe The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
26John Mylopoulos, Martin Stanley, Kenny Wong, Morris Bernstein, Renato de Mori, Graham W. Ewart, Kostas Kontogiannis, Ettore Merlo, Hausi A. Müller, Scott R. Tilley, Marijana Tomic Towards an integrated toolset for program understanding. Search on Bibsonomy CASCON The full citation details ... 1994 DBLP  BibTeX  RDF
26Alessandro Giovini, Franco Morando, Antonio Capani Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems. Search on Bibsonomy ALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
26N. Serdar Uckun, Benoit M. Dawant, Kazuhiko Kawamura NetGraph: an object-oriented graphical toolset for risk assessment. Search on Bibsonomy IEA/AIE (1) The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
26Axel Mahler, Andreas Lampen An Integrated Toolset for Engineering Software Configurations. Search on Bibsonomy Software Development Environments (SDE) The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
22Charneta Samms, David Jones 0001, Kelly S. Hale, Diane Mitchell Harnessing the Power of Multiple Tools to Predict and Mitigate Mental Overload. Search on Bibsonomy HCI (17) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF IMPRINT, MIDS, integrated toolset, multimodal, command and control, overload, mental workload
22Marina Mladenova, Boyanka Zhelyazova Competitive analysis of software solutions for business organizations. Search on Bibsonomy CompSysTech The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ARIS ToolSet, BPwin/ERwin AllFusion process modeler, UML diagrams enterprise resource planning, architecture of integrated information systems, ERP, CASE-tools
22David P. Gilliam, John C. Kelly, John D. Powell, Matt Bishop Development of a Software Security Assessment Instrument to Reduce Software Security Risk. Search on Bibsonomy WETICE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Security Toolset, Vulnerability Matrix, Model Checking, Security Verification, Property-Based Testing
19Albrecht Schmidt 0001 Engineering interactive ubiquitous computing systems. Search on Bibsonomy EICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
19Paulo Sérgio Santos Jr., João Paulo A. Almeida, Giancarlo Guizzardi An ontology-based semantic foundation for ARIS EPCs. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF event-driven process chains (EPCs), business process modeling, ARIS, ontological analysis, foundational ontologies
19Joseph Sifakis Component-Based Construction of Heterogeneous Real-Time Systems in Bip. Search on Bibsonomy Petri Nets The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Jason Luu, Ian Kuon, Peter Jamieson, Ted Campbell, Andy Gean Ye, Wei Mark Fang, Jonathan Rose VPR 5.0: FPGA cad and architecture exploration tools with single-driver routing, heterogeneity and process scaling. Search on Bibsonomy FPGA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF fpga, architecture, cad
19I-Hsin Chung, Seetharami R. Seelam, Bernd Mohr, Jesús Labarta Tools for scalable performance analysis on Petascale systems. Search on Bibsonomy IPDPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Yuki Sakai, Akihito Hiromori, Hirozumi Yamaguchi, Khaled El-Fakih, Teruo Higashino An integrated tool for development of overlay services. Search on Bibsonomy SimuTools The full citation details ... 2009 DBLP  DOI  BibTeX  RDF petri nets simulation, distributed systems, overlay networks, simulation tools
19Oleg Sokolsky, Insup Lee 0001, Duncan Clarke Process-Algebraic Interpretation of AADL Models. Search on Bibsonomy Ada-Europe The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Patrick de Smet Semi-automatic Forensic Reconstruction of Ripped-up Documents. Search on Bibsonomy ICDAR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Gokhan Gokyer, Semih Cetin, Cevat Sener, Meltem Turhan Yöndem Non-functional Requirements to Architectural Concerns: ML and NLP at Crossroads. Search on Bibsonomy ICSEA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Pierre Loustau, Thierry Nodenot, Mauro Gaio Spatial Decision Support in the Pedagogical Area: Processing Travel Stories to Discover Itineraries Hidden Beneath the Surface. Search on Bibsonomy AGILE Conf. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF travel stories, retrieval, Spatial Decision Support, itinerary
19Rahn C. Rahn, Youn-Kyung Lim, Dennis P. Groth Redesigning video analysis: an interactive ink annotation tool. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2008 DBLP  DOI  BibTeX  RDF evaluation, user experience, user centered design, annotation, video analysis, information management, user research
19John Derrick, Siobhán North, Anthony J. H. Simons Z2SAL - Building a Model Checker for Z. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model-checking, Z, SAL
19Slavko Gajin, Vedrin Jeliazkov, Constantinos Kotsokalis, Yannis Mitsos Seamless Integration of Network Management Tools in a Multi-Domain Environment. Search on Bibsonomy Integrated Network Management The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Lisa Bahler, Francesco Caruso, Josephine Micallef A Practical Method and Tool for Systems Engineering of Service-Oriented Applications. Search on Bibsonomy WISE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Service Design Methodology, SOA Tools, SOA, Model-Driven Development, Systems Engineering, Enterprise Application Integration
Displaying result #1 - #100 of 915 (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