| 000 | 01001namuuu200301 a 4500 | |
| 001 | 000000564933 | |
| 003 | OCoLC | |
| 005 | 19970923154013.0 | |
| 008 | 970116s1996 gw b 000 0 eng d | |
| 010 | ▼a 97119744 | |
| 020 | ▼a 3540619844 | |
| 040 | ▼a OU ▼c DLC | |
| 042 | ▼a lccopycat | |
| 049 | ▼a ACSL ▼l 121030864 | |
| 050 | 0 4 | ▼a QA76.9.D5 ▼b F664 1996 |
| 082 | 0 0 | ▼a 004/.36 ▼2 21 |
| 090 | ▼a 004.36 ▼b F723 | |
| 245 | 0 0 | ▼a Formal systems specification : ▼b the RPC-memory specification case study / ▼c Manfred Broy, Stephan Merz, Katharina Spies, eds. |
| 260 | ▼a Berlin ; ▼a New York : ▼b Springer, ▼c c1996. | |
| 300 | ▼a xxiii, 540 p. : ▼b ill. ; ▼c 24 cm. | |
| 440 | 0 | ▼a Lecture notes in computer science, ▼x 0302-9743 ; ▼v 1169 |
| 504 | ▼a Includes bibliographical references. | |
| 650 | 0 | ▼a Electronic data processing ▼x Distributed processing. |
| 650 | 0 | ▼a Computer networks. |
| 650 | 0 | ▼a Memory management (Computer science) |
| 700 | 1 | ▼a Broy, M., ▼d 1949- |
| 700 | 1 | ▼a Merz, Stephan. |
| 700 | 1 | ▼a Spies, Katharina. |
Holdings Information
| No. | Location | Call Number | Accession No. | Availability | Due Date | Make a Reservation | Service |
|---|---|---|---|---|---|---|---|
| No. 1 | Location Science & Engineering Library/Sci-Info(Stacks2)/ | Call Number 004.36 F723 | Accession No. 121030864 | Availability Available | Due Date | Make a Reservation | Service |
Contents information
Table of Contents
The RPC-memory specification problem problem statement.- The RPC-memory case study: A synopsis.- A TLA solution to the RPC-memory specification problem.- A dynamic specification of the RPC-memory problem.- A memory module specification using composable high-level petri nets.- Constraint oriented temporal logic specification.- A functional solution to the RPC-memory specification problem.- A solution relying on the model checking of boolean transition systems.- Applying a temporal logic to the RPC-memory specification problem.- Using PVS for an assertional verification of the RPC-memory specification problem.- Specification and verification using a visual formalism on top of temporal logic.- A case study in verification based on trace abstractions.- Incremental specification with joint actions: The RPC-memory specification problem.- The methodology of modal constraints.- Tackling the RPC-memory specification problem with I/O automata.- Using relations on streams to solve the RPC-memory specification problem.- The RPC-memory specification problem: UNITY + refinement calculus.
Information Provided By: :
