Search results for "specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Paul C. Grabow, L. Liu	Automatic Generation of C++ Code from an ESCRO2 Specification.	COMPSAC	1995	DBLP DOI BibTeX RDF	ESCRO2, design, real-time, C++, specification, implementation, control system
22	Jan Stelovsky, Hirotsugo Sugaya	A System for Specification and Rapid Prototyping of Application Command Languages.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	application command languages, XS-2 system, application dialogs, command language grammar, nonprocedural description language, command specification, command tree, user interfaces, user interfaces, software tools, software tools, programming environments, programming environments, rapid prototyping, interactive systems, regular expressions, grammars, Modula-2, automatic translation
22	Heather Alexander	Comments on "Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches".	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	Formal specification, prototyping
21	Mamoun Sqali, Lucile Torres, Claudia S. Frydman	Synthesizing scenarios to DEVS models.	SpringSim	2008	DBLP DOI BibTeX RDF	requirement validation and checking, scenarios, DEVS, behavioral specification
21	Satyajit Acharya, Chris George, Hrushikesha Mohanty	Specifying a Mobile Computing Infrastructure and Services.	ICDCIT	2004	DBLP DOI BibTeX RDF	Mobicharts, Mobile Computing, Testing, Specification, RSL
21	Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus	Debugging temporal specifications with concept analysis.	PLDI	2003	DBLP DOI BibTeX RDF	specification debuggers, hierarchical clustering, concept analysis, temporal specifications
21	Alan D. Fekete, Nancy A. Lynch, Alexander A. Shvartsman	Specifying and using a partitionable group communication service.	ACM Trans. Comput. Syst.	2001	DBLP DOI BibTeX RDF	composable building blocks, conditional performance analysis, message-passing protocols, ordered broadcast, total-order broadcast, distributed algorithms, service specification, group communication protocols
21	Matthias Anlauff, Samarjit Chakraborty, Philipp W. Kutter, Alfonso Pierantonio, Lothar Thiele	Generating an action notation environment from Montages descriptions.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Formal specification of programming languages, Generating programming environments and tools, Abstract state machines, Montages, Action semantics
21	Ji Y. Lee, Hye J. Kim, Kyo Chul Kang	A real world object modeling method for creating simulation environment of real-time systems.	OOPSLA	2000	DBLP DOI BibTeX RDF	real-time control software, simulation, verification, validation, requirement specification
21	Graeme Smith 0001	Stepwise Development from Ideal Specifications.	ACSC	2000	DBLP DOI BibTeX RDF	formal specification, refinement, stepwise development
21	Jonathan Jacky	Specifying a Safety-Critical Control System in Z.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	cyclotron, Formal specification, safety, Z, process control, medical applications, radiation therapy
21	Jeffrey J. P. Tsai, Steve Jennhwa Yang, Yao-Hsiung Chang	Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	real-time systems, Petri nets, synthesis, timing analysis, Timing constraints, time Petri nets, timed Petri nets, specification and verification
21	Satoshi Yamane	Formal Timing Verification Techniques for Distributed System .	FTDCS	1995	DBLP DOI BibTeX RDF	language inclusion algorithm, formal specification, timing verification, timed automaton
21	Annette Bunker, Ganesh Gopalakrishnan, Sally A. McKee	Formal hardware specification languages for protocol compliance verification.	ACM Trans. Design Autom. Electr. Syst.	2004	DBLP DOI BibTeX RDF	Heterogeneous Hardware Logic, Hierarchical Annotated Action Diagrams, Lava, Objective VHDL, OpenVera, SpecC, Specification and Description Language, The Unified Modeling Language, Java, Statecharts, SystemC, Message Sequence Charts, Esterel, Live Sequence Charts, timing diagrams, hardware monitors, SystemVerilog, e, Property Specification Language
21	Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi 0001, Hirokazu Yatsu, Alan Wills	Formal specification of Catalysis frameworks.	APSEC	2000	DBLP DOI BibTeX RDF	Catalysis frameworks, informal description, framework composition, formal specification, formal specification, software reuse, software reusability, object-oriented methods, component-based software development, subroutines, formal reasoning
21	Atsushi Ohnishi	Software Requirements Definition for Specification Database.	APSEC	1997	DBLP DOI BibTeX RDF	specification database, software requirements language, requirements definition, software requirements specification
21	John Penix, Perry Alexander, Klaus Havelund	Declarative Specification of Software Architectures.	ASE	1997	DBLP DOI BibTeX RDF	interconnected components, component variation, task coordination architecture, multi-threaded plan execution system, software architectures, formal specification, formal methods, abstraction, system requirements, declarative specification
21	Satoshi Yamane	Verification system for real-time specification based on extended real-time logic.	RTCSA	1995	DBLP DOI BibTeX RDF	extended real-time logic, Timed CTL, verification system, bounded temporal operator, freeze quantification, real-time systems, formal specification, formal verification, temporal logic, real-time specification
21	Bruce W. Weide, Stephen H. Edwards, Douglas E. Harms, David Alex Lamb	Design and Specification of Iterators Using the Swapping Paradigm.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	swapping paradigm, common interface model, user defined iterator abstractions, modular correctness proofs, formal specification, formal specification, formal methods, program verification, program verification, iterators, iterator designs, swapping, proof of correctness, modular reasoning, data encapsulation, imperative languages
21	Yoonsik Cheon, Gary T. Leavens	The Larch/Smalltalk Interface Specification Language.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	Larch/Smalltalk, specification inheritance, verification, formal methods, Smalltalk, Smalltalk, subtype, interface specification, Larch
21	Hee Beng Kuan Tan, Tok Wang Ling, Stan Jarzabek, Yin Seong Ho	The Data Derivation Model: A Program Specification Technique That Improves Reusability.	SAC	1993	DBLP DOI BibTeX RDF	business systems, specification reusability, program specification
21	Pradeep Jain, Simon S. Lam	Specification of Real-Time Broadcast Networks.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	real-time broadcast networks, broadcast bus networks, binary signals, two level wait constructs, Expressnet protocol, collision-free access, model, real-time systems, formal specification, protocols, computer networks, protocols specification, sequential programs, programming constructs, access delay
21	Haruhisa Ichikawa, Masaki Itoh, June Kato, Akira Takura, Masashi Shibasaki	SDE: Incremental Specification and Development of Communications Software.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	SDE, incremental specification and development, formal message sequence specifications, hierarchical verification of protocols, design support environment, PBX, formal specification, protocols, program verification, computer communications software, SAL, communications software
21	Andrew P. Moore	The Specification and Verified Decomposition of System Requirements Using CSP.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	verified decomposition, synchronization requirements, trace model, formal specification, formal method, specification, theorem proving, CSP, synchronisation, system requirements
21	Toshinori Suzuki, Sol M. Shatz, Tadao Murata	A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	conversion rules, automated modeling, input/output behavior, linguistic specifications, LAPD protocol, verification, Petri nets, Petri nets, protocols, program verification, specification language, specification languages, communication protocols, timed Petri net
21	Viara Popova, Alexei Sharpanskykh	Constraint-based modelling and analysis of organisations.	SAC	2009	DBLP DOI BibTeX RDF	consistency of a specification, organisation design, validity of a specification, constraints, organisation modeling
21	Fathi Taibi, Jacob Karikottu Daniel, Fouad Mohammed Abbou	On checking the consistency of Object-Z classes.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	model checking, formal specification, consistency, Object-Z, specification testing, model abstraction
21	Patrice Chalin	Improving JML: For a Safer and More Effective Language.	FME	2003	DBLP DOI BibTeX RDF	behavioral interface specification languages, specification language design and semantics, arbitrary precision numeric types, assertion-based languages, formal methods, JML, Java Modeling Language
21	Anca Muscholl, Doron A. Peled	From Finite State Communication Protocols to High-Level Message Sequence Charts.	ICALP	2001	DBLP DOI BibTeX RDF	HMSC, bounded automata, partial order specification, specification, Message sequence charts
21	Núria Castell, Àngels Hernández	Knowledge Management in the Sarel System.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	Sarel system, specification phase, Assistance System for Writing Software Specifications in Natural Language, knowledge based tool, natural language software specifications, linguistic engineering tools, preliminary software specifications, knowledge base construction, background information, requirements section, requirements base, formal specification, knowledge management, software development process
21	Hans-Arno Jacobsen, Bernd J. Krämer	Modeling Interface Definition Language Extensions.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	interface definition language extensions, module names, interface names, operation signatures, pre-conditions, post-conditions, service quality annotations, real-time annotations, combined modeling language, CORBA middleware platform, semantic aspects specification, XML document type definitions, Extensible Style Language, quality of service, Extensible Markup Language, specification languages, invariants, synchronisation, client-server systems, subroutines, distributed object management, XSL, OMG, hypermedia markup languages, synchronization constraints
21	Alena Griffiths	Modular reasoning in Object-Z.	APSEC	1997	DBLP DOI BibTeX RDF	formal specification validation, modular semantics, object property, system property, partial validation, formal specification, complex systems, Object-Z, proof, modular reasoning, large systems
21	Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor	Formal Methods Pilot Project.	APSEC	1996	DBLP DOI BibTeX RDF	safety-related software development, SVRC Cogito methodology, mathematical consistency checks, formal specification, formal specification, formal methods, validation, hazard analysis, collaborative project, safety requirements, pilot project
21	Jeroen Voeten, P. H. A. van der Putten, M. P. J. Stevens	Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design.	EUROMICRO	1996	DBLP DOI BibTeX RDF	SHE, behaviour-preserving transformations, POOSL, formal specification, architecture design, design framework, formal specification language, formal approach
21	Joanne M. Atlee, John A. McDermid	Integrating requirements analysis and safety analysis.	RE	1995	DBLP DOI BibTeX RDF	system safety requirements, design description, formal specification, systems analysis, requirements analysis, requirements specification, safety critical systems, safety-critical software, safety critical software, functional requirements, safety analysis, high level design
21	Doran Wilde, Sanjay V. Rajopadhye	The naive execution of affine recurrence equations.	ASAP	1995	DBLP DOI BibTeX RDF	algorithmic languages, regular arrays, ALPHA language, computer aided design methodology, regular array architectures, algorithmic specification, imperative sequential language C, applicative caching, 1-dimensional storage, formal specification, circuit CAD, hardware description languages, nested loops, polyhedron, transformational approach, C-code, affine recurrence equations
21	Alvin S. Lim	Automatic analytical tools for reliability and dynamic adaptation of complex distributed systems.	ICECCS	1995	DBLP DOI BibTeX RDF	automatic analytical tools, complex distributed systems, runtime facilities, complex application behavior, reliability, formal specification, distributed processing, software tools, software reliability, software fault tolerance, reachability analysis, liveness, reachability, dynamic adaptation, failure recovery, development environment, behavior specification, group behavior
21	Gruia-Catalin Roman, Rose F. Gamble, William E. Ball	Formal Derivation of Rule-Based Programs.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	efficient concurrent rule-based programs, initial rule-based program, program derivation strategy, UNITY programs, correct rule-based program, static knowledge base, formal specification, parallel programming, logic programming, knowledge based systems, computational model, Swarm, OPS5, specification refinement, correctness criteria, program refinement
21	Robin A. Nicholl	Unreachable States in Model-Oriented Specifications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	unreachable states, model-oriented specifications, detection of errors, bottom-up implementation strategy, formal specification, formal specification, software development, software components
21	David W. Bustard, Adam C. Winstanley	Making Changes to Formal Specifications: Requirements and an Example.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	change technique, formal notation LOTOS, SCAFFOLD project, process-oriented notations, software engineering, formal specification, formal specifications, formal specification, software maintenance, tool, specification languages, process algebra, configuration management, concurrent systems, LOTOS, change control
21	Michael D. Rice, Stephen B. Seidman	A Formal Model for Module Interconnection Languages.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	module interconnection languages, hierarchical module structure design, Z schema type definitions, generic parameters, application-specific declarations, STILE, graphical design environment, formal specification, constraints, programming environments, specification languages, specification language, systems analysis, formal model, development environment, Conic, configuration language
21	Teruo Higashino, Gregor von Bochmann	Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	test case derivation, LOTOS expressions, data parameters, automatic analysis method, P-LOTOS expressions, Boolean types, integer linear programming problems, deadlock detection problem, nonexecutable branch detection, nondeterministic behavior detection, simplified Session protocol, formal specification, linear programming, concurrency control, integer programming, specification languages, specification language, comparison, decision procedure, data types, addition, test selection, Presburger arithmetic, subtraction, integer, data values
21	Béchir el Ayeb	Towards Systematic Contruction of Diagnostic Systems for Large Industrial Plants: Methods, Languages, and Tools.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	industrial plants, systematic construction, large industrial plants, formal specification, artificial intelligence, specification, fault diagnosis, software tools, software tools, graphs, expert systems, specification languages, hierarchies, system engineering, computer integrated manufacturing, diagnostic expert systems, diagnostic systems
21	Riccardo Sisto, Luigi Ciminiera, Adriano Valenzano	A Protocol for Multirendezvous of LOTOS Processes.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	LOTOS processes, multiway rendezvous mechanism, International Standards Organization, LOTOS specification language, global knowledge, distributed execution model, hierarchical topology, performance evaluation, performance, formal specification, formal specification, protocol, protocols, standards, distributed environment, distributed agreement
21	Daniel E. Cooke	Towards a Formalism to Produce a Programmer Assistant CASE Tool.	IEEE Trans. Knowl. Data Eng.	1990	DBLP DOI BibTeX RDF	programmer assistant CASE tool, weak specification method, input constraints, program functions, software engineering, software tools, specification language, specification languages, selections, sequences, iterations, formalism
21	Anne H. H. Ngu	Conceptual Transaction Modeling.	IEEE Trans. Knowl. Data Eng.	1989	DBLP DOI BibTeX RDF	transaction schema, ACM/PCM, static schema, intended transactions, formal specification, data modeling, specification language, specification languages, transaction processing
21	E. Allen Emerson, Jai Srinivasan	Branching time temporal logic.	REX Workshop	1988	DBLP DOI BibTeX RDF	Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis
20	Stephan Flake, Wolfgang Müller 0003, Ulrich Pape, Jürgen Ruf	Specification and Formal Verification of Temporal Properties of Production Automation Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
20	Lars Michael Kristensen, Kurt Jensen	Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
20	Stefan Einer	STOP - Specification Technique of Operational Processes.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
20	Robert M. Hierons, Mark Harman, Harbhajan Singh	Automatically Generating Information from a Z Specification to Support the Classification Tree Method.	ZB	2003	DBLP DOI BibTeX RDF	formal methods, test automation, Z notation, Classification tree method
20	Hong Zhu 0002	The Role of Castes in Formal Specification of MAS.	PRIMA	2001	DBLP DOI BibTeX RDF
20	Anthony Hall	What Does Industry Need From Formal Specification Techniques?	WIFT	1998	DBLP DOI BibTeX RDF
20	Changlong Zhu, Rasha Morsi	Formal specification of FFHMIPv6 using PVS.	SpringSim	2009	DBLP BibTeX RDF	FFHMIPv6 packets, formal methods, handover, PVS
20	Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman, Elaine L. Sonderegger	An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets.	NCA	2008	DBLP DOI BibTeX RDF	Java sockets, dynamic participation, input/output automata, Asynchronous communication
20	Dan He 0001, Abdullah N. Arslan, Yu He, Xindong Wu 0001	Iterative Refinement of Repeat Sequence Specification Using Constrained Pattern Matching.	BIBE	2007	DBLP DOI BibTeX RDF
20	Mohammad Feroz Raihan, Mohammad Zulkernine	AsmLSec: An Extension of Abstract State Machine Language for Attack Scenario Specification.	ARES	2007	DBLP DOI BibTeX RDF
20	Gordon Fraser 0001, Franz Wotawa	Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis.	ICSEA	2006	DBLP DOI BibTeX RDF
20	Yves Ledru, Lydie du Bousquet	Tobias-Z: An executable formal specification of a test generator.	ASE	2006	DBLP DOI BibTeX RDF
20	Keum-Young Sung	Specification with Java IDL for Correctness and Maintainability of Distributed Software System.	ICAS	2006	DBLP DOI BibTeX RDF
20	Wolfgang Nejdl, Daniel Olmedilla, Marianne Winslett, Charles C. Zhang	Ontology-Based Policy Specification and Management.	ESWC	2005	DBLP DOI BibTeX RDF
20	Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby	Extending JML for Modular Specification and Verification of Multi-threaded Programs.	ECOOP	2005	DBLP DOI BibTeX RDF
20	David Coppit, Jennifer M. Haddox-Schatz	On the Use of Specification-Based Assertions as Test Oracles.	SEW	2005	DBLP DOI BibTeX RDF
20	Osmar Marchi dos Santos, Andy J. Wellings	Cost Monitoring and Enforcement in the Real-Time Specification for Java - A Formal Evaluation.	RTSS	2005	DBLP DOI BibTeX RDF
20	Alena Tsikhanovich, El Mostapha Aboulhamid, Guy Bois	A Methodology for Hw/Sw Specification and Simulation at Multiple Levels of Abstraction.	IWSOC	2005	DBLP DOI BibTeX RDF
20	Ling Liu, Huaikou Miao	Mutation Operators for Object-Z Specification.	ICECCS	2005	DBLP DOI BibTeX RDF
20	Sven Overhage	UnSCom: A Standardized Framework for the Specification of Software Components.	Net.ObjectDays	2004	DBLP DOI BibTeX RDF
20	Tim Miller, Paul A. Strooper	A Case Study in Specification and Implementation Testing.	APSEC	2004	DBLP DOI BibTeX RDF
20	Natalia López, Manuel Núñez 0001, Ismael Rodríguez	Formal Specification of Symbolic-Probabilistic Systems.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
20	Koji Okuma, Yasuhiko Minamide	Executing Verified Compiler Specification.	APLAS	2003	DBLP DOI BibTeX RDF
20	Ioannis Parissis, Jérôme Vassy	Thoroughness of Specification-Based Testing of Synchronous Programs.	ISSRE	2003	DBLP DOI BibTeX RDF
20	Paul W. P. J. Grefen, Samuil Angelov	Three-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and WFPDL.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
20	Sven Overhage, Peter Thomas	WS-Specification: Specifying Web Services Using UDDI Improvements.	Web, Web-Services, and Database Systems	2002	DBLP DOI BibTeX RDF
20	Eliezer Kantorowitz, Sally Tadmor	A Specification-Oriented Framework for Information System User Interfaces.	OOIS Workshops	2002	DBLP DOI BibTeX RDF
20	David A. Basin, Frank Rittinger, Luca Viganò 0001	A Formal Analysis of the CORBA Security Service.	ZB	2002	DBLP DOI BibTeX RDF
20	Cléver Ricardo Guareis de Farias, Luís Ferreira Pires, Wanderley Lopes de Souza, Célio Estevan Morón	Specification and Validation of a Real-Time Parallel Kernel Using LOTOS.	MASCOTS	2001	DBLP DOI BibTeX RDF
20	Peter Bielkowicz, Thein Than Tun	A Comparison and Evaluation of Data Requirement Specification Techniques in SSADM and the Unified Process.	CAiSE	2001	DBLP DOI BibTeX RDF
20	Kanna Shimizu, David L. Dill, Ching-Tsun Chou	A Specification Methodology by a Collection of Compact Properties as Applied to the Intel® ItaniumTM Processor Bus Protocol.	CHARME	2001	DBLP DOI BibTeX RDF
20	Ahmed Al-Theneyan, Amol Jakatdar, Mohammad Zubair, Piyush Mehrotra	XML-Based Visual Specification of Multidisciplinary Applications.	CCGRID	2001	DBLP DOI BibTeX RDF
20	Peter Csaba Ölveczky, Mark Keaton, José Meseguer 0001, Carolyn L. Talcott, Steve Zabele	Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude.	FASE	2001	DBLP DOI BibTeX RDF
20	José Manuel Moya, Francisco Moya, Juan Carlos López 0001, Santiago Domínguez	A Flexible Specification Framework for Hardware-Software Codesign.	DATE	2000	DBLP DOI BibTeX RDF
20	Robert Eschbach	A Termination Detection Algorithm: Specification and Verification.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
20	Anne Brüggemann-Klein, Stefan Hermann, Derick Wood	The Visual Specification of Context.	ADL	1999	DBLP DOI BibTeX RDF
20	Thomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani	Formal specification and verification of a dataflow processor array.	ICCAD	1999	DBLP DOI BibTeX RDF
20	Martin Leucker, Thomas Noll 0001	Rapid Prototyping of Specification Language Implementations.	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF
20	Daniela E. Herlea, Catholijn M. Jonker, Jan Treur, Niek J. E. Wijngaards	Integration of Behavioural Requirements Specification within Knowledge Engineering.	EKAW	1999	DBLP DOI BibTeX RDF
20	Roel J. Wieringa	A Survey of Structured and Object-Oriented Software Specification Methods and Techniques.	ACM Comput. Surv.	1998	DBLP DOI BibTeX RDF	languages
20	Ian MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington	Specification-Based Class Testing: A Case Study.	ICFEM	1998	DBLP DOI BibTeX RDF
20	Peter D. Mosses	CoFI: The Common Framework Initiative for Algebraic Specification and Development.	TAPSOFT	1997	DBLP DOI BibTeX RDF
20	Luís Caires	A Language for the Logical Specification of Processes and Relations.	ALP	1996	DBLP DOI BibTeX RDF
20	Kai Engelhardt, Willem P. de Roever	Simulation of Specification Statements in Hoare Logic.	MFCS	1996	DBLP DOI BibTeX RDF
20	Eugenio Battiston, Oliver Botti, E. Crivelli, Fiorella de Cindio	An Incremental Specification of a Hydroelectric Power Plant Control Systems using a Class of Modular Algebraic Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
20	Rose F. Gamble	Integrating a formal specification course with a software projects course via an editing tool.	SIGCSE	1995	DBLP DOI BibTeX RDF	Z
20	Nicole Lévy, G. Smith	A Language-Independent Approach to Specification Construction.	SIGSOFT FSE	1994	DBLP DOI BibTeX RDF
20	Marie-Claude Gaudel	Structuring and Modularizing Algebraic Specifications: The PLUSS Specification Language, Evolutions and Perspectives.	STACS	1992	DBLP DOI BibTeX RDF
20	Michel Bidoit, Francis Capy, Christine Choppy	The design and specification of the ASSPEGIQUE database.	DISCO	1990	DBLP DOI BibTeX RDF
20	David L. Cohrs, Barton P. Miller	Specification and Verification of Network Managers for Large Internets.	SIGCOMM	1989	DBLP DOI BibTeX RDF
20	Sjouke Mauw, Freek Wiedijk	Specification of the Transit Node in PSFd.	Algebraic Methods	1989	DBLP DOI BibTeX RDF
20	Joylyn Reed, Raymond T. Yeh	Specification and Verification of Liveness Properties of Cyclic, Concurrent Processes.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
20	David A. Duce, Elizabeth V. C. Fielding, Lynn S. Marshall	Formal specification of a small example based on GKS.	ACM Trans. Graph.	1988	DBLP DOI BibTeX RDF	GKS