|
|
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 |
77 | George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden |
Automated Analysis of Concurrent Systems With the Constrained Expression Toolset. |
IEEE Trans. Software Eng. |
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 |
74 | Martin Ouimet, Kristina Lundqvist |
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
68 | Franz J. Kurfess, Mrinalini Lankala, Ashok Vantipalli, Lonnie R. Welch |
A toolset for the reengineering of complex computer systems. |
ECBS |
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 |
65 | Darren Foulger, Steve King 0001 |
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
64 | John V. Harrison, Anthony Berglas, Ian Peake |
Legacy 4GL Application Migration via Knowledge-Based Software Engineering Technology: A Case Study. |
Australian Software Engineering Conference |
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 |
58 | J. R. Carnes, Amit Misra, Janos Sztipanovits |
Model-integrated toolset for fault detection, isolation and recovery (FDIR). |
ECBS |
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 |
55 | Matthieu Leclercq, Ali Erdem Özcan, Vivien Quéma, Jean-Bernard Stefani |
Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
55 | Martin Ouimet, Guillaume Berteau, Kristina Lundqvist |
Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset. |
MoDELS (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
Simulation, Modeling, Real-Time Systems, Embedded Systems, Formal Specification |
55 | Jacob T. Biehl, Brian P. Bailey |
A Toolset for Creating Iconic Interfaces for Interactive Workspaces. |
INTERACT |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Wuwei Shen, Kevin J. Compton, James Huggins |
A Toolset for Supporting UML Static and Dynamic Model Checking. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
|
55 | Wuwei Shen, Kevin J. Compton, James Huggins |
A UML Validation Toolset Based on Abstract State Machines. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
55 | Saurav Chatterjee, Kevin Bradley, Jose A. Madriz, James A. Colquist, Jay K. Strosnider |
SEW: A Toolset For Design and Analysis of Distributed Real-Time Systems. |
IEEE Real Time Technology and Applications Symposium |
1997 |
DBLP DOI BibTeX RDF |
|
51 | Lawrence Cabac, Till Dörges, Michael Duvigneau, Daniel Moldt |
Requirements and Tools for the Debugging of Multi-Agent Systems. |
MATES |
2009 |
DBLP DOI BibTeX RDF |
toolset, multi-agent systems, Debugging, requirements, Mulan |
51 | David P. Gilliam, John C. Kelly, Matt Bishop |
Reducing Software Security Risk through an Integrated Approach. |
WETICE |
2000 |
DBLP DOI BibTeX RDF |
Security Toolset, Vulnerability Matrix, Model Specification Checking, Security Verification, Property-Based Testing |
49 | Stefan Klink, Yu Li, Andreas Oberweis |
INCOME2010 - a toolset for developing process-oriented information systems based on petri nets. |
SimuTools |
2008 |
DBLP DOI BibTeX RDF |
XML nets, software toolset, SOA, petri nets, information systems |
45 | Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis |
The IF Toolset. |
SFM |
2004 |
DBLP DOI BibTeX RDF |
|
45 | Alberto Manzone, Claudio Genta |
Automatic toolset for fault tolerant design: results demonstration on a running industrial application. |
IOLTS |
2003 |
DBLP DOI BibTeX RDF |
|
45 | Li 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. |
Computer Performance Evaluation / TOOLS |
2003 |
DBLP DOI BibTeX RDF |
on-line control, Performance analysis, performance prediction, queueing networks, capacity planning, Web service modeling |
45 | Falko Bause, Heinz Beilner, Markus Fischer, Peter Kemper, Markus Völker |
The ProC/B Toolset for the Modelling and Analysis of Process Chains. |
Computer Performance Evaluation / TOOLS |
2002 |
DBLP DOI BibTeX RDF |
Process Chains, Generalised Stochastic Petri Nets, Simulation, E-Commerce, E-Business, Queueing Networks |
45 | Michel Courson, Alan Mink, Guillaume Marçais, Benjamin Traverse |
An Automated Benchmarking Toolset. |
HPCN |
2000 |
DBLP DOI BibTeX RDF |
visualization, performance analysis, database, Cluster computing, performance measurement, data collection, queuing system |
45 | Martin Fleury, N. Sarvan, Andy C. Downton, Adrian F. Clark |
A Parallel-System Design Toolset for Vision and Image Processing. |
Euro-Par |
1998 |
DBLP DOI BibTeX RDF |
|
45 | Thierry 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. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
|
45 | Brian Dobbing, Marc Richard-Foy |
T-SMART - Task-Safe, Minimal Ada Realtime Toolset. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
Ada83, Software Reliability, Certification, Ada 95 |
45 | Michael 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. |
CASCON |
1995 |
DBLP BibTeX RDF |
|
45 | Harald Wabnig, Günter Haring |
PAPS - The Parallel Program Performance Prediction Toolset. |
Computer Performance Evaluation |
1994 |
DBLP DOI BibTeX RDF |
|
45 | George Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith |
A Graphical Interval Logic Toolset for Verifying Concurrent Systems. |
CAV |
1993 |
DBLP DOI BibTeX RDF |
|
36 | John C. Grundy, John G. Hosking, Jun Huh, Karen Na-Liu Li |
Marama: an eclipse meta-toolset for generating multi-view environments. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
domain-specific visual languages, meta-tools, code generation, model-driven engineering |
36 | Minghui Jiang 0001, Martin Mayne, Joel Gillespie |
Delta: A Toolset for the Structural Analysis of Biological Sequences on a 3D Triangular Lattice. |
ISBRA |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Hu Chen, Wenguang Chen, Jian Huang, Bob Robert H. Kuhn |
MPIPP: an automatic profile-guided parallel process placement toolset for SMP clusters and multiclusters. |
ICS |
2006 |
DBLP DOI BibTeX RDF |
graph mapping, process placement, cluster, parallel computing, graph partitioning |
36 | Milo 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. |
SIGARCH Comput. Archit. News |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Muhammad Ali Babar 0001, Didar Zowghi |
Developing a Requirements Management Toolset: Lessons Learned. |
Australian Software Engineering Conference |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Markus Arns, Markus Fischer, Carsten Tepper, Markus Völker |
Visualization of Analysis Results in the ProC/B Toolset. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Daniel C. DuVarney, S. Purushothaman Iyer |
C Wolf - A Toolset for Extracting Models from C Programs. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
Abstract Model checking, Concurrency Workbench, FDT for network protocols, Software tools, Verification and validation, C programs |
36 | Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol |
µCRL: A Toolset for Analysing Algebraic Specifications. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
36 | Heinrich Hußmann, Birgit Demuth, Frank Finger |
Modular Architecture for a Toolset Supporting OCL. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
36 | Suleyman Sair, Guiseppe Olivadoti, David R. Kaeli, José Fridman |
DSPTune: A Performance Evaluation Toolset for the SHARC Signal Processor. |
Annual Simulation Symposium |
2000 |
DBLP DOI BibTeX RDF |
|
36 | David Lorge Parnas, Dennis K. Peters |
An Easily Extensible Toolset for Tabular Mathematical Expressions. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
36 | Doron A. Peled |
A Toolset for Message Sequence Charts. |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
36 | Devesh Bhatt, Vicraj T. Thomas, John Shackleton |
A methodology and toolset for the design of parallel embedded systems. |
OOPS Messenger |
1996 |
DBLP DOI BibTeX RDF |
|
36 | Chris Dollin |
The HP-ST Toolset. |
VDM Europe (1) |
1991 |
DBLP DOI BibTeX RDF |
|
34 | Terrell 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. |
MobileHealth@MobiHoc |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Thomas Rauber, Gudula Rünger |
Incremental Transformation of Business Software. |
ICEIS (Selected Papers) |
2007 |
DBLP DOI BibTeX RDF |
Incremental transformation, transformation toolset, component, legacy software |
32 | Lourdes Fernández, J. Alfredo Sánchez 0001, Luis Arturo Flores |
An Environment for the Collaborative Revision of Digital Theses. |
CRIWG |
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 |
32 | Seungwoo Son, Chaedeok Lim, Heung-Nam Kim |
Debugging protocol for remote cross development environment. |
RTCSA |
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 |
32 | Premkumar T. Devanbu, Sakke Karstu, Walcélio L. Melo, William Thomas |
Analytical and Empirical Evaluation of Software Reuse Metrics. |
ICSE |
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 |
32 | Kingsum Chow, David Notkin |
Semi-automatic update of applications in response to library changes. |
ICSM |
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 |
32 | Sudhir Aggarwal, Sandeep Mitra, Sanjay S. Jagdale |
DCCA: a versatile paradigm for the description and development of concurrent communicating systems. |
HICSS (2) |
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 |
32 | Kevin Lano |
Specifying static analysis tools using formal methods. |
ICECCS |
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 |
32 | George S. Avrunin, James C. Corbett, Laura K. Dillon, Jack C. Wileden |
Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems. |
IEEE Trans. Software Eng. |
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 |
32 | Gerald M. Karam, Raymond J. A. Buhr |
Starvation and Critical Race Analyzers for Ada. |
IEEE Trans. Software Eng. |
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 |
29 | Hong P. Liu, David P. Gluch |
Formal verification of AADL behavior models: a feasibility investigation. |
ACM Southeast Regional Conference |
2009 |
DBLP DOI BibTeX RDF |
architecture analysis & design language, model checking, tool integration, computational tree logic |
29 | Michael Feary |
Automatic Detection of Interaction Vulnerabilities in an Executable Specification. |
HCI (13) |
2007 |
DBLP DOI BibTeX RDF |
automation surprise analysis, automation design |
29 | Paul Baker, Clive Jervis |
Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile. |
SDL Forum |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Bela Berde, Dimitri Papadimitriou, Monika Jäger |
Traffic Engineering Element for GMPLS Networks. |
NOMS |
2006 |
DBLP DOI BibTeX RDF |
|
29 | John C. Knight, Kimberly S. Hanks, Sean R. Travis |
Tool Support for Production Use of Formal Techniques. |
ISSRE |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Timothy J. Sliski, Matthew P. Billmers, Lori A. Clarke, Leon J. Osterweil |
An architecture for flexible, evolvable process-driven user-guidance environments. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
user interface design, tool integration, process guidance |
29 | John V. Harrison, Paul A. Bailes, Anthony Berglas, Ian Peake |
Re-engineering 4GL-based Information System Applications. |
APSEC |
1995 |
DBLP DOI BibTeX RDF |
CAiSE, information systems, design recovery, software re-engineering |
29 | Ugo A. Buy, Robert H. Sloan |
Analysis of Real-Time Programs with Simple Time Petri Nets. |
ISSTA |
1994 |
DBLP DOI BibTeX RDF |
|
29 | Jeff Magee, Naranker Dulay |
A Configuration Approach to Parallel Programming. |
PARLE (2) |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Michael Leuschel, Michael J. Butler |
ProB: an automated analysis toolset for the B method. |
Int. J. Softw. Tools Technol. Transf. |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Romain Robbes, Michele Lanza |
SpyWare: a change-aware development toolset. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
modelling, visualization, program transformation, change |
26 | Richard Maciel, Bruno C. Albertini, Sandro Rigo, Guido Araujo, Rodolfo Azevedo |
A Methodology and Toolset to Enable SystemC and VHDL Co-simulation. |
ISVLSI |
2007 |
DBLP DOI BibTeX RDF |
|
26 | David Montgomery, Ali Akoglu |
Methodology and Toolset for ASIP Design and Development Targeting Cryptography-Based Applications. |
ASAP |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Anirban Lahiri, Satya Jyoti Chattopadhyay, Anupam Basu |
Sparsha: a comprehensive indian language toolset for the blind. |
ASSETS |
2005 |
DBLP DOI BibTeX RDF |
visual impairment, braille, audio feedback, Indian languages |
26 | Amel Mammar, Sophie Ramel, Bertrand Grégoire, Michael Schmitt 0002, Nicolas Guelfi |
Efficient: A Toolset for Building Trusted B2B Transactions. |
CAiSE |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Gerard Lommerse, Freek Nossin, Lucian Voinea, Alexandru C. Telea |
The Visual Code Navigator: An Interactive Toolset for Source Code Investigation. |
INFOVIS |
2005 |
DBLP DOI BibTeX RDF |
source code visualization, pixel-filling displays, multiple views, treemaps, source code analysis |
26 | Jie Tao 0001, Wolfgang Karl |
CacheIn: A Toolset for Comprehensive Cache Inspection. |
International Conference on Computational Science (2) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | S. Ramesh, Sampada Sonalkar, Vijay D'Silva, Naveen Chandra, B. Vijayalakshmi |
A Toolset for Modelling and Verification of GALS Systems. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Andrew Lewis, David Abramson 0001, Tom Peachey |
RSCS: A Parallel Simplex Algorithm for the Nimrod/O Optimization Toolset. |
ISPDC/HeteroPar |
2004 |
DBLP DOI BibTeX RDF |
Nelder-Mead algorithm, optimization, Parallel programming |
26 | Harold 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. |
TestCom |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Brandon Eames, Ted Bapty, Ben Abbott, Sandeep Neema, Kumar Chhokra |
Model-Integrated Design Toolset for Polymorphous Computer-Based Systems. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Muhammad Ali Babar 0001 |
An Experience of Applying Architecture-based Approach to Build a Component-based Requirements Management Toolset. |
COMPSAC |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Julien Bourgeois, François Spies, M. J. Zemerly, Thierry Delaitre |
Chronos: a Performance Characterization Tool Inside the EDPEPPS Toolset. |
J. Supercomput. |
2000 |
DBLP DOI BibTeX RDF |
CPU modeling, cache memory modeling, parallel programing environments, Performance characterization |
26 | Iosif Legrand, Harvey B. Newman |
The MONARC toolset for simulating large network-distributed processing systems. |
WSC |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor |
Cronos: A Separate Compilation Toolset for Modular Esterel Applications. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Ulf Lindqvist, Phillip A. Porras |
Detecting Computer and Network Misuse through the Production-based Expert System Toolset (P-BEST). |
S&P |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Constance L. Heitmeyer |
Using the SCR* Toolset to Specify Software Requirements. |
WIFT |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Thierry 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. |
Euro-Par |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Alex E. Bell |
An Alternative Toolset for Analysis of Ada Programs. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
|
26 | John 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. |
CASCON |
1994 |
DBLP BibTeX RDF |
|
26 | Alessandro Giovini, Franco Morando, Antonio Capani |
Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
26 | N. Serdar Uckun, Benoit M. Dawant, Kazuhiko Kawamura |
NetGraph: an object-oriented graphical toolset for risk assessment. |
IEA/AIE (1) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Axel Mahler, Andreas Lampen |
An Integrated Toolset for Engineering Software Configurations. |
Software Development Environments (SDE) |
1988 |
DBLP DOI BibTeX RDF |
|
22 | Charneta Samms, David Jones 0001, Kelly S. Hale, Diane Mitchell |
Harnessing the Power of Multiple Tools to Predict and Mitigate Mental Overload. |
HCI (17) |
2009 |
DBLP DOI BibTeX RDF |
IMPRINT, MIDS, integrated toolset, multimodal, command and control, overload, mental workload |
22 | Marina Mladenova, Boyanka Zhelyazova |
Competitive analysis of software solutions for business organizations. |
CompSysTech |
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 |
22 | David P. Gilliam, John C. Kelly, John D. Powell, Matt Bishop |
Development of a Software Security Assessment Instrument to Reduce Software Security Risk. |
WETICE |
2001 |
DBLP DOI BibTeX RDF |
Security Toolset, Vulnerability Matrix, Model Checking, Security Verification, Property-Based Testing |
19 | Albrecht Schmidt 0001 |
Engineering interactive ubiquitous computing systems. |
EICS |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Paulo Sérgio Santos Jr., João Paulo A. Almeida, Giancarlo Guizzardi |
An ontology-based semantic foundation for ARIS EPCs. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
event-driven process chains (EPCs), business process modeling, ARIS, ontological analysis, foundational ontologies |
19 | Joseph Sifakis |
Component-Based Construction of Heterogeneous Real-Time Systems in Bip. |
Petri Nets |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Jason 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. |
FPGA |
2009 |
DBLP DOI BibTeX RDF |
fpga, architecture, cad |
19 | I-Hsin Chung, Seetharami R. Seelam, Bernd Mohr, Jesús Labarta |
Tools for scalable performance analysis on Petascale systems. |
IPDPS |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Yuki Sakai, Akihito Hiromori, Hirozumi Yamaguchi, Khaled El-Fakih, Teruo Higashino |
An integrated tool for development of overlay services. |
SimuTools |
2009 |
DBLP DOI BibTeX RDF |
petri nets simulation, distributed systems, overlay networks, simulation tools |
19 | Oleg Sokolsky, Insup Lee 0001, Duncan Clarke |
Process-Algebraic Interpretation of AADL Models. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Patrick de Smet |
Semi-automatic Forensic Reconstruction of Ripped-up Documents. |
ICDAR |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Gokhan Gokyer, Semih Cetin, Cevat Sener, Meltem Turhan Yöndem |
Non-functional Requirements to Architectural Concerns: ML and NLP at Crossroads. |
ICSEA |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Pierre Loustau, Thierry Nodenot, Mauro Gaio |
Spatial Decision Support in the Pedagogical Area: Processing Travel Stories to Discover Itineraries Hidden Beneath the Surface. |
AGILE Conf. |
2008 |
DBLP DOI BibTeX RDF |
travel stories, retrieval, Spatial Decision Support, itinerary |
19 | Rahn C. Rahn, Youn-Kyung Lim, Dennis P. Groth |
Redesigning video analysis: an interactive ink annotation tool. |
CHI Extended Abstracts |
2008 |
DBLP DOI BibTeX RDF |
evaluation, user experience, user centered design, annotation, video analysis, information management, user research |
19 | John Derrick, Siobhán North, Anthony J. H. Simons |
Z2SAL - Building a Model Checker for Z. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
model-checking, Z, SAL |
19 | Slavko Gajin, Vedrin Jeliazkov, Constantinos Kotsokalis, Yannis Mitsos |
Seamless Integration of Network Management Tools in a Multi-Domain Environment. |
Integrated Network Management |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Lisa Bahler, Francesco Caruso, Josephine Micallef |
A Practical Method and Tool for Systems Engineering of Service-Oriented Applications. |
WISE |
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][ >>] |
|