HOME > 상세정보

상세정보

Formal systems specification : the RPC-memory specification case study

Formal systems specification : the RPC-memory specification case study

자료유형
단행본
개인저자
Broy, Manfred. 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 ; 1169.
ISBN
3540619844
서지주기
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.

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 세종학술정보원/과학기술실/ 청구기호 004.1 F723 등록번호 151046135 도서상태 대출가능 반납예정일 예약 서비스 C

컨텐츠정보

저자소개

Manfred Broy(엮은이)

Stephan Merz(엮은이)

Katharina Spies(엮은이)

정보제공 : Aladin

목차

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

관련분야 신착자료

김자미 (2021)