Search results for "specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
33	Nils Klarlund, Mogens Nielsen, Kim Sunesen	A Case Study in Verification Based on Trace Abstractions.	Formal Systems Specification	1994	DBLP DOI BibTeX RDF
33	Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise	The Methodology of Modal Constraints.	Formal Systems Specification	1994	DBLP DOI BibTeX RDF
33	James K. Huggins	Kermit: specification and verification.	Specification and validation methods	1993	DBLP BibTeX RDF
33	Yuri Gurevich, Raghu Mani	Group membership protocol: specification and verification.	Specification and validation methods	1993	DBLP BibTeX RDF
33	Werner Damm, Bernhard Josko, Rainer Schlör	Specification and verification of VHDL-based system-level hardware designs.	Specification and validation methods	1993	DBLP BibTeX RDF
33	Egon Börger, Rosario F. Salamone	CLAM specification for provably correct compilation of CLP( R ) programs.	Specification and validation methods	1993	DBLP BibTeX RDF
33	Dean Rosenzweig, Egon Börger, Yuri Gurevich	The bakery algorithm: yet another specification and verification.	Specification and validation methods	1993	DBLP BibTeX RDF
33	David M. Russinoff	Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits.	Specification and validation methods	1993	DBLP BibTeX RDF
33	Peter Gorm Larsen	Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
33	T. B. Dinesh	Type-Checking Revisited: Modular Error-Handling.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
33	Gerard R. Renardel de Lavalette	From Implicit via Inductive to Explicit Definitions.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
33	Stephan Kleuker	Case Study: Stepwise Development of a Communication Processor Using Trace Logic.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
33	Loe M. G. Feijs	An Overview of the Development of COLD.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
33	John S. Fitzgerald, R. Moore	Experiences in Developing a Proof Theory for VDM Specifications.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
33	Hans Toetenel	Loose Real-Time Communicating Agents.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
33	Gerard R. Renardel de Lavalette	The Static Part of the Design Language COLD-K.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
33	Stefan Kahrs, Donald Sannella, Andrzej Tarlecki	The Semantics of Extended ML: A Gentle Introduction.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
33	Stephen Brien	The Development of Z.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
33	Jan Friso Groote, Alban Ponse	Proof Theory for µCRL: A Language for Processes with Data.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
33	Bart Botma	Rendez-vous with Bundle Event Structures.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
33	M. P. A. Sellink	Verifying Process Algebra Proofs in Type Theory.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
33	Flemming M. Damm, Bo Stig Hansen	Generation of Proof Obligations for Type Consistency.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
33	Djamel-Eddine Saïdouni, Jean-Pierre Courtiat	Syntactic Action Refinement in Presence of Multiway Synchronization.	Semantics of Specification Languages	1993	DBLP DOI BibTeX RDF
33	Donal Roantree, Maurice Clint	A Specification-Verification Framework for Distributed Applications Software.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
33	David R. Gilbert	Specification and Implementation of Concurrent Systems using PARLOG.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
33	Sören Holmström	Hennessy-Milner Logic with Recursion as a Specification Language, and a Refinement Calculus based on It.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
33	David Freestone	Specification and Verification in Communications Standards.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
33	Stephen A. Schuman, David H. Pitt, Paddy H. Byers	Object-Oriented Process Specification.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
33	Stuart Richard Matthews	The Specification and Design of a Nondeterministic Data Structure Using CCS.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
33	Peter Dybjer, Herbert P. Sander	A Functional Programming Approach to the Specification and Verification of Concurrent Systems.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
33	Jeffrey J. Joyce	Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
33	Jonathan Billington	A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
33	Zohar Manna, Amir Pnueli	Specification and Verification of Concurrent Programs by forall-Automata.	Temporal Logic in Specification	1987	DBLP DOI BibTeX RDF
33	Job Zwiers, Willem P. de Roever	Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach.	Temporal Logic in Specification	1987	DBLP DOI BibTeX RDF
33	Jolanta Cybulka, Jerzy Bartoszek	The proof-checking component for the PLEATS programming system enabling specification of theories.	Mathematical Methods of Specification and Synthesis of Software Systems	1985	DBLP DOI BibTeX RDF
33	Jacques Loeckx	The algorithmic specification method of abstract data types: an overview.	Mathematical Methods of Specification and Synthesis of Software Systems	1985	DBLP DOI BibTeX RDF
33	Bernd Walter	Timed Petri-Nets for Modelling and Analyzing Protocols with Real-Time Characteristics.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Richard J. Linn Jr., J. Stephen Nightingale	Some Experience with Testing Tools for OSI Protocol Implementations.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Yechiam Yemini, Nihal Nounou	CUPID: A Protocol Development Environment.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	F. Mark Restorick	Implementation of a Protocol in an Assembly Language.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Luigi Logrippo	"Constructive" and "Executable" Specifications of Protocol Services by using Abstract Data Types and Finite State Transducers.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Omar Rafiq, Jean-Pierre Ansart	VADILOC - A Protocol Validator and Its Applications.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Richard J. Linn Jr., W. H. McCoy	Producing Tests for Implementations of OSI Protocols.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Matti Anttila, Harri Eriksson, Jukka Ikonen, Raimo Kujansuu, Leo Ojala, Heikki Tuominen	Tools ans Studies of Formal Techniques - Petri nets and Temporal Logic.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	George A. Harvey	The Routing Certification System.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	D. Rayner	Towards an Objective Understanding of Conformance.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Hasan Ural, Robert L. Probert	User-Guided Test Sequence Generation.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Hans Eckert, Rainer Prinoth	A Computation-System Based Method for Automated Proving of Protocols Against Services.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Deepinder P. Sidhu	Protocol Verification via Executable Logic Specifications.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Jean-Francois Billiard	Methodology and Tools for Qualitative Protocols Validation.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Günter Karjoth	A Behavioural Description Language for the Formal Treatment of Protocols in Distributed Systems.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Guy Juanole, B. Algayres	Analysis for the Design of a Couple Service-Protocol: Application to the Transport Connection Etablishment Phase.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Jean-Pierre Ansart, V. Chari, D. Simon	From Formal Description to Automated Implementation using PDIL (Protocol Description and Implementation Language).	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Stanislaw Budkowski, Elie Najm	Structured Finite State Automata - A new approach for modelling distributed communications systems.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Gerard J. Holzmann, Rob A. Beukers	The Pandora Protocol Development System.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Alan E. Baratz, Adrian Segall	A Reliable Link Initialization Procedure.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Robert E. Strom, Shaula Yemini	Design, Implementation, and Validation of Secure Communications Systems.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Alfred Gießler	Testing and Diagnosis Aids for Higher Level Protocols.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Gerard Florin, Stéphane Natkin, A. Woog, J. Attal	Quantitative Validation for Industrial Ethernet Local Networks.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Mohamed G. Gouda	An Example for Constructing Communicating Machines by Step-Wise Refinement.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	G. W. Cowin, R. W. S. Hale, D. Rayner	Protocol Product Testing - Some Comparisons and Lessons.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Sergio Palazzo, P. Fogliata, Gesualdo Le Moli	A Layer-Independent Architecture for a Testing System of Protocol Implementations.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Rune Gustavsson, Björn Pehrson	The Power of some Formal Models of Distributed Computing.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Carl A. Sunshine	Experience with automated Protocol Verification.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Robin M. S. Cork	The Testing of Protocols in SNA Products - An Overview.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Miguel Menasche, Bernard Berthomieu	Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Thomas P. Blumer, Deepinder P. Sidhu	Experience with an Automated Protocol Development System.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	W. Ansaldi, C. Boccalini, M. Olobardi, A. M. Traverso	Design of a Transport Layer Protocol for a Special Purpose LAN.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Björn Pehrson	Abstraction by Structural Reduction.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
33	Jørgen Steensgaard-Madsen	Program Specification by Module Trees.	Program Specification	1981	DBLP DOI BibTeX RDF
33	William R. Franta, William Earl Boebert, Helmut K. Berg	An Approach to the Specification of Distributed Software.	The Use of Formal Specification of Software	1979	DBLP DOI BibTeX RDF
33	Helmut K. Berg, Wolfgang K. Giloi	Hierarchical Specification of Abstract Data Types.	The Use of Formal Specification of Software	1979	DBLP DOI BibTeX RDF
33	Sun-Jen Huang, Richard Lai 0001	Estimating the size of an Estelle specification for a communication protocol.	COMPSAC	1997	DBLP DOI BibTeX RDF	Estelle specification size estimation, software size models, formal communication protocol development, informal specification, formal specification
33	Jun'ichi Miyao, Shi-Kuo Chang	A Framework of a Visual Language with Dynamic Specification.	VL	1995	DBLP DOI BibTeX RDF	dynamic specification, complex software behavior, object oriented visual language, formal specification, time, user profile, visual programming, visual languages, visual language, object-oriented languages, snapshot, overlap, sweep, visualized specification, dynamic objects, input data
33	J. William Atwood, Y. Zhang	A definition of the XTP service and its formal specification.	LCN	1995	DBLP DOI BibTeX RDF	XTP service, Xpress Transfer Protocol, transport-level protocol, network-level protocol, unicast environment, multicast environment, specification architecture, data type definitions, process structures, distributed systems, real-time systems, real-time systems, formal specification, formal specification, local area networks, transport protocols, multimedia systems, multimedia systems, open systems, LOTOS
33	Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein	A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	heterogeneous components, multiple ViewPoints, partial requirements specifications, inter-ViewPoint communication, ViewPoints framework, requirements specification method, computer-based ViewPoints support, The Viewer, formal specification, requirements specification, CORE, multiple views, consistency checking, inconsistency management
33	Fevzi Belli, Karl-Erwin Großpietsch	Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	fault tolerance properties, formal overview, sequential behavior, single-system components, model layers, stepwise-refined specification, multistory shelving system model, formal specification, formal specification, Petri nets, fault tolerant computing, software reliability, redundancy, error detection, regular expressions, system behavior, complex software systems, predicate/transition net, system description
33	Reg G. Willson, Bruce H. Krogh	Petri Net Tools for the Specification and Analysis of Discrete Controllers.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Petri net tools, discrete controllers, discrete-state systems, rule-based state-variable-specification formalism, interconnected state machines, reduced reachability graphs, discrete manufacturing systems, modeling, formal specification, Petri nets, specification, controllers, computerised control, discrete systems
33	Mark Bickford, Mandayam K. Srivas	Verification of a Pipelined Microprocessor Using Clio.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF
33	Yingxu Wang 0001	Real-Time Process Algebra and Its Applications.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF	descriptive mathematics, 3-D problems, static/dynamic behaviors specification, Software engineering, real-time systems, formal methods, algebraic specification, architecture specification
33	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
32	Hejiao Huang, Hélène Kirchner	Component-Based Security Policy Design with Colored Petri Nets.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF	security policy, colored Petri net, specification and verification, property-preservation
32	Flavio Bonfatti, Paola Daniela Monari, Gianni Gadda	Bridging structural and software design of PLC-based system families.	ICECCS	1995	DBLP DOI BibTeX RDF	PLC-based system families, product complexity, European Union funded projects, family-based product modelling technique, ESPRIT project 8224-RUMS, structural design phase, object-oriented PLC specification language, ESPRIT/ESSI project 10542-EASIER, software design phase, software engineering, formal specification, object-oriented programming, specification languages, software design, requirement specification, structural design, programmable controllers, system structure, control software
32	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
32	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
32	Pamela Zave	An Insider's Evaluation of PAISLey.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	PAISLey, analysis techniques, formal specification, software tools, software tools, specification languages, executable specification, specification methods
32	R. K. Shyamasundar, James W. Thatcher	Language Constructs for Specifying Concurrency in CDL*.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	CDL* concurrency specification, dynamically allocating resources, CDL*, distributed programming languages, parallel programming, data integrity, data integrity, anonymity, specification languages, mutual exclusion, expressiveness, specification techniques, modular specification, language constructs, abstraction mechanisms, dynamic resource management
32	Cliff B. Jones	Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended Abstract.	ZB	2005	DBLP DOI BibTeX RDF
32	David Lo 0001, Siau-Cheng Khoo	QUARK: Empirical Assessment of Automaton-based Specification Miners.	WCRE	2006	DBLP DOI BibTeX RDF
32	Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes	Applying Formal Specification in Industry.	IEEE Softw.	1996	DBLP DOI BibTeX RDF
32	Kelly I. Morrison	GRASP: an executable specification language for Ada tasking.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	Ada, GRASP
31	Barrett R. Bryant, Beum-Seuk Lee	Two-Level Grammar as an Object-Oriented Requirements Specification Language.	HICSS	2002	DBLP DOI BibTeX RDF	Object-Oriented Software Construction, Formal Specification, Vienna Development Method, Two-Level Grammar
31	Kentaro Go, Norio Shiratori	A Decomposition of a Formal Specification: An Improved Constraint Oriented Method.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	constraint-oriented method, Formal specification, decomposition, bisimulation, equivalence, LOTOS
31	Gabriel Ciobanu, Dorel Lucanu	Specification and Verification of Synchronizing Concurrent Objects.	IFM	2004	DBLP DOI BibTeX RDF	hidden algebra, model checking, integration, temporal logics, Algebraic specification, concurrent systems, CCS, object-oriented specification
31	Henrikas Pranevicius	The Use of Aggregate and Z Formal Methods for Specification and Analysis of Distributed Systems.	ADBIS	2001	DBLP DOI BibTeX RDF	aggregate approach, logistics centre, simulation, Distributed systems, formal specification, validation, Z specification language
31	Christine Choppy, Pascal Poizat, Jean-Claude Royer	Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation.	FASE	2001	DBLP DOI BibTeX RDF	mixed specification, symbolic transition systems, Korrigan, UML, formal specification, graphical notation
31	Bettina Sucrow	Formal Specification of Human-Computer Interaction by Graph Grammars under Consideration of Information Resources.	ASE	1997	DBLP DOI BibTeX RDF	design stages, environmental cues, flight management system, human-computer interaction, formal specification, formal specification, interactive system, safety-critical system, graph grammars, information resources, aircraft, flight deck
31	Hoon Choi, Kidong Nam, Sun You Kim	Specification of video-on-demand service using object oriented technique.	ICCCN	1995	DBLP DOI BibTeX RDF	VOD service specification, ITU-T service modeling frame, prose description, static description, service attributes, dynamic description, event trace diagram, VOD service protocols, broadband services, formal specification, interactive video, video on demand service, object oriented technique
31	K. T. Narayana, Sanjeev Dharap	Formal Specification of a Look Manager.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	look manager, graphical interface software, user interfaces, formal specification, formal specification, computer graphics, modularity, interactive systems, formal model, Z notation, texturing model, dialog system
31	Silvia Clerici, Fernando Orejas	GSBL: An Algebraic Specification Language Based on Inheritance.	ECOOP	1988	DBLP DOI BibTeX RDF	genericity, specification languages, inheritance, Algebraic specification