Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
33 | Nils Klarlund, Mogens Nielsen, Kim Sunesen |
A Case Study in Verification Based on Trace Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Systems Specification ![In: Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994), pp. 341-373, 1994, Springer, 3-540-61984-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
33 | Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise |
The Methodology of Modal Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Systems Specification ![In: Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994), pp. 405-435, 1994, Springer, 3-540-61984-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
33 | James K. Huggins |
Kermit: specification and verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and validation methods ![In: Specification and validation methods, pp. 247-293, 1993, Oxford University Press, 0-19-853854-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
33 | Yuri Gurevich, Raghu Mani |
Group membership protocol: specification and verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and validation methods ![In: Specification and validation methods, pp. 295-328, 1993, Oxford University Press, 0-19-853854-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
33 | Werner Damm, Bernhard Josko, Rainer Schlör |
Specification and verification of VHDL-based system-level hardware designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and validation methods ![In: Specification and validation methods, pp. 331-409, 1993, Oxford University Press, 0-19-853854-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
33 | Egon Börger, Rosario F. Salamone |
CLAM specification for provably correct compilation of CLP( R ) programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and validation methods ![In: Specification and validation methods, pp. 96-130, 1993, Oxford University Press, 0-19-853854-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
33 | Dean Rosenzweig, Egon Börger, Yuri Gurevich |
The bakery algorithm: yet another specification and verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and validation methods ![In: Specification and validation methods, pp. 231-243, 1993, Oxford University Press, 0-19-853854-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
33 | David M. Russinoff |
Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and validation methods ![In: Specification and validation methods, pp. 411-460, 1993, Oxford University Press, 0-19-853854-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
33 | Peter Gorm Larsen |
Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Specification Languages ![In: Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993, pp. 118-134, 1993, Springer, 3-540-19854-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
33 | T. B. Dinesh |
Type-Checking Revisited: Modular Error-Handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Specification Languages ![In: Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993, pp. 216-231, 1993, Springer, 3-540-19854-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
33 | Gerard R. Renardel de Lavalette |
From Implicit via Inductive to Explicit Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Specification Languages ![In: Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993, pp. 304-314, 1993, Springer, 3-540-19854-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
33 | Stephan Kleuker |
Case Study: Stepwise Development of a Communication Processor Using Trace Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Specification Languages ![In: Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993, pp. 252-269, 1993, Springer, 3-540-19854-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
33 | Loe M. G. Feijs |
An Overview of the Development of COLD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Specification Languages ![In: Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993, pp. 15-22, 1993, Springer, 3-540-19854-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
33 | John S. Fitzgerald, R. Moore |
Experiences in Developing a Proof Theory for VDM Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Specification Languages ![In: Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993, pp. 101-117, 1993, Springer, 3-540-19854-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
33 | Hans Toetenel |
Loose Real-Time Communicating Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Specification Languages ![In: Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993, pp. 135-151, 1993, Springer, 3-540-19854-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
33 | Gerard R. Renardel de Lavalette |
The Static Part of the Design Language COLD-K. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Specification Languages ![In: Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993, pp. 51-82, 1993, Springer, 3-540-19854-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
33 | Stefan Kahrs, Donald Sannella, Andrzej Tarlecki |
The Semantics of Extended ML: A Gentle Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Specification Languages ![In: Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993, pp. 186-215, 1993, Springer, 3-540-19854-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
33 | Stephen Brien |
The Development of Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Specification Languages ![In: Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993, pp. 1-14, 1993, Springer, 3-540-19854-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
33 | Jan Friso Groote, Alban Ponse |
Proof Theory for µCRL: A Language for Processes with Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Specification Languages ![In: Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993, pp. 232-251, 1993, Springer, 3-540-19854-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
33 | Bart Botma |
Rendez-vous with Bundle Event Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Specification Languages ![In: Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993, pp. 270-288, 1993, Springer, 3-540-19854-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
33 | M. P. A. Sellink |
Verifying Process Algebra Proofs in Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Specification Languages ![In: Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993, pp. 315-339, 1993, Springer, 3-540-19854-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
33 | Flemming M. Damm, Bo Stig Hansen |
Generation of Proof Obligations for Type Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Specification Languages ![In: Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993, pp. 83-100, 1993, Springer, 3-540-19854-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
33 | Djamel-Eddine Saïdouni, Jean-Pierre Courtiat |
Syntactic Action Refinement in Presence of Multiway Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Specification Languages ![In: Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993, pp. 289-303, 1993, Springer, 3-540-19854-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
33 | Donal Roantree, Maurice Clint |
A Specification-Verification Framework for Distributed Applications Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 153-183, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | David R. Gilbert |
Specification and Implementation of Concurrent Systems using PARLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 455-473, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 294-330, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | David Freestone |
Specification and Verification in Communications Standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 474-485, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Stephen A. Schuman, David H. Pitt, Paddy H. Byers |
Object-Oriented Process Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 21-70, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Stuart Richard Matthews |
The Specification and Design of a Nondeterministic Data Structure Using CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 500-525, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Peter Dybjer, Herbert P. Sander |
A Functional Programming Approach to the Specification and Verification of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 331-343, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Jeffrey J. Joyce |
Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 384-409, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Jonathan Billington |
A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 526-556, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Zohar Manna, Amir Pnueli |
Specification and Verification of Concurrent Programs by forall-Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 124-164, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 351-374, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
33 | Jolanta Cybulka, Jerzy Bartoszek |
The proof-checking component for the PLEATS programming system enabling specification of theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods of Specification and Synthesis of Software Systems ![In: Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985, pp. 149-155, 1985, Springer, 3-540-16444-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
33 | Jacques Loeckx |
The algorithmic specification method of abstract data types: an overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods of Specification and Synthesis of Software Systems ![In: Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985, pp. 194-200, 1985, Springer, 3-540-16444-8. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
33 | Bernd Walter |
Timed Petri-Nets for Modelling and Analyzing Protocols with Real-Time Characteristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 149-159, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | Richard J. Linn Jr., J. Stephen Nightingale |
Some Experience with Testing Tools for OSI Protocol Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 521-531, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | Yechiam Yemini, Nihal Nounou |
CUPID: A Protocol Development Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 347-355, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | F. Mark Restorick |
Implementation of a Protocol in an Assembly Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 293-298, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | Luigi Logrippo |
"Constructive" and "Executable" Specifications of Protocol Services by using Abstract Data Types and Finite State Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 111-124, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | Omar Rafiq, Jean-Pierre Ansart |
VADILOC - A Protocol Validator and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 189-197, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | Richard J. Linn Jr., W. H. McCoy |
Producing Tests for Implementations of OSI Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 505-520, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 139-148, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | George A. Harvey |
The Routing Certification System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 465-476, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | D. Rayner |
Towards an Objective Understanding of Conformance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 493-503, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | Hasan Ural, Robert L. Probert |
User-Guided Test Sequence Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 421-436, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | Hans Eckert, Rainer Prinoth |
A Computation-System Based Method for Automated Proving of Protocols Against Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 213-228, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | Deepinder P. Sidhu |
Protocol Verification via Executable Logic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 237-248, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | Jean-Francois Billiard |
Methodology and Tools for Qualitative Protocols Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 445-454, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | Günter Karjoth |
A Behavioural Description Language for the Formal Treatment of Protocols in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 125-136, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 273-282, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 381-390, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | Stanislaw Budkowski, Elie Najm |
Structured Finite State Automata - A new approach for modelling distributed communications systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 95-110, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | Gerard J. Holzmann, Rob A. Beukers |
The Pandora Protocol Development System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 357-368, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | Alan E. Baratz, Adrian Segall |
A Reliable Link Initialization Procedure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 199-211, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | Robert E. Strom, Shaula Yemini |
Design, Implementation, and Validation of Secure Communications Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 317-332, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | Alfred Gießler |
Testing and Diagnosis Aids for Higher Level Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 407-420, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | Gerard Florin, Stéphane Natkin, A. Woog, J. Attal |
Quantitative Validation for Industrial Ethernet Local Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 251-256, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | Mohamed G. Gouda |
An Example for Constructing Communicating Machines by Step-Wise Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 63-74, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | G. W. Cowin, R. W. S. Hale, D. Rayner |
Protocol Product Testing - Some Comparisons and Lessons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 477-492, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | Sergio Palazzo, P. Fogliata, Gesualdo Le Moli |
A Layer-Independent Architecture for a Testing System of Protocol Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 393-406, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | Rune Gustavsson, Björn Pehrson |
The Power of some Formal Models of Distributed Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 77-86, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | Carl A. Sunshine |
Experience with automated Protocol Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 229-236, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | Robin M. S. Cork |
The Testing of Protocols in SNA Products - An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 455-463, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | Miguel Menasche, Bernard Berthomieu |
Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 161-172, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | Thomas P. Blumer, Deepinder P. Sidhu |
Experience with an Automated Protocol Development System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 369-380, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 283-291, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | Björn Pehrson |
Abstraction by Structural Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Specification, Testing, and Verification ![In: Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983, pp. 87-94, 1983, North-Holland, 0-444-86769-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
33 | Jørgen Steensgaard-Madsen |
Program Specification by Module Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Specification ![In: Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981, pp. 294-321, 1981, Springer, 3-540-11490-4. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
33 | William R. Franta, William Earl Boebert, Helmut K. Berg |
An Approach to the Specification of Distributed Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Use of Formal Specification of Software ![In: The Use of Formal Specification of Software, June 25-27, 1979, Berlin, Germany, pp. 197-236, 1979, Springer, 3-540-10442-9. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
33 | Helmut K. Berg, Wolfgang K. Giloi |
Hierarchical Specification of Abstract Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Use of Formal Specification of Software ![In: The Use of Formal Specification of Software, June 25-27, 1979, Berlin, Germany, pp. 150-196, 1979, Springer, 3-540-10442-9. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
33 | Sun-Jen Huang, Richard Lai 0001 |
Estimating the size of an Estelle specification for a communication protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 565-568, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 140-147, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 20th Conference on Local Computer Networks (LCN'95), Minneapolis, Minnesota, USA, October 16-19, 1995, pp. 459-468, 1995, IEEE Computer Society, 0-8186-7162-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(10), pp. 760-773, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(6), pp. 513-526, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(1), pp. 39-50, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware Specification, Verification and Synthesis ![In: Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings, pp. 307-332, 1989, Springer, 3-540-97226-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
33 | Yingxu Wang 0001 |
Real-Time Process Algebra and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
10th Anniversary Colloquium of UNU/IIST ![In: Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers, pp. 322-336, 2002, Springer, 3-540-20527-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 27-29 October 1997, Taipei, Taiwan, pp. 143-, 1997, IEEE Computer Society, 0-8186-8073-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 21-42, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 377-384, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(4), pp. 304-318, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(8), pp. 705-716, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(3), pp. 212-225, 1991. The full citation details ...](Pics/full.jpeg) |
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*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(8), pp. 977-993, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, pp. 1-5, 2005, Springer, 3-540-25559-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | David Lo 0001, Siau-Cheng Khoo |
QUARK: Empirical Assessment of Automaton-based Specification Miners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 13th Working Conference on Reverse Engineering (WCRE 2006), 23-27 October 2006, Benevento, Italy, pp. 51-60, 2006, IEEE Computer Society, 0-7695-2719-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes |
Applying Formal Specification in Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 13(3), pp. 48-56, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
32 | Kelly I. Morrison |
GRASP: an executable specification language for Ada tasking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988, pp. 683, 1988, ACM, 0-89791-260-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Ada, GRASP |
31 | Barrett R. Bryant, Beum-Seuk Lee |
Two-Level Grammar as an Object-Oriented Requirements Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 280, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 25(2), pp. 258-273, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, pp. 307-327, 2004, Springer, 3-540-21377-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems, 5th East European Conference, ADBIS 2001, Vilnius, Lithuania, September 25-28, 2001, Proceedings, pp. 253-265, 2001, Springer, 3-540-42555-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 124-139, 2001, Springer, 3-540-41863-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 28-35, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), September 20-23, 1995, Las Vegas, Nevada, USA, pp. 562, 1995, IEEE Computer Society, 0-8186-7180-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(9), pp. 1089-1103, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'88 European Conference on Object-Oriented Programming, Oslo, Norway, August 15-17, 1988, Proceedings, pp. 78-92, 1988, Springer, 3-540-50053-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
genericity, specification languages, inheritance, Algebraic specification |