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 |