HOME > 상세정보

상세정보

Formal systems specification : the RPC-memory specification case study

Formal systems specification : the RPC-memory specification case study (1회 대출)

자료유형
단행본
개인저자
Broy, M., 1949- Merz, Stephan. Spies, Katharina.
서명 / 저자사항
Formal systems specification : the RPC-memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies, eds.
발행사항
Berlin ;   New York :   Springer,   c1996.  
형태사항
xxiii, 540 p. : ill. ; 24 cm.
총서사항
Lecture notes in computer science,0302-9743 ; 1169
ISBN
3540619844
서지주기
Includes bibliographical references.
일반주제명
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.

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 004.36 F723 등록번호 121030864 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

목차

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.


정보제공 : Aladin

관련분야 신착자료