Search results for "Specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
74	Takeshige Miyoshi, Motoei Azuma	An Empirical Study of Evaluating Software Development Environment Quality.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	software development environment quality, FASET, software quality evaluation process model, ISO/IEC 9126, algebraic specification method, function-oriented specification, natural-language-oriented specification, diagrammatic specification, state-transition-oriented, formal specification, specification, software quality, programming environments, declarative specification, model-based specification
63	M. Cecilia Bastarrica, Steven A. Demurjian, Alexander A. Shvartsman	Comprehensive Specification of Distributed Systems Using I5 and IOA.	SCCC	2000	DBLP DOI BibTeX RDF	distributed systems specification, incompatible components, IOA formal language, I5 specification framework, architectural definition, semantic specification, software architecture, formal specification, standardization, distributed processing, specification languages, specification language, communication protocols, configuration management, configuration management
63	Aki Watanabe, Ken Sakamura	A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards.	ICSE	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
62	Kentaro Go, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori	Automatic modification of a protocol specification based on changes of a service specification.	ICPADS	1996	DBLP DOI BibTeX RDF	verification, formal specification, protocols, validation, Labelled Transition System, service specification, protocol specification
61	Savi Maharaj, Juan Bicarregui	On the Verification of VDM Specification and Refinement with PVS.	ASE	1997	DBLP DOI BibTeX RDF	VDM specification, VDM formal method, PVS theorem prover, VDM-SL specification translation, PVS specification language, transparent translation methods, specification type-checking, nontrivial validation conditions, abstract specification, shallow embedding technique, verification, formal specification, proof rules
59	Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel	Hybrid specification of control systems.	ICECCS	1995	DBLP DOI BibTeX RDF	control system development, hybrid specification, formal software specification language, multidisciplinary development, control models, ASTRAL specifications, MatLab software packages, discrete subsystems, continuous subsystems, robot control system, continuous system models, simulation, simulation, formal specification, robots, formal verification, formal verification, specification languages, specification language, control theory, control theory, system behavior, control system CAD, discrete time systems, continuous time systems
58	Nancy G. Leveson, Mats Per Erik Heimdahl, Holly Hildreth, Jon Damon Reese	Requirements Specification for Process-Control Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	aircraft instrumentation, example application, industrial aircraft collision avoidance system, TCAS II, example specification, formal requirements specification, formal specification, reverse engineering, specification languages, specification language, formal model, requirements specification, process control, aerospace computing, process-control systems, position control, process computer control
56	William G. Howerton, Michael G. Hinchey	Using the Right Tool for the Job.	ICECCS	2000	DBLP DOI BibTeX RDF	integration phases, development technique, informal specification techniques, abstract highly structured models, rigorous analysis, Air Force Weather Agency Standard Degribber, meteorological system, data decoding/encoding, World Meteorological Organization, standard Gridded Binary format, state based issues, complete specification, tool box approach, UML, formal specification, formal methods, semantics, software specification, specification technique, formal notation, modular approach, component specification, complex systems development
52	Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang	A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	nonmonotonic Horn clause logic, formal requirement specification language, frame-and-rule oriented requirement specification language, FRORL, surface syntax, hierarchical relationships, formal specification, object oriented, knowledge representation, prototyping, specification languages, inheritance, reusability, frames, software development environment, C language, production rules, multiple inheritance, Horn clauses, logic programming languages, executability, hybrid knowledge representation
51	Eduardo B. Fernández, Robert B. France	Formal specification of real-time dependable systems.	ICECCS	1995	DBLP DOI BibTeX RDF	real-time dependable systems, analyzable specifications, specification analysis techniques, fault-tolerant quality, security quality, safety-critical quality, behavioral quality, precise specification language, formal reasoning systems, nonfunctional qualities, multilevel description, real-time systems, formal specification, formal specification, specification languages, security of data, software fault tolerance, consistency check, safety-critical software, system monitoring
49	François Lustman	Specifying Transaction-Based Information Systems with Regular Expressions.	IEEE Trans. Software Eng.	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
49	Soon-Kyeong Kim, David A. Carrington	An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study.	APSEC	2000	DBLP DOI BibTeX RDF	lighting control, Object-Z specifications, precise understandable specification, light control system, graphical specification technique, formal specification technique, semantic translation, real-time interactive embedded system, Unified Modeling Language, formal specification, case study, specification languages, systems analysis, object-oriented languages, object-oriented methods, diagrams, requirements elicitation, sequence diagrams, functional model, UML diagrams, integrated framework, use case diagrams, statechart diagrams
48	Daniel Hoffman, Richard T. Snodgrass	Trace Specifications: Methodology and Models.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	trace specification language, trace specification methodology, specification consistency, executable prototypes, formal specification, formal specification, specification languages
48	Reino Kurki-Suonio	Incremental Specification with Joint Actions: The RPC-Memory Specification Problem.	Formal Systems Specification	1994	DBLP DOI BibTeX RDF
45	F. Keith Hanna, Neil Daeche, Mark Longley	Veritas+: A Specification Language Based on Type Theory.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF	Formal verification, Specification languages, Type theory
45	José A. Troyano, Jesús Torres 0001, Miguel Toro	A technique for distributed systems specification.	PDP	1995	DBLP DOI BibTeX RDF	distributed systems specification, object-oriented specification language, dining philosophers problem, formal specification, distributed algorithms, distributed processing, concurrency control, specification languages, distributed programming, object-oriented languages, transition system, algebraic model, algebraic data types, object attributes, transition rules
44	Sophie Coudert, Gilles Bernot, Pascale Le Gall	Hierarchical Heterogeneous Specifications.	WADT	1998	DBLP DOI BibTeX RDF	structured specification, heterogeneous proof, formal specification, modularity, algebraic specification, proof theory, logical framework, inference system, heterogeneous specification
44	Christopher A. Rouff, James L. Rash, Michael G. Hinchey	Experience Using Formal Methods for Specifying a Multi-Agent System.	ICECCS	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
43	Ken Robinson	Reconciling Axiomatic and Model-Based Specifications Using the B Method.	ZB	2000	DBLP DOI BibTeX RDF	formal specification, refinement, B Method, axiomatic, model-based
43	Ted J. Biggerstaff	Factored Specifications In The Synthesis Of LISP Functions.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Automatic program synthesis, Factored specifications, LISP programs, LISP, Program specification
43	Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright	Parameter Passing in Algebraic Specification Languages.	Program Specification	1981	DBLP DOI BibTeX RDF
43	Hirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino	Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets.	Distributed Comput.	2003	DBLP DOI BibTeX RDF	Protocol re-synthesis, Distributed system, Petri net, Service specification, Protocol specification, Protocol synthesis
42	Deepinder P. Sidhu, Juan Aristizabal	Constructing Submodule Specifications and Network Protocols.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	submodule specifications, module specification, formal specification, formal specification, protocols, software tools, finite-state machine, communication protocols, network protocols, finite automata, automated tool, execution sequences
42	Christopher Paul Gerrard, Derek Coleman, Robin M. Gallimore	Formal Specification and Design Time Testing.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	design time testing, executable specification language OBJ, formal specification, formal specification, specification languages, regularity, uniformity
42	Jian Chen, Richard H. Carver	Selecting and mapping test sequences from formal specifications of concurrent programs.	HASE	1996	DBLP DOI BibTeX RDF	test sequence selection, incremental testing, specification partitioning, constraint-style Lotos specification, abstract test sequences, concrete test sequences, Ada implementation, formal specification, formal specifications, concurrent programs, specification-based testing, state explosion problem
41	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
41	Sandrine Blazy, Frédéric Gervais, Régine Laleau	Reuse of Specification Patterns with the B Method.	ZB	2003	DBLP DOI BibTeX RDF	Design pattern, reuse, B, specification pattern
41	Jörg Ackermann 0002, Klaus Turowski	A Library of OCL Specification Patterns for Behavioral Specification of Software Components.	CAiSE	2006	DBLP DOI BibTeX RDF	Component-Based Information Systems, Software Component Specification, OCL Specification Patterns
41	Johan Blom, Bengt Jonsson 0001	Constraint Oriented Temporal Logic Specification.	Formal Systems Specification	1994	DBLP DOI BibTeX RDF
41	Ketil Stølen	Using Relations to Solve the RPC-Memory Specification Problem.	Formal Systems Specification	1994	DBLP DOI BibTeX RDF
41	Eike Best	A Memory Module Specification Using Composable High-Level Petri Nets.	Formal Systems Specification	1994	DBLP DOI BibTeX RDF
41	Martín Abadi, Leslie Lamport, Stephan Merz	A TLA Solution to the RPC-Memory Specification Problem.	Formal Systems Specification	1994	DBLP DOI BibTeX RDF
41	Manfred Broy, Leslie Lamport	The RPC-Memory Specification Problem - Problem Statement.	Formal Systems Specification	1994	DBLP DOI BibTeX RDF
41	Manfred Broy	A Functional Solution to the RPC-Memory Specification Problem.	Formal Systems Specification	1994	DBLP DOI BibTeX RDF
41	Egidio Astesiano, Gianna Reggio	A Dynamic Specification of the RPC-Memory Problem.	Formal Systems Specification	1994	DBLP DOI BibTeX RDF
41	Rob T. Udink, Joost N. Kok	The RPC-Memory Specification Problem: UNITY+Refinement Calculus.	Formal Systems Specification	1994	DBLP DOI BibTeX RDF
41	Judi Romijn	Tackling the RPC-Memory Specification Problem with I/O Automata.	Formal Systems Specification	1994	DBLP DOI BibTeX RDF
41	Jozef Hooman	Using PVS for an Assertional Verification of the RPC-Memory Specification Problem.	Formal Systems Specification	1994	DBLP DOI BibTeX RDF
41	Hardi Hungar	Specification and Verification Using a Visual Formalism on Top of Temporal Logic.	Formal Systems Specification	1994	DBLP DOI BibTeX RDF
41	Reinhard Gotzhein	Applying a Temporal Logic to the RPC-Memory Specification Problem.	Formal Systems Specification	1994	DBLP DOI BibTeX RDF
41	Michael Schenke	A Timed Specification Language for Concurrent Reactive Systems.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
41	Egidio Astesiano, Maura Cerioli	Multiparadigm Specification Languages: A First Attempt at Foundations.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
41	Rix Groenboom, Gerard R. Renardel de Lavalette	Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
41	Robert Milne	The Formal Basis for the RAISE Specification Language.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
41	Sudhir Aggarwal, Robert P. Kurshan, Krishan K. Sabnani	A Calculus for Protocol Specification and Validation.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
41	S. Aggarwal, Robert P. Kurshan	Modelling Elapsed Time in Protocol Specification.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
41	S. Aggarwal, Robert P. Kurshan, D. Sharma	A Language for the Specification and Analysis of Protocols.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
41	Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt	Interval Logic: A Higher-Level Temporal Logic for Protocol Specification.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
41	Heiko Krumm, Oswald Drobnik	Specification, Implementation, and Verification of Communication Services on the Basis of CIL.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
41	Jean-Michel Ayache, Jean-Pierre Courtiat	LC/1, A Specification and Implementation Language for Protocols.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
41	Harry Rudin	From Formal Protocol Specification Towards Automated Performance Prediction.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
41	Jonathan Billington	Abstract Specification of the ISO Transport Service Definition using Labelled Numerical Petri Nets.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
41	Robert L. Probert, Hasan Ural	Requirements for a Test Specification Language for Protocol Implementation Testing.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
40	Derek Coleman, Robin M. Gallimore	Specification of Distributed Programs.	Program Specification	1981	DBLP DOI BibTeX RDF
40	Jane W. Hughes, Malcolm S. Powell	A Reduction Specification for DTL.	Program Specification	1981	DBLP DOI BibTeX RDF
40	Stacy J. Prowell, Jesse H. Poore	Foundations of Sequence-Based Software Specification.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	sequence-based specification, trace specification, consistency, completeness, correctness, requirements analysis, Software specification
40	Ed Brinksma	Constraint-Oriented Specification in a Constructive Formal Description Technique.	REX Workshop	1989	DBLP DOI BibTeX RDF	constraint-oriented specification, multi-way synchronization, specification styles, synchronization by association, formal specification, refinement, process algebra, LOTOS, parallel composition, conjunction
40	Frederick I. Moxley	On the specification of complex software systems.	ICECCS	1996	DBLP DOI BibTeX RDF	complex software systems specification, Defense Information Infrastructure, Common Operating Environment, distributed heterogeneous information systems, starwars missile defence system, formal specification, requirements specification, design specification
39	Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto	A GUI and testing tool for SOFL.	APSEC	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
39	Georg Lehrenfeld, Wolfgang Müller 0003, Christoph Tahedl	Transforming SDL Diagrams into a Complete Visual Representation.	VL	1995	DBLP DOI BibTeX RDF	SDL diagrams, Pictorial Janus programs, timing concepts, Timed PJ, PJ, process diagrams, Ethernet CSMA/CD, formal specification, animation, specification, specification languages, specification language, visual programming, computer animation, visual languages, diagrams, program debugging, program interpreters, visual representation, protocol specification, visual debugging
38	Ella E. Roubtsova, Louis C. M. van Gool, Ruurd Kuiper 0001, H. B. M. Jonkers	Consistent specification of interface suites in UML.	Softw. Syst. Model.	2002	DBLP DOI BibTeX RDF	Consistency of several views, Specification model, UML, Component specification
38	Ted L. Briggs, John Werth	A Specification Language for Object-Oriented Analysis and Design.	ECOOP	1994	DBLP DOI BibTeX RDF	Object Types, Message-Passing, Specification Language, Object-Oriented Design, Object-Oriented Analysis, Object-Oriented Specification
38	P. A. Subrahmanyam	What's in a Timing Discipline? Considerations in the Specification and Synthesis of Systems with Interacting Asynchronous and Synchronous Components.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF
38	Herbert Klaeren	The SRDL Specification Experiment.	Program Specification	1981	DBLP DOI BibTeX RDF
38	Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski	Miró: Visual Specification of Security.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Miro, visual specification of security, file system security, instance language, security specification problems, tools, specification languages, visual programming, security of data, constraint language, arrows, boxes
37	George W. Ernst, Raymond J. Hookway, William F. Ogden	Modular Verification of Data Abstractions with Shared Realizations.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	shared realizations, realization level data structure, abstract specification, data structures, semantics, program verification, specification languages, data abstractions, quantification, modular verification, modular specification
37	Chia-Chu Chiang, Joseph E. Urban	Incremental Elicitation and Formalization of User Requirements through Rapid Prototyping via Software Transformations.	COMPSAC	1996	DBLP DOI BibTeX RDF	incremental elicitation, user specifications, TUG formal specification language, abstract execution, change request scripts, specification changes, timely updates, telegram analysis problem, formal specification, specification languages, rapid prototyping, formalization, software prototyping, user requirements, software transformations
37	Bhed Bahadur Bista, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori	A flexible protocol synthesis method for adopting requirement changes.	ICPADS	1996	DBLP DOI BibTeX RDF	flexible protocol synthesis method, requirement changes adoption, communicating entities, maintenance issue, protocol synthesis method, formal specification language LOTOS, formal specification, protocols, software maintenance, specification languages, protocol specification
37	Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli	A Formal Framework for ASTRAL Intralevel Proof Obligations.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	intralevel proof obligations, formal software development, mathematical correctness, ASLAN, TRIO, real-time systems, real-time systems, verification, formal specification, formal specification, formal methods, finite state machines, program verification, specification languages, state machines, formal specification language, formal proof, timing requirements, ASTRAL
37	Eckehard Schnieder	Specification Methodology, Case Studies, and Experiments - An Introduction to the Subject Area of Traffic Control Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
36	Robi Malik, Partha S. Roop	Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study.	IFM	2005	DBLP DOI BibTeX RDF	embedded systems, Formal verification, finite-state machines, bisimulation, supervisory control, specification matching
36	Satyajit Acharya, Chris George, Hrushikesha Mohanty	Domain Consistency in Requirements Specification.	QSIC	2005	DBLP DOI BibTeX RDF	Consistency Conditions, Testing, Specification, RAISE, RSL
36	Amir Pnueli	System Specification and Refinement in Temporal Logic.	FSTTCS	1992	DBLP DOI BibTeX RDF	stuttering robustness, simulation, Temporal logic, validation, refinement, requirement specification, system specification, temporal semantics
36	David B. Skillicorn, Janice I. Glasgow	Real-Time Specification Using Lucid.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	external requirements, meaning-preserving transformations, behavioral semantics, architectural constraints, real-time systems, real-time systems, formal specification, execution time, proof system, functional specification, real-time properties, Lucid
35	Ib Holm Sørensen	A Specification Language.	Program Specification	1981	DBLP DOI BibTeX RDF
35	Victor V. Kuliamin, Nick V. Pakoulin, Alexander K. Petrenko	Practical Approach to Specification and Conformance Testing of Distributed Network Applications.	ISAS	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
35	Perfecto Mariño, Francisco Poza, Miguel Angel Domínguez, Juan B. Nogueira	Formal specification applied to industrial LAN's design.	EUROMICRO	1997	DBLP DOI BibTeX RDF	industrial LAN design, real-time field bus, PROFIBUS, industrial communication networks, data link layer, FDL, formal specification, formal specification, prototyping, software tools, methodology, LOTOS, data types, performance tests, formal specification language
35	Daniel L. Kiskis, Kang G. Shin	SWSL: A Synthetic Workload Specification Language for Real-Time Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	SWSL, synthetic workload specification language, synthetic workload generator, executable synthetic workload, operation level, control constructs, synthetic operations, real-time workloads, performance evaluation, performance, real-time systems, real-time systems, formal specification, distributed processing, specification languages, distributed real-time systems, data flow graph, dependability measurements
35	Michihiro Matsumoto, Kokichi Futatsugi	The support tool for highly reliable component-based software development.	APSEC	2000	DBLP DOI BibTeX RDF	reliable component-based software development support tool, output reliability, automated refinement verification, automated connector generation, tree architecture, projection-style behavioral specification, refined specification, component combination, Java, software architecture, formal specification, formal verification, software tools, software reliability, requirements specification, subroutines, distributed object management, JavaBeans, development systems, component-based software architecture
35	Dieter Fensel, Arno Schönegge	Using KIV to Specify and Verify Architectures of Knowledge-Based Systems.	ASE	1997	DBLP DOI BibTeX RDF	reusable elements, Karlsruhe interactive verifier, algorithmic specification, interactive theorem prover, proof management, proof reuse, formal specification, formal specifications, knowledge-based systems, specification language, abstract data types, dynamic logic, functional specification
34	Christoph M. Kirchsteiger, Christoph Trummer, Christian Steger, Reinhold Weiss, Markus Pistauer	Specification-based Verification of Embedded Systems by Automated Test Case Generation.	DIPES	2008	DBLP DOI BibTeX RDF
34	Sagi Katz, Orna Grumberg, Daniel Geist	"Have I written enough Properties?" - A Method of Comparison between Specification and Implementation.	CHARME	1999	DBLP DOI BibTeX RDF
33	Aki W. Tomita, Ken Sakamura	Improving Design Dependability by Exploiting an Open Model-Based Specification.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	formal specification, Software testing, Z, software fault tolerance, specification-based testing, on-line error detection
33	Bengt Jonsson 0001	Compositional Specification and Verification of Distributed Systems.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	specification, message passing, compositionality, stepwise refinement, modular specification, assertional reasoning
33	David Alex Lamb	Specification of Iterators.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	trace specifications, common form, iterator module, Alphard-style iterators, sequence iterator, iterator construct, procedural parameters, formal specification, data structures, algebraic specification, high level languages, partial specifications
33	Anh-Dung Phan, Michael R. Hansen, Jan Madsen	EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
33	Manfred Broy	Towards a Theory of Architectural Contracts: - Schemes and Patterns of Assumption/Promise Based System Specification.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
33	Fernando Orejas, Martin Wirsing	On the Specification and Verification of Model Transformations.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
33	Donald Sannella, Martin Wirsing	Specification Languages.	Algebraic Foundations of Systems Specification	1999	DBLP DOI BibTeX RDF
33	Hans-Dieter Ehrich	Object Specification.	Algebraic Foundations of Systems Specification	1999	DBLP DOI BibTeX RDF
33	Egidio Astesiano, Manfred Broy, Gianna Reggio	Algebraic Specification of Concurrent Systems.	Algebraic Foundations of Systems Specification	1999	DBLP DOI BibTeX RDF
33	Horst Reichel	Specification Semantics.	Algebraic Foundations of Systems Specification	1999	DBLP DOI BibTeX RDF
33	Manfred Broy, Stephan Merz, Katharina Spies (eds.)	Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994)	Formal Systems Specification	1996	DBLP DOI BibTeX RDF
33	D. J. Andrews, Jan Friso Groote, Cornelis A. Middelburg (eds.)	Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993	Semantics of Specification Languages	1994	DBLP DOI BibTeX RDF
33	Rance Cleaveland, Jayesh N. Gada, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky, Shipei Zhang	The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems.	Specification of Parallel Algorithms	1994	DBLP DOI BibTeX RDF
33	Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001	Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic.	Specification of Parallel Algorithms	1994	DBLP DOI BibTeX RDF
33	Allen Goldberg, Peter Mills, Lars S. Nyland, Jan F. Prins, John H. Reif, James Riely	Specification and Development of Parallel Algorithms with the Proteus System.	Specification of Parallel Algorithms	1994	DBLP DOI BibTeX RDF
33	Gul A. Agha, WooYoung Kim, Rajendra Panwar	Actor Languages for Specification of Parallel Computations.	Specification of Parallel Algorithms	1994	DBLP DOI BibTeX RDF
33	Manfred Broy, Stephan Merz, Katharina Spies	The RPC-Memory Case Study: A Synopsis.	Formal Systems Specification	1994	DBLP DOI BibTeX RDF
33	Jorge Cuéllar, Dieter Barnard, Martin Huber 0001	A Solution Relying on the Model Checking of Boolean Transition Systems.	Formal Systems Specification	1994	DBLP DOI BibTeX RDF