Search results for "specifications"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Eun-Hye Choi, Hiroshi Watanabe	Model Checking Class Specifications forWeb Applications.	APSEC	2005	DBLP DOI BibTeX RDF
25	Shaoying Liu	An Automated Rigorous Review Method for Verifying and Validating Formal Specifications.	ATVA	2004	DBLP DOI BibTeX RDF
25	Angelo Gargantini, Elvinia Riccobene	Automatic Model Driven Animation of SCR Specifications.	FASE	2003	DBLP DOI BibTeX RDF
25	Martin Große-Rhode	Compositional Comparison of Formal Software Specifications Using Transformation Systems.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Formal specification, Integration, Consistency, Compositionality
25	Alfred Fent, Herbert Reiter, Burkhard Freitag	Design for Change: Evolving Workflow Specifications in ULTRAflow.	CAiSE	2002	DBLP DOI BibTeX RDF
25	Orna Kupferman, Moshe Y. Vardi	On Bounded Specifications.	LPAR	2001	DBLP DOI BibTeX RDF
25	Marie-Claude Gaudel	Testing from Formal Specifications, a Generic Approach.	Ada-Europe	2001	DBLP DOI BibTeX RDF
25	Atsushi Togashi, Xiaosong Lu, Fumiaki Kanezashi	System Requirements and Formal Specifications of Hierarchical Reactive Systems.	ICPADS	2000	DBLP DOI BibTeX RDF	Formal Specification, Reactive System, System Requirement, State Transition System, Soundness and Completeness
25	Beverly A. Sanders	Data Refinement of Mixed Specifications.	Acta Informatica	1998	DBLP DOI BibTeX RDF
25	Ralph D. Jeffords, Constance L. Heitmeyer	Automatic Generation of State Invariants from Requirements Specifications.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF	verification, formal methods, specification, software tools, validation, requirements, invariants
25	Akira Takura	Automated Generation of Communications Software from Service Specifications Described by State Transition Rules.	HICSS (1)	1997	DBLP DOI BibTeX RDF
25	Terry G. Glagowski, William E. DeForeest	Indexing to Efficiently Support Fussy Queries on Range Specifications.	ICECCS	1996	DBLP DOI BibTeX RDF
25	Klaus Becker 0002	Proving Ground Confluence and Inductive Validity in Constructor Based Equational Specifications.	TAPSOFT	1993	DBLP DOI BibTeX RDF
25	Egidio Astesiano, Maura Cerioli	On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications.	TAPSOFT, Vol.1	1989	DBLP DOI BibTeX RDF
25	G. A. Venkatesh	A Framework for Construction and Evaluation of High-Level Specifications for Program Analysis Techniques.	PLDI	1989	DBLP DOI BibTeX RDF
25	Horst Hansen, Michael Löwe	Modular Algebraic Specifications.	ALP	1988	DBLP DOI BibTeX RDF
25	Jeannette M. Wing	Writing Larch Interface Language Specifications.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF	Larch
25	Eugene W. Stark	Proving Entailment Between Conceptual State Specifications.	ESOP	1986	DBLP DOI BibTeX RDF
25	Hartmut Ehrig	Algebraic Theory of Parameterized Specifications with Requirements.	CAAP	1981	DBLP DOI BibTeX RDF
25	Martin Nordio, Roman Mitin, Bertrand Meyer 0001, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburrelli	The Role of Contracts in Distributed Development.	SEAFOOD	2009	DBLP DOI BibTeX RDF	Contracts, Distributed Development, Interface Specifications, Software Requirements Specifications
25	Huo Yan Chen, T. H. Tse, Tsong Yueh Chen	TACCLE: a methodology for object-oriented software testing at the class and cluster levels.	ACM Trans. Softw. Eng. Methodol.	2001	DBLP DOI BibTeX RDF	contact specifications, software testing, object-oriented programming, message passing, algebraic specifications
25	Didier Buchs, Nicolas Guelfi	A Formal Specification Framework for Object-Oriented Distributed Systems.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	algebraic Petri nets, distributed systems, Formal specifications, concurrency, object-orientation, refinement, algebraic specifications, subtyping
25	Gilles Bernot, Pascale Le Gall	Exception Handling and Term Labelling.	TAPSOFT	1993	DBLP DOI BibTeX RDF	Key-words Algebraic specifications of abstract data types, Error and exception handling, Exception recovery, Bounded data structures, Structured specifications
24	Bikram Sengupta, Rance Cleaveland	An Integrated Framework for Scenarios and State Machines.	IFM	2005	DBLP DOI BibTeX RDF	refinement orderings, scenarios, state-machines, heterogeneous specifications
24	Ariel Fuxman, Lin Liu 0001, John Mylopoulos, Marco Roveri, Paolo Traverso	Specifying and analyzing early requirements in Tropos.	Requir. Eng.	2004	DBLP DOI BibTeX RDF	Early requirements specifications, Model checking, Formal methods
24	Fabrice Bouquet, Bruno Legeard, Fabien Peureux	CLPS-B - A Constraint Solver for B.	TACAS	2002	DBLP DOI BibTeX RDF	Evaluation of specifications, Animation, CSP, B Method, Set constraints, CLP
24	Balachander Krishnamurthy, David S. Rosenblum	Yeast: A General Purpose Event-Action System.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	event-action systems, distributed computing, specifications, Computer networks, software process, software development environments, event models
24	Michal Walicki, Sigurd Meldal	A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	reasoning with nondeterminism, algebraic specifications
24	Adel Bouhoula	Sufficient Completeness and Parameterized Proofs by Induction.	ALP	1994	DBLP DOI BibTeX RDF	Implicit induction, Parameterized Conditional Specifications, Theorem Proving, Term rewriting systems, Sufficient completeness
24	Wei-Tek Tsai, Dmitry Volovik, Thomas F. Keefe	Automated Test Case Generation for Programs Specified by Relational Algebra Queries.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	black-box software testing, relational algebra queries, arbitrary specifications, relational algebra expressions, automated test case generation method, formal specification, relational databases, program testing, automatic programming
24	Kassem Saleh, Robert L. Probert	Synthesis of Error-Recoverable Protocol Specifications from Service Specifications.	ICCI	1990	DBLP DOI BibTeX RDF	syntactic correctness, synthesis, error-recovery, protocol design, semantic correctness, Communication software
24	Christoph Beierle, Angi Voß	Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF
23	Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin	Runtime Checking for Separation Logic.	VMCAI	2008	DBLP DOI BibTeX RDF
23	Ka Lok Man, Andrea Fedeli, Michele Mercaldi, Menouer Boubekeur, Michel P. Schellekens	SC2SCFL: Automated SystemC to SystemCFL Translation.	SAMOS	2007	DBLP DOI BibTeX RDF
23	André Schiper	Dynamic group communication.	Distributed Comput.	2006	DBLP DOI BibTeX RDF	Specification, Group communication, Group membership, Atomic broadcast, Reliable broadcast, Dynamic group
23	Hung Ledang, Jeanine Souquières	Modeling Class Operations in B: Application to UML Behavioral Diagrams.	ASE	2001	DBLP DOI BibTeX RDF	class operation, B abstract machine(BAM), B operation, UML, B method
23	Wah Kheang Cheung, Chrystopher L. Nehaniv, Kenjiro Takai Miura 0001, Yin Seong Ho	Hierarchical Multimodel-Based Structural Consistency Support Tools for Specifying and Prototyping Complex Systems.	COMPSAC	1995	DBLP DOI BibTeX RDF
23	Jorge García Duque, José Juan Pazos-Arias, Martín López Nores, Yolanda Blanco-Fernández, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Manuel Ramos Cabrer, Alberto Gil-Solla	Methodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle.	Requir. Eng.	2009	DBLP DOI BibTeX RDF	Analysis-revision, Formal requirements specifications, Refinement, Retrenchment
23	Guillaume Feuillade, Sophie Pinchinat	Modal Specifications for the Control Theory of Discrete Event Systems.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	Conjunctive nu-calculus, Modal specifications, Maximally permissive solutions, Logics, Reactive systems, Control theory, Mu-calculus
23	Malay K. Ganai, Aarti Gupta	Efficient BMC for Multi-Clock Systems with Clocked Specifications.	ASP-DAC	2007	DBLP DOI BibTeX RDF	OpenCores multiclock system benchmarks, clocked specifications, multiphased clocks, level-sensitive latches, SAT-based bounded model checking, synchronous multiclock systems, clocked LTL properties, clock modeling schemes, clock constraints, loop-checks, gated clocks
23	Delphine Longuet, Marc Aiguier	Specification-Based Testing for CoCasl's Modal Specifications.	CALCO	2007	DBLP DOI BibTeX RDF	axiom unfolding, coalgebraic specifications, CoCasl, modal logic, Specification-based testing
23	Jorge García Duque, Martín López Nores, José Juan Pazos-Arias, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Alberto Gil-Solla, Manuel Ramos Cabrer, Yolanda Blanco-Fernández	Guidelines for the incremental identification of aspects in requirements specifications.	Requir. Eng.	2006	DBLP DOI BibTeX RDF	Requirements specifications, Crosscutting concerns, Aspect-mining, Incremental software development
23	Sri Fatimah Tjong, Nasreddine Hallam, Michael Hartley	Improving the Quality of Natural Language Requirements Specifications through Natural Language Requirements Patterns.	CIT	2006	DBLP DOI BibTeX RDF	Natural Language Requirements Specifications, Guiding Rules, Language Patterns
23	Rachel L. Cobleigh, George S. Avrunin, Lori A. Clarke	User guidance for creating precise and accessible property specifications.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	property specifications
23	John Håkansson, Bengt Jonsson 0001, Ola Lundqvist	Generating online test oracles from temporal logic specifications.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Online test oracles, Temporal logic specifications, Case studies, Safety properties, Metric temporal logic
23	Helen Treharne, Steve A. Schneider, Marchia Bramble	Composing Specifications Using Communication.	ZB	2003	DBLP DOI BibTeX RDF	Composing Specifications, Concurrency, CSP, B-Method, Combining Formalisms
23	Jean-Luc Paillet, Norbert Giambiasi	DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems.	J. Intell. Robotic Syst.	2002	DBLP DOI BibTeX RDF	formal specifications, control systems, production systems, discrete event dynamic systems
23	Ranga Vemuri, Srinivas Katkoori, Meenakshi Kaul, Jay Roy	An efficient register optimization algorithm for high-level synthesis from hierarchical behavioral specifications.	ACM Trans. Design Autom. Electr. Syst.	2002	DBLP DOI BibTeX RDF	lifecycle analysis, register optimization, high-level synthesis, hardware description languages, Behavioral synthesis, hierarchical specifications
23	Günther Fliedl, Christian Kop, Willi Mayerthaler, Heinrich C. Mayr, Christian Winkler	Linguistic Aspects of Dynamics in Requirements Specifications.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	linguistic aspects, requirements specification dynamics, natural language requirement specifications, behavioral aspects, NTMS model, semantic contents, conceptual predesign model, automatic mapping, common conceptual models, UML, formal specification, application domain, linguistic analysis
23	Xavier Blanc 0001, Marie-Pierre Gervais, Juliette Le Delliou	The Specifications Exchange Service of an RM-ODP Framework.	EDOC	2000	DBLP DOI BibTeX RDF	specifications exchange service, RM-ODP framework, LIP6, meta-modeling standards, standards, file system, EDF, MOF, XMI, open distributed systems, ORB
23	William Chan 0001, Richard J. Anderson, Paul Beame, Steve Burns 0002, Francesmary Modugno, David Notkin, Jon Damon Reese	Model Checking Large Software Specifications.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	state-based specifications, Formal methods, requirements, binary decision diagrams, statecharts, software verification, symbolic model checking
23	Stephen Wang-Cheung Lam, Keith C. C. Chan, Hareton K. N. Leung, Lawrence Chung	A visual programming environment for Z specifications.	APSEC	1997	DBLP DOI BibTeX RDF	syntax checking, VZ, Visual Z, specification validation, logic proving, software tools, visual programming, icons, editing, glyphs, Z specifications, visual programming environment
23	Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon	On the concurrent behaviour of SCR specifications.	COMPSAC	1997	DBLP DOI BibTeX RDF	SCR specifications, concurrent behaviour, SCR method, tabular notations, Software Cost Reduction, mode transition tables, event tables, condition tables, real-time systems, finite state machines, finite state machine, requirements specification, state machines, timed transition systems, interleaving semantics
23	Charles Lakos, Glenn Lewis	Animating Formal Specifications Using Java Applets.	TOOLS (25)	1997	DBLP DOI BibTeX RDF	formal specifications, animation, Java applets, Object Petri Nets
23	Bénédicte Dano, Henri Briand, Franck Barbier	Progressing Towards Object-Oriented Requirements Specifications by using the USE CASE Concept.	ECBS	1996	DBLP DOI BibTeX RDF	dynamic specifications, verification, requirements engineering, formalization, object-oriented analysis
23	José Luís Barros Justo	A repository to support requirement specifications reuse.	ISCNZ	1996	DBLP DOI BibTeX RDF	requirement specifications reuse, new developments, program bugs, design-by reuse methodology, design-for reuse methodology, representative descriptors, component engineering, classification, software tools, software quality, software reuse, time, computer aided software engineering, software repository, component reuse, abstraction levels, indexing techniques, software methodologies, software cost
23	Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis	Consistency checking of SCR-style requirements specifications.	RE	1995	DBLP DOI BibTeX RDF	SCR-style requirements specifications, SCR tabular notation, application independent properties, domain coverage, formal requirements model, automated consistency checking, formal specification, data integrity, program verification, formal model, determinism, software development process, consistency checks, formal analysis, type correctness
23	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
23	Gang Luo, Anindya Das, Gregor von Bochmann	Software Testing Based on SDL Specifications with Save.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	SDL specifications, signal save construct, SDL-machines, SDL-machine transformation, input/output relationship, formal specification, software testing, programming languages, finite state machines, finite state machines, program verification, specification languages, program testing, software verification, high-level specification
23	Miguel Felder, Angelo Morzenti	Validating Real-Time Systems by History-Checking TRIO Specifications.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	formal specifications, first-order logic, requirements validation, model-theoretic semantics
23	José Ambrosio Toval Álvarez, Isidro Ramos, Oscar Pastor 0001	Prototyping Object Oriented Specifications in an Algebraic Environment.	DEXA	1994	DBLP DOI BibTeX RDF	object-oriented prototyping, conceptual modelling, algebraic specifications, object-oriented specification
23	Vincent van Oostrom, Erik P. de Vink	Transition System Specifications in Stalk Formal with Bisimulation as a Congruence.	STACS	1994	DBLP DOI BibTeX RDF	transition system specifications, Structured Operational Semantics, semantics of programming languages, bisimulation equivalence
23	Xavier Nicollin, Joseph Sifakis, Sergio Yovine	Compiling Real-Time Specifications into Extended Automata.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	extended automata, simple specification language, watchdog constructs, state variables, event-driven execution mode, efficient code generation, real-time systems, real-time systems, complexity, formal specification, specification languages, timed automata, program compilers, symbolic model-checking, automata theory, communicating sequential processes, communicating processes, timeout, real-time properties, real-time specifications
23	Jacques Durand, Paul Bennett, Valerio Allegranza, Frank Van Eynde, R. Lee Humphreys, Paul Schmidt, Erich Steiner 0001	The Eurotra linguistic specifications: An overview.	Mach. Transl.	1991	DBLP DOI BibTeX RDF	Eurotra, linguistic specifications, translation theory
23	Angelo Morzenti	Validating Real-Time Systems by Executing Logic Specifications.	REX Workshop	1991	DBLP DOI BibTeX RDF	real-time, formal specifications, temporal logic, first-order logic, software requirements, requirements validation, model-theoretic semantics
23	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
23	António L. Furtado 0001	An Informal Approach to Formal Specifications.	SIGMOD Rec.	1984	DBLP DOI BibTeX RDF	denotational methods, formal specifications, data models, logic, abstract data types, grammars, integrity constraints, data bases
23	António L. Furtado 0001	An Informal Approach to Formal Specifications.	SIGMOD Rec.	1983	DBLP DOI BibTeX RDF	denotational methods, formal specifications, data models, logic, abstract data types, grammars, integrity constraints, data bases
23	Boumediene Belkhouche, Joseph E. Urban, Gregory A. Riccardi	Synthesizing abstract data type specifications.	ACM Southeast Regional Conference	1982	DBLP DOI BibTeX RDF	specifications, synthesis, abstract data types
22	Elmar Jürgens, Florian Deissenboeck, Martin Feilkas, Benjamin Hummel, Bernhard Schätz, Stefan Wagner 0001, Christoph Domann, Jonathan Streit	Can clone detection support quality assessments of requirements specifications?	ICSE (2)	2010	DBLP DOI BibTeX RDF	redundancy, requirements specification, clone detection
22	Puwei Wang, Zhi Jin, Lin Liu 0001, Guangjun Cai	Building toward Capability Specifications of Web Services Based on an Environment Ontology.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF	Intelligent Web service languages, Ontology design
22	Till Mossakowski, Andrzej Tarlecki	Heterogeneous Logical Environments for Distributed Specifications.	WADT	2008	DBLP DOI BibTeX RDF
22	Bijoy Antony Jose, Sandeep K. Shukla, Hiren D. Patel, Jean-Pierre Talpin	On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications.	MEMOCODE	2008	DBLP DOI BibTeX RDF
22	Ansuman Banerjee, Kausik Datta, Pallab Dasgupta	CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications.	ATVA	2008	DBLP DOI BibTeX RDF
22	Adam Antonik, Michael Huth 0001, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski	Complexity of Decision Problems for Mixed and Modal Specifications.	FoSSaCS	2008	DBLP DOI BibTeX RDF
22	Marie-Claude Gaudel, Pascale Le Gall	Testing Data Types Implementations from Algebraic Specifications.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
22	Hui Liu, Bin Zhu	Refactoring Formal Specifications in Object-Z.	CSSE (2)	2008	DBLP DOI BibTeX RDF
22	Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta	Mining library specifications using inductive logic programming.	ICSE	2008	DBLP DOI BibTeX RDF	machine learning., verification, datalog, inductive logic programming, software specification
22	A. Alessandroni, Raffaele Cappelli, Matteo Ferrara, Davide Maltoni	Definition of Fingerprint Scanner Image Quality Specifications by Operational Quality.	BIOID	2008	DBLP DOI BibTeX RDF
22	Erki Eessaar	A Semiotic Approach to Quality in Specifications of Software Measures.	ICEIS	2008	DBLP DOI BibTeX RDF	Measures, Metrics, SQL, Quality, Metamodel, Database design, Semiotics
22	Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng	Formal verification of security specifications with common criteria.	SAC	2007	DBLP DOI BibTeX RDF	ISO/IEC 15408, theorem-proving, Z notation
22	Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer	Interactive presentation: Automatic hardware synthesis from specifications: a case study.	DATE	2007	DBLP DOI BibTeX RDF
22	Abdolmajid Mousavi, Behrouz Homayoun Far, Armin Eberlein, Behrouz Heidari	Strong Safe Realizability of Message Sequence Chart Specifications.	FSEN	2007	DBLP DOI BibTeX RDF	Strong safe realizability, stuck states, emergent scenarios
22	Bas Graaf, Arie van Deursen	Model-Driven Consistency Checking of Behavioural Specifications.	MOMPES	2007	DBLP DOI BibTeX RDF
22	Jonathan S. Ostroff, Faraz Ahmadi Torshizi	Testable Requirements and Specifications.	TAP	2007	DBLP DOI BibTeX RDF
22	Lidong Zhou, Vijayan Prabhakaran, Venugopalan Ramasubramanian, Roy Levin, Chandramohan A. Thekkath	Graceful degradation via versions: specifications and implementations.	PODC	2007	DBLP DOI BibTeX RDF	fault tolerance, version, graceful degradation, linearizability
22	Dussadee Praserttitipong, Peraphon Sophatsathit	A Synopsis Model for Deterministic Behavioral Specifications of an Adaptable Agent.	SERA	2007	DBLP DOI BibTeX RDF	service advertisement, service discovery, adaptable agent, service specification
22	David Lo 0001, Shahar Maoz, Siau-Cheng Khoo	Mining modal scenario-based specifications from execution traces of reactive systems.	ASE	2007	DBLP DOI BibTeX RDF	dynamic analysis, live sequence charts, specification mining, UML sequence diagrams
22	Agnès Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet	Automatic Generation of Functional Programs from CASL Specifications.	ICSEA	2006	DBLP DOI BibTeX RDF
22	Robert Leithiser	A relational database model for representation of formal specifications.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	Zed, relational state, formal specification, formal methods, relational database management system, RDBMS, state transition
22	Ben Krause, Tim Wahls	jmle: A Tool for Executing JML Specifications Via Constraint Programming.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
22	Kokichi Futatsugi	Verifying Specifications with Proof Scores in CafeOBJ.	ASE	2006	DBLP DOI BibTeX RDF
22	Jan A. Bergstra	Elementary Algebraic Specifications of the Rational Function Field.	CiE	2006	DBLP DOI BibTeX RDF
22	Adrian Pop, Peter Fritzson	Debugging natural semantics specifications.	AADEBUG	2005	DBLP DOI BibTeX RDF	logical functional languages, proof-trees, debugging, rule-based
22	Deirdre Carew, Chris Exton, Jim Buckley	An empirical investigation of the comprehensibility of requirements specifications.	ISESE	2005	DBLP DOI BibTeX RDF
22	Eric Andonoff, Lotfi Bouzguenda, Chihab Hanachi	Specifying Workflow Web Services Using Petri Nets with Objects and Generating of Their OWL-S Specifications.	EC-Web	2005	DBLP DOI BibTeX RDF
22	Ron van der Meyden, Thomas Wilke	Synthesis of Distributed Systems from Knowledge-Based Specifications.	CONCUR	2005	DBLP DOI BibTeX RDF
22	Artur Zawlocki	Architectural Specifications for Reactive Systems.	WADT	2004	DBLP DOI BibTeX RDF
22	Yuting Chen, Shaoying Liu, Fumiko Nagoya	An Approach to Integration Testing Based on Data Flow Specifications.	ICTAC	2004	DBLP DOI BibTeX RDF	SOFL, test cases generation, specification-based testing, data flow diagrams
22	Steven P. Reiss	CHET: A System for Checking Dynamic Specifications.	ASE	2004	DBLP DOI BibTeX RDF