The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase System Specification (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1969-1986 (15) 1988-1989 (20) 1990-1991 (17) 1992-1993 (24) 1994-1995 (24) 1996-1997 (31) 1998 (25) 1999 (34) 2000 (44) 2001 (47) 2002 (32) 2003 (32) 2004 (38) 2005 (36) 2006 (43) 2007 (46) 2008 (32) 2009 (33) 2010-2012 (20) 2013-2017 (24) 2018-2019 (12)
Publication types (Num. hits)
article(146) book(1) incollection(6) inproceedings(471) phdthesis(5)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 767 occurrences of 485 keywords

Results
Found 629 publication records. Showing 629 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
36Amir Pnueli System Specification and Refinement in Temporal Logic. Search on Bibsonomy FSTTCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF stuttering robustness, simulation, Temporal logic, validation, refinement, requirement specification, system specification, temporal semantics
26HyungJong Kim System Specification Based Network Modeling for Survivability Testing Simulation. Search on Bibsonomy ICISC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Survivability, Simulation Model, Vulnerability Analysis, System Specification, DEVS-Formalism
25Aki Watanabe, Ken Sakamura A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards. Search on Bibsonomy ICSE The full citation details ... 1996 DBLP  BibTeX  RDF ITRON2 real time multi task operating system specification, SBATCG method, abstract state transitions, commercially available ITRON2 implementations, fault exposure abilities, open operating system standards, specification based adaptive test case generation strategy, real-time systems, formal specification, specification languages, program testing, open systems, templates, Z, operating systems (computers), multiprogramming, integration testing, mutation analysis, Z notation, software standards, formal specification languages, model based specification, fault detecting ability, internal structure
23François Lustman Specifying Transaction-Based Information Systems with Regular Expressions. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF transaction-based information systems, interactive information systems, transformational paradigm, classical Waterfall development model, transaction-oriented method, concurrent regular expressions, operational requirements, connect/disconnect transactions, all-or-nothing principle, serial product automaton, concurrent expression, formal specification, formal specification, information systems, systems analysis, systems analysis, transaction processing, formal language, regular expressions, software specification, SPA, high-level specification
23Ann E. Kelley Sobel, Richard C. Linger Advances in Software Specification and Verification - Minitrack Introduction. Search on Bibsonomy HICSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
22Ann E. Kelley Sobel, Richard C. Linger Advances in Software Specification and Verification - Introduction. Search on Bibsonomy HICSS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
22Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel KIV 3.0 for Provably Correct Systems. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Fernando Herrera, Eugenio Villar A framework for embedded system specification under different models of computation in SystemC. Search on Bibsonomy DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF SystemC, heterogeneous specification
21Joey W. Coleman Determining the Specification of a Control System: An Illustrative Example. Search on Bibsonomy RODIN Book The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Pierluigi San Pietro, Angelo Morzenti, Sandro Morasca Generation of Execution Sequences for Modular Time Critical Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF time critical systems, modular notations, formal specifications, Functional testing, structural testing, specification testing
20Perry Alexander, Roshan Kamath, David Barton System Specification in Rosetta. Search on Bibsonomy ECBS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
19Karlheinz Agsteiner, Dieter Monjau, Sören Schulze Automating system construction by domain based approaches. Search on Bibsonomy EUROMICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF system construction, domain based approaches, target system, abstract system specification, formal specification, specification, requirements, VHDL, digital systems, object-oriented approach, RISC processors
19Riccardo Mattolini, Paolo Nesi An Interval Logic for Real-Time System Specification. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF real-time systems, first order logic, verification and validation, Formal specification language, temporal interval logic
19Pierfrancesco Bellini, Paolo Nesi Communicating TILCO: A Model for Real-Time System Specification. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF real-time systems, first order logic, verification and validation, formal specification language, temporal interval logic
19Partha S. Roop, Arcot Sowmya Hidden time model for specification and verification of embedded systems. Search on Bibsonomy ECRTS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
19Angelo Morzenti, Pierluigi San Pietro An Object-Oriented Logic Language for Modular System Specification. Search on Bibsonomy ECOOP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
19R. Miller, H. Carter, K. Davis, S. Venkatesan Hardware/software cosynthesis: multiple constraint satisfaction and component retrieval. Search on Bibsonomy ICECCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF hardware software cosynthesis, multiple constraint satisfaction, high-level system specification, constraint-driven retrieval, candidate solution evaluation, cosynthesis tool, multiple design constraints, two constraint Fidducia-Matheyses approach, flexible component retrieval, design database, ad hoc querying, systems analysis, hardware description language, design space, component retrieval
18Victor V. Kuliamin, Nick V. Pakoulin, Alexandre Petrenko Practical Approach to Specification and Conformance Testing of Distributed Network Applications. Search on Bibsonomy ISAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF asynchronous events specification, distributed system specification, formalization of standards, automated test construction, specification extension of programming language, test oracle generation, UniTesK, model based testing, conformance testing, Design by Contract
18David W. Cordes, Doris L. Carver Generating a requirements specifications knowledge-base. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
17Samar Abdi, Daniel Gajski On deriving equivalent architecture model from system specification. Search on Bibsonomy ASP-DAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17V. Kasurinen, Kaisa Sere Integrating Action Systems and Z in a Medical System Specification. Search on Bibsonomy FME The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
17King Sing Cheung, K. O. Chow Elimination of Duplicate Labels in Petri-Net-Based System Specification. Search on Bibsonomy CIT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida Component-Based Algebraic Specification and Verification in CafeOBJ. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
16Alan R. Hevner, Richard C. Linger, Ann E. Kelley Sobel, Gwendolyn H. Walton The Flow-Service-Quality Framework: Unified Engineering for Large-Scale, Adaptive Systems. Search on Bibsonomy HICSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF distributed systems, workflows, Component-based systems, system specification
16Pau Fonseca i Casas Transforming classic Discrete Event System Specification models to Specification and Description Language. Search on Bibsonomy Simulation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
16Sophie Dupuy Couplage de notations semi-formelles et formelles pour la spécification des systèmes d'information. (Integrating semi-formal and formal notations for information system specification). Search on Bibsonomy 2000   RDF
16Serguei A. Mokhov, Emil Vassev Autonomic specification of self-protection for distributed MARF with ASSL. Search on Bibsonomy C3S2E The full citation details ... 2009 DBLP  DOI  BibTeX  RDF autonomic system specification language (ASSL), distributed modular audio recognition framework (DMARF), pattern recognition, autonomic computing, self-protection
16Filip Thoen, Marco Cornero, Gert Goossens, Hugo De Man Real-time multi-tasking in software synthesis for information processing systems. Search on Bibsonomy ISSS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF automatic processor mapping, automatically generated application-specific solution, concurrent process system specification, flexible execution models, hardware resource utilization, information processing systems, internal representation model, mobile satellite communication, personal terminal receiver demodulator, real-time multi-tasking, static information, time utilization, real-time systems, embedded systems, concurrency control, processor scheduling, timing constraints, computer aided software engineering, software synthesis, multiprocessing programs
16Arturo I. Concepcion, Bernard P. Zeigler DEVS Formalism: A Framework for Hierarchical Model Development. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF hierarchical model development, distributed simulator architectures, Discrete Event System Specification, hierarchical model specification, top-down model development, software engineering, distributed processing, programming theory, DEVS, model representation, discrete event models
16Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto A GUI and testing tool for SOFL. Search on Bibsonomy APSEC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF VDM-SL, SOFL specification construction, SOFL specification testing tool, formal specification, Petri nets, Petri nets, graphical user interfaces, graphical user interface, software tools, system design, specification languages, formal language, object-oriented languages, modules, object-oriented methods, object-oriented method, classes, system specification, flowcharting, data flow diagrams, structured method
16Alfs T. Berztiss The software process and application domains. Search on Bibsonomy ISPW The full citation details ... 1996 DBLP  DOI  BibTeX  RDF pattern library, car rental, hotel room booking, information systems, software reuse, software reusability, software process model, software products, application domains, system specification
15Jeffrey J. P. Tsai, Steve Jennhwa Yang, Yao-Hsiung Chang Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF real-time systems, Petri nets, synthesis, timing analysis, Timing constraints, time Petri nets, timed Petri nets, specification and verification
15Satoshi Yamane Formal Timing Verification Techniques for Distributed System . Search on Bibsonomy FTDCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF language inclusion algorithm, formal specification, timing verification, timed automaton
15Ryuji Tsuchiya, Akihiko Matsuoka, Koichi Goto, Kiyotaka Seki, Takahiko Ogino Requirement-driven Approach to Interoperable Traveler Support System Specification. Search on Bibsonomy RE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
15Fernando Herrera, Eugenio Villar A framework for heterogeneous specification and design of electronic embedded systems in SystemC. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF SystemC, models of computation, Heterogeneous specification
15Francesco Curatelli, Leonardo Mangeruca, Marco Chirico A Message-Passing Communication Scheme for System Specification. Search on Bibsonomy EUROMICRO The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
15Ed Brinksma, Rom Langerak, Peter Broekroelofs Functionality Decomposition by Compositional Correstness Preserving Transformation. Search on Bibsonomy CAV The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
14William J. Bolosky, John R. Douceur, Jon Howell The Farsite project: a retrospective. Search on Bibsonomy Operating Systems Review The full citation details ... 2007 DBLP  DOI  BibTeX  RDF formal system specification, serverless distributed file system, system design iteration, tech transfer, software engineering, project management, distributed debugging
14Kevin Lano Reactive System Specification and Refinement. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
14John-Jules Ch. Meyer, Roel J. Wieringa Actor-Oriented System Specification with Dynamic Logic. Search on Bibsonomy TAPSOFT, Vol.2 The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Subject area Specification of systems, combining different logics
14Shane Sendall, Alfred Strohmeier Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML. Search on Bibsonomy UML The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Software System Specification, Unified Modeling Language (UML), Concurrent Programming, Timing Constraints, Object Constraint Language (OCL), Pre- and Postcondition
14Carlo A. Furia, Matteo Pradella, Matteo Rossi Comments on temporal logics for real-time system specification. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Temporal logic
14Carlo A. Furia, Angelo Morzenti, Matteo Pradella, Matteo Rossi Comments on "An Interval Logic for Real-Time System Specification'. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF real-time systems, Formal methods, temporal logic
14Steven Eker, José Meseguer, Ambarish Sridharanarayanan The Maude LTL Model Checker and Its Implementation. Search on Bibsonomy SPIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
14Cristiana Bolchini, Luigi Pomante, Fabio Salice, Donatella Sciuto Reliability Properties Assessment at System Level: A Co-Design Framework. Search on Bibsonomy J. Electronic Testing The full citation details ... 2002 DBLP  DOI  BibTeX  RDF partitioning, system specification, hw/sw co-design, hardware fault detection
13Sandy Tyndale-Biscoe, Bryan Wood Machine responsibility-how to deal with it. Search on Bibsonomy EDOC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF machine responsibility, Enterprise Language, Open Distributed Processing, distributed processing, Reference Model, enterprise modelling, IT systems, system specification, RM-ODP
13M. Esen Tuna, Kamlesh Rath, Steven D. Johnson Specification and synthesis of bounded indirection. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1995 DBLP  DOI  BibTeX  RDF bounded indirection, complex control structures, dynamic connections, control state indirection, value indirection, net indirection, behavior tables, data path descriptions, DMA controller, formal specification, high level synthesis, finite state machines, interrupts, interrupts, continuations, hardware description languages, hardware description languages, pointers, system specification, data flow computing, control system CAD
13Stephen W. Neal, Peter F. Linington Tool Support for Development Using Patterns. Search on Bibsonomy EDOC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
13Chantana Chantrapornchai, Sissades Tongsima, Edwin Hsing-Mean Sha Rapid Prototyping Techniques for Fuzzy Controllers. Search on Bibsonomy ASIAN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
13Shoupeng Han, Kedi Huang Equivalent Semantic Translation from Parallel DEVS Models to Time Automata. Search on Bibsonomy International Conference on Computational Science (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Discrete Event System Specification (DEVS), Timed Transition System (TTS), Timed Automata (TA), Semantic Equivalence
13Paul R. Taylor Problem Frames and Object-Oriented Software Architecture. Search on Bibsonomy TOOLS (37) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF object oriented software architecture, systemic problems, modern software development, problem space orientation, solution space concerns, generic problem structural patterns, structural driver, reference software architecture, business component design, software architecture, object-oriented programming, business data processing, object oriented framework, system specification, software standards, problem frames
13Bernard P. Zeigler, Doohwan Kim Design of High Level Modelling / High Performance Simulation Environments. Search on Bibsonomy Workshop on Parallel and Distributed Simulation The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Discrete Event System Specification, Distributed Parallel Simulation, Containers Classes, Watershed Modelling, Connection Machine CM-5, Geographical Information System, Object-oriented Programming
13Lihua Xu, Marcio S. Dias, Debra J. Richardson Generating Regression Tests via Model Checking. Search on Bibsonomy COMPSAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Model Checking, Formal Specification, Software Testing, Regression Testing
13José Manuel Moya, Francisco Moya, Juan Carlos López, Santiago Domínguez A Flexible Specification Framework for Hardware-Software Codesign. Search on Bibsonomy DATE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
13Stefan Andrei, Albert Mo Kim Cheng Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension. Search on Bibsonomy RTSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
13Cristiana Bolchini, Fabio Salice, Donatella Sciuto, Luigi Pomante Reliable System Specification for Self-Checking Data-Paths. Search on Bibsonomy DATE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
13Noriaki Yoshiura Decision Procedures for Several Properties of Reactive System Specifications. Search on Bibsonomy ISSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Specification Description, Temporal Logic, Reactive System
12Xiang Yin 0001, John C. Knight, Elisabeth A. Nguyen, Westley Weimer Formal Verification by Reverse Synthesis. Search on Bibsonomy SAFECOMP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF formal methods, Formal verification, software dependability
12Bjørnar Solhaug, Ketil Stølen Compositional Refinement of Policies in UML - Exemplified for Access Control. Search on Bibsonomy ESORICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF policy adherence, access control, UML sequence diagrams, Policy specification, policy refinement
12Alena Tsikhanovich, El Mostapha Aboulhamid, Guy Bois A Methodology for Hw/Sw Specification and Simulation at Multiple Levels of Abstraction. Search on Bibsonomy IWSOC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Martin Leucker, Thomas Noll Rapid Prototyping of Specification Language Implementations. Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
12Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF simulation, model checking, verification, formal methods, specification, abstraction, Requirements, consistency checking, safety analysis, SCR
12Ralf Sommer, Irmtraud Rugen-Herzig, Eckhard Hennig, Umberto Gatti, Piero Malcovati, Franco Maloberti, Karsten Einwich, Christoph Clauß, Peter Schwarz, G. Noessing From System Specification To Layout: Seamless Top-Down Design Methods for Analog and Mixed-Signal Applications. Search on Bibsonomy DATE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
12Kenneth J. Turner Test generation for radiotherapy accelerators. Search on Bibsonomy STTT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Lotos (Language Of Temporal Ordering Specification), Test generation, Accelerator, Radiotherapy
12Tim Schattkowsky, Wolfgang Müller 0003 Model-Based Design of Embedded Systems. Search on Bibsonomy ISORC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Mehdi Dastani, Leendert W. N. van der Torre Games for Cognitive Agents. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12Hans Weigand, Aldo de Moor, Willem-Jan van den Heuvel Supporting the Evolution of Workflow Patterns for Virtual Communities. Search on Bibsonomy HICSS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
12Giulio Gorla, Eduard Moser, Wolfgang Nebel, Eugenio Villar System Specification Experiments on a Common Benchmark. Search on Bibsonomy IEEE Design & Test of Computers The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
12James J. Nutaro On constructing optimistic simulation algorithms for the discrete event system specification. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF discrete-event simulation, parallel simulation, DEVS, Time Warp
12Emil Vassev, Joey Paquet ASSL - Autonomic System Specification Language. Search on Bibsonomy SEW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
12Pierfrancesco Bellini, Paolo Nesi, Davide Rogai Reply to Comments on "An Interval Logic for Real-Time System Specification'. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF TILCO, conciseness, temporal logic, Formal language, interval temporal logic
12Leandro Buss Becker, Carlos Eduardo Pereira, Octávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira MOSYS A Methodology for Automatic Object Identification from System Specification. Search on Bibsonomy ISORC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
11Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott LTL Model Checking. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
11Carlo Brandolese, William Fornaciari, Luigi Pomante, Fabio Salice, Donatella Sciuto Affinity-Driven System Design Exploration for Heterogeneous Multiprocessor SoC. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2006 DBLP  DOI  BibTeX  RDF embedded systems, metrics, System-on-Chip, multiprocessor systems, heterogeneous systems, codesign
11Insu Song, Guido Governatori A Compact Argumentation System for Agent System Specification. Search on Bibsonomy STAIRS The full citation details ... 2006 DBLP  BibTeX  RDF
11L. P. M. Benders, M. P. J. Stevens TL: A system specification system. Search on Bibsonomy Microprocessing and Microprogramming The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
11Alistair G. Sutcliffe, W. J. Black, Pericles Loucopoulos System Specification Semantics: Defining the Knowledge Captured by Structured System Development Methods in Conceptual Models. Search on Bibsonomy ISCO The full citation details ... 1989 DBLP  BibTeX  RDF
11Manfred Broy From system requirements documents to integrated system modeling artifacts. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2009 DBLP  DOI  BibTeX  RDF integrated artifact models, tool support
11Wing Lok Yeung, Karl R. P. H. Leung A Synergistic Interweaving of Formal and Informal Methods. Search on Bibsonomy COMPSAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Informal Methods, JSD, Formal Methods, CSP, Structured Methods, Method Integration
11Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena, L. C. M. Nova Formal Specification of Reusable Interface Objects. Search on Bibsonomy SSR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
11José Luis Risco-Martín, Saurabh Mittal, M. A. López-Peña, Jesús Manuel de la Cruz A W3C XML schema for DEVS scenarios. Search on Bibsonomy SpringSim (2) The full citation details ... 2007 DBLP  BibTeX  RDF DEVS (Discrete EVent System Specification), XML (eXtensible Markup Language), meta-model, XML-Schema, meta-language
11Pramod Chandraiah, Rainer Dömer Pointer re-coding for creating definitive MPSoC models. Search on Bibsonomy CODES+ISSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF re-coding, MPSoC, pointers, system specification
11Yujian Fu, Zhijiang Dong, Xudong He Modeling, validating and automating composition of web services. Search on Bibsonomy ICWE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF service oriented system specification, petri nets, temporal logic, verification and validation, software architecture model
11Denise M. Woit Requirements interaction management in an eXtreme programming environment: a case study. Search on Bibsonomy ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF requirements interaction management, requirements engineering, system analysis, extreme programming, dependency analysis, interaction analysis, system specification, user stories
11William N. Robinson, Suzanne D. Pawlowski, Vecheslav Volkov Requirements interaction management. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF KATE, WinWin, deficiency driven design, distributed intentionality, software cost reduction (SCR)., Requirements engineering, system architecture, dependency analysis, viewpoints, interaction analysis, system specification, KAOS, Telos, composite system, Oz, analysis and design
11Brendan P. Mahony, Jin Song Dong Timed Communicating Object Z. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Software/system specification, real-time systems, formal methods, concurrency, CSP, object-oriented modeling, Z
11Andrew Hussey Formal Object-Oriented User-Interface Design. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Interactive-system specification and design, UAN, object-orientation, Object-Z
11Jesús Manuel Almendros-Jiménez, Luis González-Jiménez The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design. Search on Bibsonomy APSEC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF LAST project, information system specification, LAST-UML, user interfaces, user interface, formal method, information systems, specification languages, linear algebra, linear algebra, algebraic specification, set theory, set theory, computer aided software engineering, CASE tool, information system design
11Christopher A. Rouff, James L. Rash, Michael G. Hinchey Experience Using Formal Methods for Specifying a Multi-Agent System. Search on Bibsonomy ICECCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF multi-agent system specification, Lights Out Ground Operations System, prototype multi agent system, satellite ground operations functions, NASA Goddard Space Flight Center, GSFC, specification exercise, specification process, sample specification, formal specification, formal methods, deadlocks, race conditions, LOGOS, omissions, development team
11Rafael Ramírez 0001 A logical approach for specification and execution of concurrent real-time systems. Search on Bibsonomy RTCSA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF logical approach, concurrent real time system specification, declarative logic programming based language, concurrent real time programming, procedural interpretation, concurrent programming paradigms, kernel language, concurrent real time object oriented framework, correctness, temporal constraints, safety properties, logic programming languages, time requirements
11Frits Feldbrugge Petri Net Tool Overview 1992 Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1991 DBLP  DOI  BibTeX  RDF net theory, simulation, performance analysis, Petri Nets, computer aided design, tools, system analysis, system specification, system validation
11Jan J. M. M. Rutten Nonwellfounded Sets and Programming Language Semantics. Search on Bibsonomy MFPS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF transition system specification, nonwellfounded sets, anti-foundation-axiom, interpretation, bisimulation, compositionality, labelled transition system, Structured operational semantics
11Frits Feldbrugge Petri net tool overview 1989. Search on Bibsonomy European Workshop on Applications and Theory in Petri Nets The full citation details ... 1988 DBLP  DOI  BibTeX  RDF net theory, simulation, performance analysis, Petri Nets, computer aided design, tools, system analysis, system specification
10Guido Wimmel, Jan Jürjens Specification-Based Test Generation for Security-Critical Systems Using Mutations. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF E-Commerce Systems, Security-Critical Systems, Validation and Analysis, Computer-aided Software Engineering (CASE), Formal Methods, Test Case Generation, Test Specification, AutoFocus
10Christof Fetzer Timed Asynchronous Distributed Systems. Search on Bibsonomy LADC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
10Hehua Zhang, Stephan Merz, Ming Gu 0001 Specifying and Verifying PLC Systems with TLA+. Search on Bibsonomy TASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
10Guilan Dai, Xiaoying Bai, Chongchong Zhao A Framework for Time Consistency Verification for Web Processes Based on Annotated OWL-S. Search on Bibsonomy GCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
10John C. Knight, Matthew C. Elder Fault Tolerant Distributed Information Systems. Search on Bibsonomy ISSRE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
10Henrikas Pranevicius The Use of Aggregate and Z Formal Methods for Specification and Analysis of Distributed Systems. Search on Bibsonomy ADBIS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF aggregate approach, logistics centre, simulation, Distributed systems, formal specification, validation, Z specification language
10Angelo Morzenti, Pierluigi San Pietro Object-Oriented Logical Specification of Time-Critical Systems. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF TRIO+, real-time systems, formal specifications, temporal logic, first-order logic, object-oriented methodologies, model-theoretic semantics
Displaying result #1 - #100 of 629 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license