HOME > Detail View

Detail View

Formal systems specification : the RPC-memory specification case study

Formal systems specification : the RPC-memory specification case study (Loan 2 times)

Material type
단행본
Personal Author
Broy, Manfred. Merz, Stephan. Spies, Katharina.
Title Statement
Formal systems specification : the RPC-memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies, eds.
Publication, Distribution, etc
Berlin ;   New York :   Springer,   c1996.  
Physical Medium
xxiii, 540 p. : ill. ; 24 cm.
Series Statement
Lecture notes in computer science ; 1169.
ISBN
3540619844
Bibliography, Etc. Note
Inclueds bibliographical references.
000 00771camuu2200229 a 4500
001 000000923950
005 20040226133715
008 970805s1996 nyua b 000 0 eng d
020 ▼a 3540619844
040 ▼a 244002 ▼c 244002
049 0 ▼l 151046135
082 0 4 ▼a 004.1
090 ▼a 004.1 ▼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 ; ▼v 1169.
504 ▼a Inclueds bibliographical references.
700 1 ▼a Broy, Manfred.
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 Sejong Academic Information Center/Science & Technology/ Call Number 004.1 F723 Accession No. 151046135 Availability Available Due Date Make a Reservation Service C

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: : Aladin

New Arrivals Books in Related Fields

김종원 (2020)