Search results for "specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Riccardo Mattolini, Paolo Nesi	An Interval Logic for Real-Time System Specification.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	real-time systems, first order logic, verification and validation, Formal specification language, temporal interval logic
24	Pierfrancesco Bellini, Paolo Nesi	Communicating TILCO: A Model for Real-Time System Specification.	ICECCS	2001	DBLP DOI BibTeX RDF	real-time systems, first order logic, verification and validation, formal specification language, temporal interval logic
24	Sergio Antoy, Richard G. Hamlet	Automatically Checking an Implementation against Its Formal Specification.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Self-checking code, object-oriented software testing, formal specification, rewriting
24	Tevfik Bultan	Action Language: a specification language for model checking reactive systems.	ICSE	2000	DBLP DOI BibTeX RDF	model checking, specification languages, reactive systems
24	Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge	Deriving Software Specifications from Event Based Models.	ZB	2000	DBLP DOI BibTeX RDF	System Property, Environment Interaction, Shared module, Distributed System, Refinement, Event, System model, Concurrent Process, Program Specification, Atomic Operation
24	Leslie Lamport, Lawrence C. Paulson	Should your specification language be typed.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	specification, types, set theory
24	Bouchaib Bounabat, Rahal Romadi, Salah Labhalla	Designing Multi-Agent Reactive Systems: A Specification Method Based on Reactive Decisional Agents.	PRIMA	1999	DBLP DOI BibTeX RDF	Reactive agent, verification, formal methods, specification, Reactive systems
24	Jarno Knuutila	System Specification of Wireless Multimedia Engines: A Data Fusion Approach.	RTCSA	1999	DBLP DOI BibTeX RDF	Multimedia Application Platforms, Specification of Embedded Systems, Wireless Multimedia
24	Peter Frey, Radharamanan Radhakrishnan, Philip A. Wilsey, Perry Alexander, Harold W. Carter	An Extensible Formal Framework for the Specification and Verification of an Optimistic Simulation Protocol.	HICSS	1999	DBLP DOI BibTeX RDF	Software Engineering, Theorem Proving, Parallel Discrete Event Simulation, PVS, Formal specification and verification
24	Bard Bloom, Allan Cheng, Ashvin Dsouza	Using a Protean Language to Enhance Expressiveness in Specification.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	model checking, verification, Formal methods, specification, process algebra, structured operational semantics
24	Rachid Helaihel, Kunle Olukotun	Java as a specification language for hardware-software systems.	ICCAD	1997	DBLP DOI BibTeX RDF	java, Java, specification languages, hardware-software co-design
24	Chuchang Liu, Mehmet A. Orgun	A Constraint Mechanism for Knowlege Specification of Simulation Systems Based on Temporal Logic.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF	knowledge specification, simulation, logic programming, temporal logic
24	Dieter Nazareth	The Semantic Treatment of Polymorphic Specification Languages.	ALP	1996	DBLP DOI BibTeX RDF	polymorphic type system, algebraic semantics, axiomatic specification
24	Christian Creveuil, Gruia-Catalin Roman	Formal Specification and Designof a Message Router.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	formal methods, UNITY, program derivation, specification refinement
24	Jacques Calmet, Indra A. Tjandra	Building Bridges Between Knowledge Representation and Algebraic Specification.	ISMIS	1994	DBLP DOI BibTeX RDF	modeling mathematical domains of computation, knowledge representation, program transformation, Methodology, algebraic specification
24	Manfred Broy	Functional Specification of Time-Sensitive Communicating Systems.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF	functional system models, real-time systems, specification
24	David Gray	The Formal Specification of a Small Bookshop Information System.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	small bookshop information system, scheme calculus, software engineering, formal specification, programming theory, set theory
24	Arul Ganesh, K. Gopinath	SPKI/SDSI certificate chain discovery with generic constraints.	Bangalore Compute Conf.	2008	DBLP DOI BibTeX RDF	WPDS, certificate chain, validity specification, security, policy, SPKI/SDSI
24	Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher	Action Refinement from a Logical Point of View.	VMCAI	2003	DBLP DOI BibTeX RDF	verification, specification, modal logics, reactive systems, action refinement
24	Scott P. Overmyer	A Methodology for Constructing User-Oriented Requirements Specifications for Large-Scale Systems Using Electronic Hypermedia.	Requir. Eng.	1999	DBLP DOI BibTeX RDF	Multimedia, specification, Requirements, Rapid prototyping
24	Murali Kaundinya, Ali Syed	Modeling event driven applications with a specification language (MEDASL).	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	DASL/OQL, application usage specification (AUS), business object specification (BOS), domain-specific-languages (DSL), model driven development, enterprise application integration (EAI)
24	Murali Kaundinya, Ali Syed	Modeling event driven applications with a specification language (MEDASL).	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	DASL/OQL, application usage specification (AUS), business object specification (BOS), domain-specific- languages (DSL), model driven development, enterprise application integration (EAI)
24	Ravi Balakrishnan	A Service Framework Specification for Dynamic e-Services Interaction.	EDOC	2000	DBLP DOI BibTeX RDF	service framework specification, dynamic e-services interaction, totally inter-operable ecosystem, business-to-consumer, supply chain automation, collaborative e-commerce, trading exchanges, e-speak Service Framework Specification, truly inter-operable ecosystem, XML based business process schemas, electronic commerce, ecosystems, e-procurement, business-to-business, intelligent interaction
24	Charles Pecheur	Specification and Verification of the Co4 Distributed Knowledge System using LOTOS.	ASE	1997	DBLP DOI BibTeX RDF	Co/sub 4/ distributed knowledge system, consensual decision protocol, distributed knowledge base, ISO formal description technique, knowledge consistency, verification, formal specification, formal specification, safety, LOTOS, liveness properties
24	Fabiano Borges Paulo, Paulo César Masiero, Maria Cristina Ferreira de Oliveira	Hypercharts: extended statecharts to support hypermedia specification.	ICECCS	1997	DBLP DOI BibTeX RDF	hypercharts, extended statecharts, hypermedia specification, information synchronization requirements, timed history, timed transitions, Petri net based multimedia models, statechart models, hypermedia, synchronization mechanisms, temporal specification
24	Ramkumar V. Pichai, Joseph E. Urban	A technique for validating Booch object-oriented designs from extensions to the Descartes specification language.	HASE	1996	DBLP DOI BibTeX RDF	Booch object-oriented design validation, Descartes specification language, executable specification language, traceability approach, real time systems, software reliability, rapid prototyping, object-oriented methods, CASE tool, safety critical software, secure systems, software validation, high assurance systems
24	Yong Sun, Hongji Yang	Communication Mechanism Independent Protocol Specification Based on CSP: A Case Study.	EUROMICRO	1996	DBLP DOI BibTeX RDF	communication mechanism independent protocol specification, abstract synchronous communication mechanism, asynchronous communication mechanisms, computer network protocols, specification, communicating sequential processes, communicating sequential processes, alternating bit protocol, communication mechanism
24	Krishna Kishore Dhara, Gary T. Leavens	Forcing Behavioral Subtyping through Specification Inheritance.	ICSE	1996	DBLP BibTeX RDF	code reverification, specification inheritance, formal specification, object-oriented programming, C++, message passing, inheritance, object-oriented software, behavioral subtyping
24	Paulo Roberto Pierri Tepedino, Tereza G. Kirner	Specification and design of distributed hard real-time systems.	PDP	1995	DBLP DOI BibTeX RDF	distributed hard real-time systems, pre run time scheduling, HRTS, real-time systems, formal specification, graph theory, specification, distributed processing, software design, integrated approach, graph-based model
24	M. Esen Tuna, Kamlesh Rath, Steven D. Johnson	Specification and synthesis of bounded indirection.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	bounded indirection, complex control structures, dynamic connections, control state indirection, value indirection, net indirection, behavior tables, data path descriptions, DMA controller, formal specification, high level synthesis, finite state machines, interrupts, interrupts, continuations, hardware description languages, hardware description languages, pointers, system specification, data flow computing, control system CAD
24	Grace Tsai, M. Insall, Bruce M. McMillin	Ensuring the satisfaction of a temporal specification at run-time.	ICECCS	1995	DBLP DOI BibTeX RDF	run-time temporal specification satisfaction, responsive computing system, run-time behavior, trace checking, fully distributed run-time evaluation system, train-set example, distributed system, real-time systems, real-time system, formal specification, temporal logic, distributed processing, software fault tolerance, fault-tolerant systems, interval temporal logic, operational environment
24	Elaine J. Weyuker, Tarak Goradia, Ashutosh Singh	Automatically Generating Test Data from a Boolean Specification.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	formal specification, software testing, program testing, costs, Boolean algebra, test data generation, black-box testing, automatic test case generation, Boolean specification, test set size, fault detection effectiveness
24	F. Keith Hanna, Neil Daeche, Mark Longley	Specification and Verification Using Dependent Types.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	VERITAS/sup +/, iterative structures, functional metalanguage, computational implementation, modeling, modelling, formal specification, theorem proving, theorem proving, iterative methods, dependent types, numerals, specification logic
24	Harold Ossher	A Case Study in Structure Specification: A Grid Description of Scribe.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	structure specification, grid mechanism, Scribe, document-processing system, grid specification, environment support, software engineering, data structures, computer graphics
24	Yu Wang	A Distributed Specification Model and Its Prototyping.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	distributed specification model, execution scheme, high-level state-transition language, SXL, software engineering, software engineering, complexity, prototyping, distributed processing, finite-state machine, specification languages, finite automata, high level languages, preconditions, switching systems, Boolean expressions, postconditions
23	David R. Musser, Zhiqing Shao	Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications.	ICFEM	2002	DBLP DOI BibTeX RDF	Specification techniques and languages, specification evolution and refinement, formal semantics
23	Jan van Katwijk, W. J. Toetenel	Comparing formal specifications by measuring.	RTCSA	1995	DBLP DOI BibTeX RDF	formal specification notations, software engineering, software engineering, formal specification, software development, computer science education, tool support, software development management, notation, executability, maturity, analyzability, software engineering courses
23	Flavio De Paoli, Francesco Tisato	CSDL: A Language for Cooperative Systems Design.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	cooperative systems design, CSDL, group activities, cooperation policy, conferencing systems, distributed systems, software architecture, CSCW, groupware, groupware, distributed processing, specification languages, specification language, cooperative systems, shared workspaces, design language, floor control
23	Linda A. Ness	L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	L.0, truly concurrent executable temporal logic language, true concurrency model, execution algorithm, standard imperative programming, state predicates, equality predicates, hierarchical message structure, Futurebus+, simulation, protocols, protocols, specification, temporal logic, specification languages, simulation languages
23	Brendan P. Mahony, Ian J. Hayes	A Case-Study in Timed Refinement: A Mine Pump.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	top-level refinement, simple mine pump control system, time-based systems, topologically continuous functions, discrete properties, basic building block, specification statement, refinement laws, computerized monitoring, pumps, formal specification, parallel processes, formal method, pipelined, theorem proving, mining, refinement calculus, design decisions, sequential programs, timed systems, proof of correctness
23	Gregor von Bochmann, Rachida Dssouli, J. R. Zhao	Trace Analysis for Conformance and Arbitration Testing.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	arbitration testing, implementation under test, IUT, communication protocol implementations, distributed test architectures, partial input/output traces, local observers, error-detection power, global knowledge, automated construction, trace analysis modules, reference specification, open systems interconnection, formal specification, protocols, transport protocol, program testing, open systems, conformance testing, conformance testing, OSI
23	Chris Matthews, Paul A. Swatman	Fuzzy concepts and formal methods: some illustrative examples.	APSEC	2000	DBLP DOI BibTeX RDF	fuzzy concepts, problem types, fuzzy logic toolkit, problem domains, soft preconditions, linguistically quantified propositions, modelling, formal specification, formal methods, fuzzy logic, information systems, requirements engineering, uncertainty, specification languages, specification languages, formal modelling, fuzzy set theory, fuzzy set theory, uncertainty handling, fuzzy relations, system requirements, imprecision, Z language
23	Arthur Alexander Reyes, Debra J. Richardson	Siddhartha: A Method for Developing Domain-Specific Test Driver Generators.	ASE	1999	DBLP DOI BibTeX RDF	unit under test, low testability, unit test driver, driver generator, formal test specification, formal specification, domain-specific language, specification-based testing
23	Denis Roegel	Specifying Almost-Real Concurrent Object-Oriented Programs.	PDP	1996	DBLP DOI BibTeX RDF	almost-real concurrent object-oriented programs, refinement chain, CTLA, structuring concerns, formal specification, parallel programming, parallel programming, object-oriented programming, specification, specification languages
23	Hans Toetenel, Ronald F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk	Modeling and analysis of complex computer systems-the MTCCS approach.	ICECCS	1996	DBLP DOI BibTeX RDF	complex computer systems modeling, complex computer systems analysis, MTCCS approach, work in progress, real time concurrent systems, non trivial data component, Timed CCS, Model Oriented Timed Calculus of Communicating Systems, model oriented data language, operational style, temporal logic properties, combination notation, verification, formal specification, formal specification, specification language, symbolic model checking, VDM
23	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
23	David W. Bustard, P. J. Lundy	Enhancing soft systems analysis with formal modelling.	RE	1995	DBLP DOI BibTeX RDF	soft systems analysis, initial requirements definition, informal SSM models, computing oriented analysis techniques, book ordering data processing, software requirements engineering method, formal specification, formal specification, software tools, software tools, specification languages, systems analysis, formal modelling, LOTOS, formal techniques, formal descriptions, Soft Systems Methodology, RACE
23	Yves Le Traon, Chantal Robach	Testability analysis of co-designed systems.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	co-designed data-flow specifications, high level testability analysis, information transfer graph, bipartite directed graph, SATAN tool, computer assisted specification diagram, all-nodes criterion, all-paths criterion, multiple clue strategy, start big strategy, diagnosis quality factor, software components testability, formal specification, fault diagnosis, program testing, data flow analysis, computer aided software engineering, hardware description languages, data flow graphs, testability analysis, automatic test software, functional specification, test set generation, avionics systems, hardware modelling
23	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
23	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
23	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
23	Shiu-Kai Chin, John Faust, Joseph Giordano	Integrating formal methods tools to support system design.	ICECCS	1995	DBLP DOI BibTeX RDF	formal methods tools integration, top-level process descriptions, gate-level hardware designs, simulators, formal specification, system design, specification languages, specification languages, systems analysis, system engineering, theorem-provers, computer-aided design tools, model checkers
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	Yingsha Liao, Donald Cohen	A Specificational Approach to High Level Program Monitoring and Measuring.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	program measurement, specificational approach, high level program monitoring, execution characteristics, instrumentation code, high-level specification language, augmented program, complexities, formal specification, software metrics, specification languages, automatic programming, system monitoring, special-purpose hardware
23	Edmond Mesrobian, Josef Skrzypek	A Software Environment For Studying Computational Neural Systems.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	graphics supports, computational neural systems, UCLA-SFINX, network specification language, arbitrary network structures, array constructs, X Windows System, formal specification, programming environments, specification languages, neural nets, digital simulation, simulation environment, software environment
23	Stanley Lee, Suzanne Sluizer	An Executable Language For Modeling Simple Behavior.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	state transition language, executable language, simple behavior, conventional state-transition framework, model behavior, logical invariants, entity-relationship structure, declarative logic, SXL, specification-oriented methods, formal specification, logic programming, software development, specification languages, modeling language, executable model, system behavior, requirements document, behavioral description
22	Shih-Chien Chou, Jason Jen-Yen Chen, Chian-Goei Chung	An executable specification language for specification understanding in object-oriented specification reuse.	Inf. Softw. Technol.	1996	DBLP DOI BibTeX RDF
22	Yongfeng Yan	Vers une ingénierie de la production de linguiciels : spécification et réalisation d'un prototype de poste de travail linguistique pour la spécification de correspondances structurales. (Toward an engineering of lingware production. Specification and implementation of a prototype linguistic workstation for specifying structural correspondences).		1987	RDF
22	Maria Törö, Jinsong Zhu, Victor C. M. Leung	SDL specification and verification of universal personal computing: with Object GEODE.	FORTE	1998	DBLP BibTeX RDF
22	Celso A. S. Santos, Jean-Pierre Courtiat, Pierre de Saqui-Sannes	A Design Methodology for the Formal Specification and Verification of Hypermedia Documents.	FORTE	1998	DBLP BibTeX RDF
22	L. Andriantsiferana, Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Picci	An Experiment in using RT-LOTOS for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring System.	FORTE	1997	DBLP BibTeX RDF
22	Andreas Ulrich, Hartmut König	Specification-based Testing of Concurrent Systems.	FORTE	1997	DBLP BibTeX RDF
22	Manuel J. Fernández-Iglesias, Martín Llamas Nistal	Algebraic Specification through Expression Transformation.	FORTE	1997	DBLP BibTeX RDF
22	Jacek Wytrebowicz	Hardware specification generated from Estelle.	PSTV	1995	DBLP BibTeX RDF
22	Mohamed Jmaiel	An algebraic-temporal specification of a CSMA/CD-protocol.	PSTV	1995	DBLP BibTeX RDF
22	Dieter Barnard, Simon Crosby	The specification and verification of an experimental ATM signalling protocol.	PSTV	1995	DBLP BibTeX RDF
22	Dietmar Wolz	Tool Design for Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
22	Eva Coscia, Gianna Reggio	Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
22	Hartmut Ehrig, Martin Große-Rhode, Uwe Wolter	On the Role of Category Theory in the Area of Algebraic Specification.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
22	Jakub Bojanowski, Michal Iglewski, Jan Madey, Abdellatif Obaid	Functional approach to protocols specification.	PSTV	1994	DBLP BibTeX RDF
22	Peter Herrmann, Heiko Krumm	Compositional specification and verification of high-speed transfer protocols.	PSTV	1994	DBLP BibTeX RDF
22	Hans-Dieter Ehrich, Amílcar Sernadas	Local Specification of Distributed Families of Sequential Objects.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
22	Karl Meinke	Topological Methods for Algebraic Specification.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
22	Martin Gogolla, Rudolf Herzig	An Algebraic Semantics for the Object Specification Language TROLL light.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
22	Heinrich Hußmann	Axiomatic Specification of Large Information Systems: Experiences and Consequences.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
22	Ulrike Lechner, Christian Lengauer, Martin Wirsing	An Object-Oriented Airport: Specification and Refinement in Maude.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
22	Martin Wirsing	Algebraic Specification Languages: An Overview.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
22	José Luiz Fiadeiro, José Félix Costa	Institutions for Behaviour Specification.	COMPASS/ADT	1994	DBLP DOI BibTeX RDF
22	Thomas Grünler	Specification: Algebraic Specification.	PROSPECTRA Book	1993	DBLP DOI BibTeX RDF
22	Motoshi Saeki, Takeshi Hiroi, Takanori Ugai	Reflective Specification: Applying A Reflective Language to Formal Specification.	IWSSD	1993	DBLP BibTeX RDF
22	Ming Fang, Chris Ho-Stuart, Hussein S. M. Zedan	Specification of Real-Time Probabilistic Behaviour.	PSTV	1993	DBLP BibTeX RDF
22	Stanislaw Budkowski, A. B. Alkhechi, Mohamed-Lyes Benalycherif, Piotr Dembinski, M. Gardie, E. Lallet, J. P. Mouchel La Fosse, Younes Souissi	Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol.	PSTV	1993	DBLP BibTeX RDF
22	Claus Dendorfer, Rainer Weber	From Service Specification to Protocol Entity Impelmentation - An Exercise in Formal Protocol Development.	PSTV	1992	DBLP BibTeX RDF
22	Catharina Rieckhoff	Towards a Theory for the Animation of Algebraic Specification.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
22	Pierre-Yves Schobbens	Second-Order Proof Systems for Algebraic Specification Languages.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
22	Silvia Clerici, Rosa M. Jiménez, Fernando Orejas	Semantic Constructions in the Specification Language GLIDER.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
22	Martin Große-Rhode, Uwe Wolter	Two-Categorical Specification of Partial Algebras.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
22	Do Y. Lee, Jai-Yong Lee	Test Generation for the Specification Written in Estelle.	PSTV	1991	DBLP BibTeX RDF
22	Hans-Dieter Ehrich, Martin Gogolla, Amílcar Sernadas	Objects and their Specification.	COMPASS/ADT	1991	DBLP DOI BibTeX RDF
22	Egidio Astesiano, Gianna Reggio	Algebraic Specification of Concurrency.	COMPASS/ADT	1991	DBLP DOI BibTeX RDF
22	Peter Gabriel	The Object-Based Specification Language PI: Concepts, Syntax, and Semantics.	COMPASS/ADT	1991	DBLP DOI BibTeX RDF
22	Haruhisa Ichikawa, Kenjiroh Yamanaka, June Kato	Incremental specification in LOTOS.	PSTV	1990	DBLP BibTeX RDF
22	Peter van Eijk, Harro Kremer, Marten van Sinderen	On the use of specification styles for automated protocol implementation from LOTOS to C.	PSTV	1990	DBLP BibTeX RDF
22	Jan Friso Groote	Specification and verification of real time systems in ACP.	PSTV	1990	DBLP BibTeX RDF
22	Roger Duke, Gordon A. Rose, Anthony Lee	Object-oriented protocol specification.	PSTV	1990	DBLP BibTeX RDF
22	Marc Phalippou	Functional Specification for an ISDN Switching System: an Experience using Estelle.	PSTV	1989	DBLP BibTeX RDF
22	Ana R. Cavalli, François Horn	Proof of Specification Properties by Using Finite State Machines and Temporal Logic.	PSTV	1987	DBLP BibTeX RDF
22	Elie Najm	A Verification Oriented Specification in LOTOS of the Transport Protocol.	PSTV	1987	DBLP BibTeX RDF
22	Richard Castanet, A. Dupeux, Pascal Guitton	ADA, a well suited language for specification and implementation of protocols.	PSTV	1985	DBLP BibTeX RDF
22	R. C. Venkatraman, Thomas F. Piatkowski	A formal comparison of formal protocol specification techniques.	PSTV	1985	DBLP BibTeX RDF