Search results for "specifications"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Soumendu Bhattacharya, Ganesh Srinivasan, Sasikumar Cherubal, Achintya Halder, Abhijit Chatterjee	System-level Testing of RF Transmitter Specifications Using Optimized Periodic Bitstreams.	VTS	2004	DBLP DOI BibTeX RDF
22	Wee Kheng Leow, Siau-Cheng Khoo, Yi Sun	Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases.	ICSE	2004	DBLP DOI BibTeX RDF
22	Orna Kupferman, Nir Piterman, Moshe Y. Vardi	Pushdown Specifications.	LPAR	2002	DBLP DOI BibTeX RDF
22	Alexander Kozlenkov, Andrea Zisman	Are their Design Specifications Consistent with our Requirements?	RE	2002	DBLP DOI BibTeX RDF
22	Glenn Ammons, Rastislav Bodík, James R. Larus	Mining specifications.	POPL	2002	DBLP DOI BibTeX RDF
22	Manuel Rodríguez 0001, Jean-Charles Fabre, Jean Arlat	Wrapping Real-Time Systems from Temporal Logic Specifications.	EDCC	2002	DBLP DOI BibTeX RDF
22	Bhed Bahadur Bista, Kaoru Takahashi, Norio Shiratori	Composition of Service and Protocol Specifications.	ICOIN	2001	DBLP DOI BibTeX RDF
22	Patrícia D. L. Machado	Testing from Structured Algebraic Specifications.	AMAST	2000	DBLP DOI BibTeX RDF
22	Willem C. Mallon	On Directed Transformations of Delay-Insensitive Specifications, Alternations and Dynamic Nondeterminism.	ASYNC	2000	DBLP DOI BibTeX RDF	{Communicating Processes}, {Computer Aided Design}, Meta-stability, Formal Methods, Handshake Protocol, Delay-Insensitivity
22	H. B. M. Jonkers	ISpec: Towards Practical and Sound Interface Specifications.	IFM	2000	DBLP DOI BibTeX RDF
22	Yong Sun, Hongji Yang, Alan J. Dix	TDL: A Language for Transition Diagrams in the Derivation of LOTOS Specifications.	APAQS	2000	DBLP DOI BibTeX RDF
22	Marie-Claude Gaudel, Alexandre V. Zamulin	Algebraic Imperative Specifications.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
22	Richard J. Anderson, Paul Beame, William Chan 0001, David Notkin	Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF	finite state representations, Formal methods, formal verification, binary decision diagrams, symbolic model checking, software specification
22	Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj	Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	simulation, model checking, verification, formal methods, specification, abstraction, Requirements, consistency checking, safety analysis, SCR
22	Anthony Hunter, Bashar Nuseibeh	Managing Inconsistent Specifications: Reasoning, Analysis, and Action.	ACM Trans. Softw. Eng. Methodol.	1998	DBLP DOI BibTeX RDF	managing inconsistency, requiriements specification, viewpoints, paraconsistent logics
22	Martin Wirsing, John N. Crossley, Hannes Peterreins	Proof Normalization of Structured Algebraic Specifications Is Convergent.	WADT	1998	DBLP DOI BibTeX RDF
22	Michel Bidoit, Donald Sannella, Andrzej Tarlecki	Architectural Specifications in CASL.	AMAST	1998	DBLP DOI BibTeX RDF
22	Stefan Leue, Lars Mehrmann, Mohammad Reza Mousavi 0001	Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications.	ASE	1998	DBLP DOI BibTeX RDF
22	Rani Nelken, Nissim Francez	Automatic Translation of Natural Language System Specifications.	CAV	1996	DBLP DOI BibTeX RDF
22	Zhenyi Jin	Deriving Mode Invariants from SCR Specifications.	ICECCS	1996	DBLP DOI BibTeX RDF
22	Stéphane S. Somé, Rachida Dssouli, Jean G. Vaucher	From Scenarios to Timed Automata: Building Specifications from Users Requirements.	APSEC	1995	DBLP DOI BibTeX RDF	Requirements Engineering, Synthesis, Scenarios, Timed automata, Timing constraints
22	Roberto Souto Maior de Barros	Deriving Relational Database Programs from Formal Specifications.	FME	1994	DBLP DOI BibTeX RDF
22	Yves Ledru	Proof-Based Development of Specifications with KIDS/VDM.	FME	1994	DBLP DOI BibTeX RDF
22	Wei Li 0022	A Logical Framework for Evolution of Specifications.	ESOP	1994	DBLP DOI BibTeX RDF
22	Mark T. Vandevoorde	Specifications Can Make Programs Run Faster.	TAPSOFT	1993	DBLP DOI BibTeX RDF
22	Arthur G. Ryman	Illuminating software specifications.	CASCON	1993	DBLP BibTeX RDF
22	Wolfgang Reif	Correctness of Full First-Order Specifications.	SEKE	1992	DBLP DOI BibTeX RDF
22	Egidio Astesiano, Maura Cerioli	Non-Strict Don't Care Algebras and Specifications.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
22	Kim Guldstrand Larsen	The Expressive Power of Implicit Specifications.	ICALP	1991	DBLP DOI BibTeX RDF
22	Yulin Feng, Junbo Liu	A Temporal Approach to Algebraic Specifications.	CONCUR	1990	DBLP DOI BibTeX RDF
22	David W. Cordes, Doris L. Carver	Knowledge Base Applications with Software Engineering: A Tool for Requirements Specifications.	IEA/AIE (Vol. 1)	1988	DBLP DOI BibTeX RDF
22	Giuseppe Lami, Robert W. Ferguson	An Empirical Study on the Impact of Automation on the Requirements Analysis Process.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	requirements/specifications analysis, requirements/specifications tools, process metrics
22	Marc Frappier, Richard St-Denis	EB 3: an entity-based black-box specification method for information systems.	Softw. Syst. Model.	2003	DBLP DOI BibTeX RDF	Trace-based specifications, Black-box specifications, JSD, Cleanroom, Patterns, Process algebra
22	Carlos Canal, Lidia Fuentes, José M. Troya, Antonio Vallecillo	Extending CORBA Interfaces with p-Calculus for Protocol Compatibility.	TOOLS (33)	2000	DBLP DOI BibTeX RDF	p-calculus, CORBA, open systems, behavioral specifications, protocol specifications
21	Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin	Enhancing modular OO verification with separation logic.	POPL	2008	DBLP DOI BibTeX RDF	enhanced subsumption, lossless casting, static and dynamic specifications, separation logic, automated verification
21	Steven P. Reiss	Specifying and checking component usage.	AADEBUG	2005	DBLP DOI BibTeX RDF	verification, specifications, components, automata, flow analysis, finite-state
21	Fabrice Bouquet, Bruno Legeard, Fabien Peureux	CLPS-B - A constraint solver to animate a B specification.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	B notation, Evaluation of specifications, Animation, Constraint logic programming, Set constraints
21	Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre	Mastering Test Generation from Smart Card Software Formal Models.	CASSIS	2004	DBLP DOI BibTeX RDF	boundary testing, smart card standard, formal specifications, functional testing, Automated test generation
21	Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer	From Pre-Historic to Post-Modern Symbolic Model Checking.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	forward traversal, regular specifications, symbolic model checking, calculus
21	Marc Frappier, Régine Laleau	Proving Event Ordering Properties for Information Systems.	ZB	2003	DBLP DOI BibTeX RDF	E3, trace-based specifications, refinement, process algebra, B
21	J. Christian Attiogbé, Pascal Poizat, Gwen Salaün	Integration of Formal Datatypes within State Diagrams.	FASE	2003	DBLP DOI BibTeX RDF	formal methods integration, Z, algebraic specifications, B, state diagrams
21	Ryszard Janicki, Emil Sekerinski	Foundations of the Trace Assertion Method of Module Interface Specification.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	Module interface specifications, trace assertion method, module refinement, tabular notation, state machines, nondeterminism, relational model, Mealy machines, step-sequences
21	Calvin Ko, Manfred Ruschitzka, Karl N. Levitt	Execution Monitoring of Security-Critical Programs in Distributed Systems: A Specification-Based Approach.	S&P	1997	DBLP DOI BibTeX RDF	security-critical program execution monitoring, specification-based approach, program vulnerabilities, security specifications, real-time intrusion detection system, Unix setuid root programs, system attack detection, security violations, distributed systems, synchronization, system monitoring, audit trails, formal framework
21	Yves Ledru	Using KIDS as a Tool Support for VDM.	ICSE	1996	DBLP BibTeX RDF	KIDS, REGROUP, VDM specifications, correctness preserving transformations, executable prototypes synthesis, proof of consistency, formal specification, REFINE, theorem proving, program verification, specification languages, tool support, theorem prover, VDM
21	Jonathan Lee, Wei T. Huang, Cheng-Kai Chang, Jiann-I Pan	Expressing JSD in Z.	COMPSAC	1995	DBLP DOI BibTeX RDF	Informal Methods, Jackson System Development (JSD), Formal Specifications, Z, Methods Integration
21	G. A. Venkatesh, Charles N. Fischer	SPARE: A Development Environment For Program Analysis Algorithms.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	program analysis specifications, high-level specification language, SPARE, structured program analysis refinement environment, denotational specification, formal specification, testing, software tools, software tools, programming environments, specification languages, program testing, development environment, correctness proofs
21	Angelo Morzenti, Dino Mandrioli, Carlo Ghezzi	A Model Parametric Real-Time Logic.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	real-time systems, formal specifications, temporal logic, first-order logic, requirements validation, model-theoretic semantics
21	Ferhat Khendek, Gregor von Bochmann, Christian Kant	New Results on Deriving Protocol Specifications from Service Specifications.	SIGCOMM	1989	DBLP DOI BibTeX RDF
20	Peter Fritzson, Adrian Pop, David Broman, Peter Aronsson	Formal Semantics Based Translator Generation and Tool Development in Practice.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
20	V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee 0001	Merlin: specification inference for explicit information flow problems.	PLDI	2009	DBLP DOI BibTeX RDF	security analysis tools, specification inference
20	Wishnu Prasetya, Tanja E. J. Vos, Arthur I. Baars	Trace-based Reflexive Testing of OO Programs with T2.	ICST	2008	DBLP DOI BibTeX RDF	trace based testing, sequence based testing, unit testing, automated testing
20	Peter Tawdross, Andreas König 0001	Mixtrinsic Multi-Objective Reconfiguration of Evolvable Sensor Electronics.	AHS	2007	DBLP DOI BibTeX RDF
20	Michael D. Ernst	The Groupthink Specification Exercise.	Software Education and Training Sessions @ ICSE	2005	DBLP DOI BibTeX RDF
20	Michael D. Ernst, John Chapin	The groupthink specification exercise.	ICSE	2005	DBLP DOI BibTeX RDF
20	Hong Mei 0001	ABC: Supporting Software Architectures in the Whole Lifecycle.	SEFM	2004	DBLP DOI BibTeX RDF
20	Hung Ledang, Jeanine Souquières	Contributions for Modelling UML State-Charts in B.	IFM	2002	DBLP DOI BibTeX RDF	class operation, B abstract machine, B operation, UML, event, activity, B method, state-chart
20	Mesfin Belachew, R. K. Shyamasundar	MSC+: From Requirement to Prototyped Systems.	ECRTS	2001	DBLP DOI BibTeX RDF	hMSCs, Requirement Specification, Preemption, MSCs
20	Nancy G. Leveson	Experiences in Designing and Using Formal Specification Languages for Embedded Control Software.	HSCC	2000	DBLP DOI BibTeX RDF
20	Ulrich Hensel, Marieke Huisman, Bart Jacobs 0001, Hendrik Tews	Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools.	ESOP	1998	DBLP DOI BibTeX RDF
20	Andrei Voronkov	On Completeness of Program Synthesis Systems.	CSL	1991	DBLP DOI BibTeX RDF
20	Hartmut Ehrig, Werner Fey, Francesco Parisi-Presicce, Edward K. Blum	Algebraic Theory of Module Specification with Constraints.	MFCS	1986	DBLP DOI BibTeX RDF
20	Emina Torlak, Mandana Vaziri, Julian Dolby	MemSAT: checking axiomatic specifications of memory models.	PLDI	2010	DBLP DOI BibTeX RDF	sat, bounded model checking, memory models, axiomatic specifications
20	Carlo Combi, Sara Degani	Building Logical Specifications of Temporal Granularities through Algebraic Operators.	TIME	2009	DBLP DOI BibTeX RDF	temporal granularity, granularity specifications, temporal logics
20	Michael Pradel, Thomas R. Gross	Automatic Generation of Object Usage Specifications from Large Method Traces.	ASE	2009	DBLP DOI BibTeX RDF	formal specifications, dynamic analysis, temporal properties, Specification inference
20	José Raúl Romero, Juan Ignacio Jaen, Antonio Vallecillo	Realizing Correspondences in Multi-viewpoint Specifications.	EDOC	2009	DBLP DOI BibTeX RDF	multi-viewpoint specifications, viewpoint correspondences, architectural frameworks
20	Riham Hassan, Shawn A. Bohner, Sherif El-Kassas, Mohamed Eltoweissy	Goal-Oriented, B-Based Formal Derivation of Security Design Specifications from Security Requirements.	ARES	2008	DBLP DOI BibTeX RDF	Goal-oriented security requirements engineering, attack analysis, formal methods, threat models, design specifications
20	Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif	Automating Algebraic Specifications of Non-freely Generated Data Types.	ATVA	2008	DBLP DOI BibTeX RDF	SAT checking, theorem proving, first-order logic, abstract data types, Algebraic specifications, finite models
20	Narasimha Bolloju, Sherry Xiaoyun Sun	Exploiting the Complementary Relationship between Use Case Models and Activity Diagrams for Developing Quality Requirements Specifications.	ER Workshops	2008	DBLP DOI BibTeX RDF	quality requirements specifications, activity diagrams, Use case models
20	Christopher P. Fuhrman	Lightweight models for interpreting informal specifications.	Requir. Eng.	2003	DBLP DOI BibTeX RDF	Informal specifications, Iterative software development, Lightweight models, Request for Comments (RFC), Trivial File Transfer, Protocol (TFTP)SPIN, Process, PROMELA
20	Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl	Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Model checking specifications, Abstraction, Numeric constraints
20	Dorin Bogdan Petriu, C. Murray Woodside	Analysing software requirements specifications for performance.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	performance, specifications, completion, nonfunctional requirements, use case maps
20	Peter Pfahler, Uwe Kastens	Configuring Component-based Specifications for Domain-Specific Languages.	HICSS	2001	DBLP DOI BibTeX RDF	Component-based language specifications, Language Design Assistant, Jacob, Eli, Domain-specific languages
20	Carl A. Gunter, Elsa L. Gunter, Michael Jackson 0001, Pamela Zave	A Reference Model for Requirements and Specifications-Extended Abstract.	ICRE	2000	DBLP DOI BibTeX RDF	formal methods, specifications, refinement, requirements, software engineering methodology
20	Tereza G. Kirner	Applying the SCR Method in Software Requirements Specifications.	SCCC	2000	DBLP DOI BibTeX RDF	SCR method, Software Cost Reduction method, real-time process control systems, liquid mixture system, real-time systems, formal specification, case study, process control, software cost estimation, software requirements specifications
20	Chia-Chu Chiang, David Neubart	Constructing Reusable Specifications Through Analogy.	SAC	1999	DBLP DOI BibTeX RDF	TUG, specifications, reusability, formality
20	Phillip Baraona, Perry Alexander	Representing abstract architectures with axiomatic specifications and activation conditions.	ECBS	1997	DBLP DOI BibTeX RDF	abstract architectures representation, activation conditions, VSPEC, Larch interface language, axiomatic style, formal specification, VHDL, formal semantics, formal analysis, axiomatic specifications
20	Zhanping Chen, Kaushik Roy 0001, Tan-Li Chou	Power sensitivity - a new method to estimate power dissipation considering uncertain specifications of primary inputs.	ICCAD	1997	DBLP DOI BibTeX RDF	Monte Carlo based approach, maximum bounds, minimum bounds, power dissipation estimation, power sensitivity, primary inputs, signal properties, signal switching, uncertain specifications, logic CAD, CMOS logic circuits, power estimation, CMOS circuits, signal probability, statistical technique
20	Minsoo Ryu, Seongsoo Hong, Manas Saksena	Streamlining real-time controller design: From performance specifications to end-to-end timing constraints.	IEEE Real Time Technology and Applications Symposium	1997	DBLP DOI BibTeX RDF	real-time controller design, performance specifications, end-to-end timing constraints, control theoretic approach, schedulability constraint, control output responses, steady state error maximum overshoot, rise time, loop processing periods, input-to-output latency, heuristic optimization algorithm, embedded real-time controller, period calibration method, real-time systems, performance requirements, control performance, real-time control system, temporal requirements, settling time
20	Biplav Srivastava, Subbarao Kambhampati, Amol Dattatraya Mali	A Structured Approach for Synthesizing Planners from Specifications.	ASE	1997	DBLP DOI BibTeX RDF	planners synthesis, domain-independent approach, error-proneness, manual coding, knowledge-based software synthesis tools, CLAY, Kestrel Interactive Development System, declarative control knowledge, AI, specifications, knowledge based systems, structured approach
20	Mourad Debbabi, Mohamed Mejri, Nadia Tawbi, I. Yahmadi	From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm.	WETICE	1997	DBLP DOI BibTeX RDF	authentication protocol specifications, flaws, automatic formal algorithm, protocol roles, intruder communication abilities, intruder computational abilities, protocol instrumentations, formal verification, encryption, message authentication, decryption, attack scenarios, deductive system
20	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
20	Giancarlo Succi, Francesco Baruchelli, Marco Ronchetti	A taxonomy for identifying a software component for uncertain and partial specifications.	SAC	1996	DBLP DOI BibTeX RDF	uncertain specifications, classification, reuse, retrieval
20	Thomas Gehrke, Michaela Huhn	ProFun - A Language for Executable Specifications.	PLILP	1996	DBLP DOI BibTeX RDF	Integration of, Concurrent and Functional Programming, Language Design, Executable Specifications, Formal Reasoning
20	A. W. Roscoe 0001	Intensional specifications of security protocols.	CSFW	1996	DBLP DOI BibTeX RDF	intensional specifications, formal specification, cryptography, security protocols, cryptographic protocols, confidentiality, access protocols
20	Klaas Brink, Jan van Katwijk, W. J. Toetenel	Ada 95 as implementation vehicle for formal specifications.	RTCSA	1996	DBLP DOI BibTeX RDF	implementation vehicle, transformation steps, real-time systems, formal specification, formal specifications, Ada 95, system requirements
20	Reinhard Rauscher, Andreas Krause 0007	A System for Heuristic Modifications on PLA - Specifications.	EUROMICRO	1996	DBLP DOI BibTeX RDF	heuristic modifications, PLA-specifications, numerical exactness, implicated deviation, optimization tool, HOPE, ESPRESSO, programmable logic arrays, binary coding
20	Jan A. Bergstra, John V. Tucker	Equational Specifications, Complete Term Rewriting Systems, and Computable and Semicomputable Algebras.	J. ACM	1995	DBLP DOI BibTeX RDF	computable and semicomputable algebras, equational specifications with hidden functions, many sorted algebras
20	Carlos Paredes, José Luiz Fiadeiro	Reuse of Requirements and Specifications: A Formal Framework.	SSR	1995	DBLP DOI BibTeX RDF	formal specifications, reuse, theories, object, features, categories, functional requirements
20	Hans Samsom, Frank H. M. Franssen, Francky Catthoor, Hugo De Man	System level verification of video and image processing specifications.	ISSS	1995	DBLP DOI BibTeX RDF	formal verification method, front-end telecom, image processing specifications, loop ordering, system level verification, computational complexity, image processing, complexity, formal specification, formal verification, video processing, numerical computing
20	Susan M. Üsküdarli, T. B. Dinesh	Towards a Visual Programming Environment Generator for Algebraic Specifications.	VL	1995	DBLP DOI BibTeX RDF	visual programming environment generator, special purpose languages, formally specified languages, picture definition language, VODL, language syntax, visual editors, formal specification, software tools, visual programming, visual languages, visual languages, algebraic specification, algebraic specifications, visual specification
20	Pam Binns, Steve Vestal	Architecture specifications for complex real-time dependable systems.	ICECCS	1995	DBLP DOI BibTeX RDF	complex real-time dependable systems, automated analytic modeling, automated system implementation, real-time systems, formal specification, program verification, specification languages, specification languages, formal models, program correctness, architecture specifications
20	Miguel Felder, Dino Mandrioli, Angelo Morzenti	Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	property proving, logical specifications, TRIO, Hoare method, dual language, real-time systems, real-time systems, embedded systems, formal specification, formal specification, Petri nets, temporal logic, temporal logic, theorem proving, first-order logic, timed Petri net, formal analysis, axiomatization
20	David E. Evans 0001, John V. Guttag, James J. Horning, Yang Meng Tan	LCLint: A Tool for Using Specifications to Check Code.	SIGSOFT FSE	1994	DBLP DOI BibTeX RDF	LCLint, lint, specifications, C, static checking, Larch
20	William J. Hankley, Peikun Tsai	A Verification Helper for Task Specifications.	SAC	1993	DBLP DOI BibTeX RDF	verification, Ada, Ada, specifications, temporal logic, tools, concurrent systems
20	Alexander Borgida, John Mylopoulos, Raymond Reiter	"...And Nothing Else Changes": The Frame Problem in Procedure Specifications.	ICSE	1993	DBLP BibTeX RDF	semantics of specification languages, formal specifications, inheritance, formal specification languages, proof obligations
20	Piyu Tripathy, Behçet Sarikaya	Test Generation from LOTOS Specifications.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	LOTOS specifications, formal specification, protocols, finite state machine, specification languages, program testing, program testing, transformation rules, chart, protocol conformance testing
20	Yoshiaki Kakuda, Hironori Saito	An Integrated Approach to Design of Protocol Specifications Using Protocol Validation and Synthesis.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	acyclic-expansion-based protocol validation, state transition sequences, CAPE, computer-aided protocol engineering, design, formal specification, protocols, integrated system, protocol specifications, integrated approach, software module, protocol synthesis
20	Deepinder P. Sidhu, Carole S. Crall	Executable Logic Specifications for Protocol Service Interfaces.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	executable logic specifications, protocol service interfaces, formal modeling technique, logic-programming-based language, protocol layers, protocol standards, ISO/OSI, protocols, Prolog, PROLOG, specification languages, correctness, formal language, formal languages, transport layer
20	Jean-Jacques Thiel	Stop Losing Sleep Over Incomplete Data Type Specifications.	POPL	1984	DBLP DOI BibTeX RDF	Data types specifications, Completeness, Unification, Term rewriting systems, Substitutions, Equational theories
19	Jacob Burnim, Koushik Sen	DETERMIN: inferring likely deterministic specifications of multithreaded programs.	ICSE (1)	2010	DBLP DOI BibTeX RDF	parallel programs, determinism, specification inference