HOME > Detail View

Detail View

Formal systems specification : the RPC-memory specification case study

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

Material type
단행본
Personal Author
Broy, M., 1949- 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,0302-9743 ; 1169
ISBN
3540619844
Bibliography, Etc. Note
Includes bibliographical references.
Subject Added Entry-Topical Term
Electronic data processing --Distributed processing. Computer networks. Memory management (Computer science)
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 B M

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

김효곤 (2022)