Search results for "specifications"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
33	Gordon D. Plotkin	Dijkstras Predicate Transformers & Smyth's Power Domaine.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
33	Peter E. Lauer, M. W. Shields, Eike Best	Design & Analysis of Highly Parallel & Distributed Systems.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
33	Barbara H. Liskov	Modular Program Construction Using Abstractions.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
33	Joseph E. Stoy	Foundations of Denotational Semantics.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
33	Heinz Zemanek	Abstract Architecture.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
33	Peter Lucas 0001	On the Structure of Application Programs.	Abstract Software Specifications	1979	DBLP DOI BibTeX RDF
33	Dragos Truscan, Johan Lindqvist, Johan Lilius, Ivan Porres, Timo Eriksson, Juha Rakkola, Antti Latva-Aho	Testable Specifications of NoTA-based Modular Embedded Systems.	ECBS	2008	DBLP DOI BibTeX RDF	NoTA architecture, SOA, SOC, testing specifications
33	Michel Bidoit, Donald Sannella, Andrzej Tarlecki	Architectural Specifications in CASL.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	CASL, Formal software development, Specification of program structure, Algebraic specification, Architectural specifications
33	Calvin Ko	Logic Induction of Valid Behavior Specifications for Intrusion Detection.	S&P	2000	DBLP DOI BibTeX RDF	Specification-based detection, Valid behavior specifications, Machine Learning, Intrusion detection, Inductive Logic Programming, ILP
33	Hung T. Nguyen 0002, Vladik Kreinovich	Using Gelfond-Przymusinska's epistemic specifications to justify (some) heuristic methods used in expert systems and intelligent control.	Soft Comput.	1997	DBLP DOI BibTeX RDF	Interval-valued degrees of belief, Epistemic specifications, Expert system, Intelligent control
33	Alexander Borgida, John Mylopoulos, Raymond Reiter	On the Frame Problem in Procedure Specifications.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	frame assertion, semantics of specification languages, specifications, languages, inheritance, Formal, proof obligations
33	Pankaj Jalote	Testing the Completeness of Specifications.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	completeness testing, VAX system, data structures, Unix, program testing, conformance testing, abstract data types, test cases, axiomatic specifications
32	Delphine Longuet, Marc Aiguier	Integration Testing from Structured First-Order Specifications via Deduction Modulo.	ICTAC	2009	DBLP DOI BibTeX RDF
32	Mithun Acharya, Tao Xie 0001	Mining API Error-Handling Specifications from Source Code.	FASE	2009	DBLP DOI BibTeX RDF
32	Westley Weimer, Nina Mishra	Privately Finding Specifications.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	F.3.1.f Specification techniques, D.2.19 Software Quality/SQA, I.2.6 Learning, K.4.1.f Privacy
32	Manuvir Das	Formal Specifications on Industrial-Strength Code-From Myth to Reality.	CAV	2006	DBLP DOI BibTeX RDF
32	Giovanna Di Marzo Serugendo	On the Use of Formal Specifications as Part of Running Programs.	SELMAS (LNCS)	2005	DBLP DOI BibTeX RDF
32	Gillian Hill, Steven Vickers	A Language for Configuring Multi-level Specifications.	AMAST	2004	DBLP DOI BibTeX RDF
32	Tim Miller, Paul A. Strooper	A framework and tool support for the systematic testing of model-based specifications.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	specification animation, testgraphs, testing, Formal verification
32	Sandro Morasca	Measuring Attributes of Concurrent Software Specifications in Petri Nets.	IEEE METRICS	1999	DBLP DOI BibTeX RDF
32	J. Jenny Li, Joseph Robert Horgan	chi-SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications.	APSEC	1999	DBLP DOI BibTeX RDF	cSuds and Specification and Description Language (SDL), Software specification, debugging tool, coverage testing
32	Deepak Kapur	An Automated Tool for Analyzing Completeness of Equational Specifications.	ISSTA	1994	DBLP DOI BibTeX RDF
32	Alberto Coen-Porisini, Richard A. Kemmerer	The Composability of ASTRAL Realtime Specifications.	ISSTA	1993	DBLP DOI BibTeX RDF
32	Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand	Geometric Modelling with CASL.	WADT	2001	DBLP DOI BibTeX RDF	CASL language, specification methodology, formal specifications, geometric modelling, algebraic specifications
31	Manuel Fähndrich	Language-agnostic specification and verification: invited talk.	PLPV	2009	DBLP DOI BibTeX RDF	specifications, static analysis, abstract interpretation, contracts, net
31	Xiaowen Chen, Tim Wahls	A graphical user interface for executing formal specifications.	SAC	2001	DBLP DOI BibTeX RDF	SPECS-C++, formal specifications, C++, user interface design, executable specifications
31	Shin Nakajima 0001, Kokichi Futatsugi	An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ.	ICSE	1997	DBLP DOI BibTeX RDF	concurrent rewriting, excutable specifications, object-oriented modelinng, formal methods, algebraic specifications, OBJ, CafeOBJ
31	Jean-Pierre Jacquot, A. Valdenaire	Trading legibility against implementability in requirement specifications: an experimental assessment.	RE	1995	DBLP DOI BibTeX RDF	experimental assessment, elisions, flexible syntaxes, incomplete texts, GLIDER, rigorous assessment, term parsing, human factor features, formal specification, formal specifications, specification languages, specification language, requirement specifications, grammars
30	Tao Xie 0001, David Notkin	Mutually Enhancing Test Generation and Specification Inference.	FATES	2003	DBLP DOI BibTeX RDF
30	Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvidovic	Synthesizing partial component-level behavior models from system specifications.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	behavior model synthesis, modal transition systems, constraints, scenarios, partial specifications
30	Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone	Modal interfaces: unifying interface automata and modal specifications.	EMSOFT	2009	DBLP DOI BibTeX RDF	modal specifications, compatibility, interface automata
30	Johannes Henkel, Christoph Reichenbach, Amer Diwan	Developing and debugging algebraic specifications for Java classes.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	Algebraic interpretation, specification discovery, algebraic specifications
30	Sébastien Labbé 0002, Jean-Pierre Gallois	Slicing communicating automata specifications: polynomial algorithms for model reduction.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Communicating automata, Specifications, Static analysis, Slicing, Dataflow analysis, Model reduction, Polynomial algorithms
30	Marc Aiguier, Delphine Longuet	Test Selection Criteria for Modal Specifications of Reactive Systems.	TASE	2007	DBLP DOI BibTeX RDF	dynamic specifications, proof tree normalisation, Specification-based testing, unfolding, coalgebras, exhaustivity, selection criteria
30	Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre	Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms.	FATES	2005	DBLP DOI BibTeX RDF	proof tree normalization, conditional rewriting, algebraic specifications, Specification-based testing, unfolding, selection criteria
30	Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez	Approximate Retrieval of Incomplete and Formal Specifications Applied to Horizontal Reuse.	EUROMICRO	2002	DBLP DOI BibTeX RDF	component-based requirements engineering, reuse of formal requirement specifications, iterative and incremental software processes, software reuse
30	Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski	Checking Amalgamability Conditions for C ASL Architectural Specifications.	MFCS	2001	DBLP DOI BibTeX RDF	formal specification and program development, CASL, algorithms, decidability, architectural specifications, amalgamation
30	Pedro Sánchez, Patricio Letelier 0001, Isidro Ramos	Animating Formal Specifications with Inheritance in a DL-Based Framework.	Requir. Eng.	1999	DBLP DOI BibTeX RDF	Animation of specifications, Requirements engineering, Inheritance, Object-oriented methods
30	Soon-Kyeong Kim, David A. Carrington	Visualization of Formal Specifications.	APSEC	1999	DBLP DOI BibTeX RDF	Visualization, UML, Formal Specifications, Z notation
30	Huaikou Miao, Xiaolei Gao, Ling Liu	An Approach to Testing the Nonexistence of Initial State in Z Specifications.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	constructed function, constrained states space, states space, Z specifications
30	Jean-Yves Lucas, Jean-Luc Dormoy, Bruno Ginoux, Claudia Jimenez-Dominguez, Laurent Pierre	How to Reconcile Formal Specifications and Automatic Programming: The Descartes System.	APSEC	1998	DBLP DOI BibTeX RDF	Mathematical-type language, Automated Software Design, Formal Specifications, Formal Methods, Automatic Programming
30	Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel	Experiences with analysis of formal specifications in Astral.	RTCSA	1997	DBLP DOI BibTeX RDF	temporal properties verification, simulation, formal specification, formal specifications, prototyping, specification language, timed automata, timing analysis, requirements specification, real-time software, Astral
30	Linda B. Sherrell, Doris L. Carver	FunZ Designs A Bridge between Z Specifications and Haskell Implementations.	COMPSAC	1995	DBLP DOI BibTeX RDF	intermediate specification language, Formal methods, functional programming, Haskell, software design, Z specifications
30	Xiaoping Jia	An approach to animating Z specifications.	COMPSAC	1995	DBLP DOI BibTeX RDF	ZANS approach, animation approaches, imperative intermediate language, formal specification, computer science education, specification languages, visual programming, computer aided software engineering, requirements validation, Z specifications, code synthesis, Z specification languages
30	Kanth Miriyala, Mehdi T. Harandi	Automatic Derivation of Formal Software Specifications From Informal Descriptions.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	formal software specifications, common problem-solving techniques, difference-based reasoning, informal description, SPECIFIER, previously solved problem, analogy mapping, formal specification, data structures, software tools, interactive system, analogy, automatic programming, schemas, data types, problem-solving process
30	Stephen J. Garland, John V. Guttag, James J. Horning	Debugging Larch Shared Language Specifications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Larch shared language specifications, checkability, Larch power, theory containment, design, formal specification, parallel programming, debugging, consistency, development, inference mechanisms, program debugging, static semantics, concurrent algorithms
30	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
30	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
29	Yi Huang, Dennis Gannon	A Comparative Study of Web Services-based Event Notification Specifications.	ICPP Workshops	2006	DBLP DOI BibTeX RDF	WS-Eventing, Web service, Grid computing, publish/subscribe, mediation, event notification, WS-Notification
29	Soumendu Bhattacharya, Achintya Halder, Ganesh Srinivasan, Abhijit Chatterjee	Alternate Testing of RF Transceivers Using Optimized Test Stimulus for Accurate Prediction of System Specifications.	J. Electron. Test.	2005	DBLP DOI BibTeX RDF	RF transceivers, alternate test, periodic bitstreams, optimization, behavioral modeling
29	Westley Weimer, George C. Necula	Mining Temporal Specifications for Error Detection.	TACAS	2005	DBLP DOI BibTeX RDF
29	Sebastián Uchitel, Jeff Kramer, Jeff Magee	Incremental elaboration of scenario-based specifications and behavior models using implied scenarios.	ACM Trans. Softw. Eng. Methodol.	2004	DBLP DOI BibTeX RDF	implied scenarios, negative scenarios, MSC, LTSA
29	Emmanuel Letier, Axel van Lamsweerde	Deriving operational software specifications from system goals.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	incremental specification, reasoning about partial models, patterns, goal-oriented requirements engineering, KAOS, operationalization, frame problem
29	Jeremy W. Nimmer, Michael D. Ernst	Automatic generation of program specifications.	ISSTA	2002	DBLP DOI BibTeX RDF
29	Yvon Gardan, Christian Minich, Denis Pallez	On Shape to Specifications Adequacy.	IV	1999	DBLP DOI BibTeX RDF	Shape generation, Computer Aided Design, Shape estimation
29	Adel Benzina, Mario Paludetto, Jérôme Delatour	About the Suitability of Petri Nets for Describing, Validating and Evaluating SA-RT Specifications.	APSEC	1997	DBLP DOI BibTeX RDF
29	Wolfgang Reif	An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
29	E. Jane Cameron, C. A. Norman, Lillian Ruston, Hassan N. Srinidhi	Forming telecommunications software specifications from a service-driven model using enhanced software tools.	J. Syst. Integr.	1992	DBLP DOI BibTeX RDF	service modeling, service specification, Service creation
29	Liliana Favre, Liliana Martinez, Claudia Pereira	Transforming UML Static Models into Object-Oriented Code.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	UML static models, reuse based rigorous method, object oriented code generation, rigorous process, GSBL/sup OO/ language, SpReIm model, OCL specifications, object-oriented programming, software maintenance, software maintenance, specification languages, software reusability, program compilers, object-oriented languages, algebraic specification, algebraic specifications, reusable components, UML class diagrams, forward engineering, design artifacts
29	Mats Per Erik Heimdahl, Barbara J. Czerny	Using PVS to analyze hierarchical state-based requirements for completeness and consistency.	HASE	1996	DBLP DOI BibTeX RDF	hierarchical state based requirements specifications, input sequence, analysis procedures, large real world requirements specification, hierarchical state based language, Requirements State Machine Language, Prototype Verification System, theorem proving component, spurious error reports, formal specifications, robustness, consistency, program verification, completeness, Binary Decision Diagrams, BDDs, PVS, interactive environment, formal proofs, RSML
29	Kevin Lano, Stephen J. Goldsack	Discrete event process controller synthesis using VDM++.	ICECCS	1995	DBLP DOI BibTeX RDF	ignition, control system synthesis, heat systems, discrete event process controller synthesis, VDM/sup ++/, controller specification, gas burner system, systematic method, declarative requirement statements, abstract VDM/sup ++/ specifications, concrete VDM/sup ++/ specifications, formalised requirements, refinement process, real-time systems, formal specification, temporal logic, timing, specification languages, timing analysis, object-oriented languages, process control, parallel languages, discrete event systems, programmable controllers, controller design, Vienna development method, control system CAD, Ada95, real-time temporal logic, combustion
29	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
29	Ying Liu, Ambuj K. Singh, Rajive L. Bagrodia	A Decompositional Approach to the Design of Parallel Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	complete computer programs, decompositional approach, parallel program design, parallel implementation correctness, module specifications, frequently occurring control structures, subprograms, property refinement procedure, sequential composition, UNITY logic, UC programming language, diffusion aggregation, fluid flow simulations, formal specification, parallel programming, program verification, digital simulation, diffusion, iteration, physics computing, program control structures, program specifications, flow simulation
29	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
28	Lalana Kagal, Tim Finin	Modeling conversation policies using permissions and obligations.	Auton. Agents Multi Agent Syst.	2007	DBLP DOI BibTeX RDF	Conversation policy, Conversation specifications, Speech act ontology, Agent communication, Permissions, Obligations, Ontology languages
28	Lori A. Clarke	Getting the Details Right.	Monterey Workshop	2007	DBLP DOI BibTeX RDF	Requirements engineering, Finite-state verification, Property specifications, Medical Safety
28	Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs	Algebraic Software Development Concepts for Module and Configuration Families.	FSTTCS	1989	DBLP DOI BibTeX RDF	module families, configuration families, formal specification development, software engineering, modules, algebraic specifications
27	Markus Kalb, Peter Dadam	Unterstützung von Periodizität in Informationssystemen - Herausforderungen und Lösungsansätze.	Inform. Forsch. Entwickl.	2008	DBLP DOI BibTeX RDF	Temporal Granularities, Periodicity, Temporal Queries, Temporal Data Modells
26	Jens Brandt 0001, Klaus Schneider 0001, Sandeep K. Shukla	Translating concurrent action oriented specifications to synchronous guarded actions.	LCTES	2010	DBLP DOI BibTeX RDF	concurrent action-oriented specifications, code generation, synchronous languages, guarded commands
26	Néstor Cataño, Tim Wahls	Executing JML specifications of Java card applications: a case study.	SAC	2009	DBLP DOI BibTeX RDF	executable specifications, Java card, JML
26	Dana P. Leonard, Jason O. Hallstrom, Murali Sitaraman	Injecting rapid feedback and collaborative reasoning in teaching specifications.	SIGCSE	2009	DBLP DOI BibTeX RDF	collaborative reasoning, contract programming, formal methods, interface specifications, learning tools
26	Yannick Welsch	Grey-box specifications for object-oriented program components.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	grey-box specifications, oop, components
26	Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet	Test Selection Criteria for Quantifier-Free First-Order Specifications.	FSEN	2007	DBLP DOI BibTeX RDF	quantifier-free first-order specifications, axiom coverage, proof tree normalization, Specification-based testing, unfolding, test purpose, selection criteria
26	Björn Metzler 0001	Decomposing Integrated Specifications for Verification.	IFM	2007	DBLP DOI BibTeX RDF	Integrated Formal Specifications, Model Checking, Decomposition, Program Slicing, Compositional Verification
26	Fadi Hanna, Richard A. Frost	Adding Semantics to Formal Data Specifications to Automatically Generate Corresponding Voice Data-Input Applications.	ICSC	2007	DBLP DOI BibTeX RDF	Voice XML, G-DTD, formal data specifications, voice data-input applications, XML, semantics, DTD
26	William B. Gardner	Converging CSP specifications and C++ programming via selective formalism.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	hardware/software codesign, Executable specifications, object-oriented application frameworks
26	Stephen Doxsee, William B. Gardner	Synthesis of C++ software for automated teller from CSPm specifications.	SAC	2005	DBLP DOI BibTeX RDF	executable specifications, object-oriented application frameworks
26	Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert	Checking JML Specifications with B Machines.	ZB	2005	DBLP DOI BibTeX RDF	object-oriented, specifications, B method, abstract machines, JML, Java Modeling Language
26	Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini	Model-Checking TRIO Specifications in SPIN.	FME	2003	DBLP DOI BibTeX RDF	model checking, temporal logic, Spin, modular specifications
26	Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit	Formal Specifications of Computer-Based Systems.	ECBS	2002	DBLP DOI BibTeX RDF	Formal specifications, Workshop, Computer-based systems
26	Huaikou Miao, Ling Liu, Chuanjiang Yu, Jijun Ming, Li Li	Z User Studio: An Integrated Support Tool for Z Specifications.	APSEC	2001	DBLP DOI BibTeX RDF	Z User Studio, Syntax parser, Type checker, Test cases generator, Z specifications
26	Huaikou Miao, Ling Liu	A Test Class Framework for Generating Test Cases from Z Specifications.	ICECCS	2000	DBLP DOI BibTeX RDF	test class framework, object-oriented concept, test case generation system, formal specification, oracles, test data, Z specifications, test framework, TCGS
26	Daniel Jackson 0001, Somesh Jha, Craig Damon	Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	model finding, relational specifications, model checking, formal specification, symmetry, object models, pruning, relational calculus
26	Bénédicte Dano, Henri Briand, Franck Barbier	An Approach Based on the Concept of Use Case to Produce Dynamic Object-Oriented Specifications.	RE	1997	DBLP DOI BibTeX RDF	Requirements Engineering, CASE tool, Use Case, Object-oriented specifications
26	John M. Punshon, J. Paul Tremblay, Paul G. Sorenson, Piotr S. Findeisen	From Formal Specifications to Natural Language: A Case Study.	ASE	1997	DBLP DOI BibTeX RDF	REVIEW system, Metaview, formal specification, formal specifications, natural language, software specification, CASE environments
26	Agnès Arnould, Pascale Le Gall, Bruno Marre	Dynamic Testing from Bounded Data Type Specifications.	EDCC	1996	DBLP DOI BibTeX RDF	bounded data types, test data set selection, formal specifications, software verification, functional testing
26	Krishna M. Kavi, Frederick T. Sheldon, Behrooz A. Shirazi, Ali R. Hurson	Reliability analysis of CSP specifications using Petri nets and Markov processes.	HICSS (2)	1995	DBLP DOI BibTeX RDF	stochastic analyses, CSP-based system specifications, potential failure processes, recovery actions, user level specification, performance, formal specification, Petri nets, Petri nets, Markov processes, Markov processes, cost, functionality, system recovery, safety-critical software, failure analysis, reliability analysis, communicating sequential processes, user needs
26	Joseph E. Urban, Hankyu Joo	Executable specifications for distributed software systems.	FTDCS	1995	DBLP DOI BibTeX RDF	front-end life cycle, upper CASE aspects, core software requirements, management component, distributed development teams, techniques/tools component, specification language development, formal specification, Petri nets, distributed algorithms, distributed computing, software development, temporal logic, distributed processing, specification languages, computer aided software engineering, executable specifications, distributed software systems
26	Lloyd G. Williams	Assessment of Safety-Critical Specifications.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	safety-critical system specifications, specification ambiguity, software cost reduction method, Vienna Definition Method, semantic capabilities, assessment criteria, formal specification, formal methods, formal verification, formal verification, software reliability, safety, software cost estimation, understandability, VDM, Vienna development method
26	Giancarlo Nota, Giuliano Pacini	Querying of Executable Software Specifications.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	executable software specifications, requirements specification phase, external events, language RSQ, RSF, formal specification, query languages, specification languages, specification languages, querying, rapid prototyping, software designer, time constraints, software prototyping
26	David H. Pitt, David Freestone	The Derivation of Conformance Tests from LOTOS Specifications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	formal description technique LOTOS, International Standards Organization, basic LOTOS operators, theoretical notion, canonical testers, finite test suites, test suite design, formal specification, protocols, standards, communication protocols, open systems, formal languages, conformance tests, conformance testing, OSI, protocol specifications, test processes
26	Michela Degl'Innocenti, Gian-Luigi Ferrari 0002, Giuliano Pacini, Franco Turini	RSF: A Formalism for Executable Requirement Specifications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	RSF, executable requirement specifications, occurrence times, logic programming, queries, rapid prototyping, events, time constraints, formalism, software prototyping, answers, transition rules
25	Lan Lin, Jesse H. Poore	Pushing requirements changes through to changes in specifications.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	requirements change management, sequence-based software specification, changing state machine diagrams, automaton, Mealy machine
25	Lei Ju 0001, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty	Performance debugging of Esterel specifications.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	Esterel, WCET analysis, synchronous programming
25	Yao Jun-feng, Shi Ying, Wen-jie Yuan, Ye Peng, Luo Ju-bo, Jia Xiang-Yang	A Framework of Reflective Mechanism for Supporting OWL-S Requirements Specifications Evolution.	CSSE (2)	2008	DBLP DOI BibTeX RDF
25	Lan Lin, Jesse H. Poore	Pushing Requirements Changes through to Changes in Specifications.	TASE	2008	DBLP DOI BibTeX RDF	Requirements change management, sequence-based specification, changing state diagrams, automaton, Mealy machine
25	Gary T. Leavens, Peter Müller 0001	Information Hiding and Visibility in Interface Specifications.	ICSE	2007	DBLP DOI BibTeX RDF
25	Nikolai Tillmann, Feng Chen 0006, Wolfram Schulte	Discovering Likely Method Specifications.	ICFEM	2006	DBLP DOI BibTeX RDF
25	Sarfraz Khurshid, Muhammad Zubair Malik, Engin Uzuncaova	An Automated Approach for Writing Alloy Specifications Using Instances.	ISoLA	2006	DBLP DOI BibTeX RDF
25	Yi Huang, Dennis Gannon	A Flexible and Efficient Approach to Reconcile Different Web Services-based Event Notification Specifications.	ICWS	2006	DBLP DOI BibTeX RDF