|
URL
|
https://doi.org/10.1007/b135596
|
|
標題および責任表示
|
ZB 2005: Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings / edited by Helen Treharne, Steve King, Martin Henson, Steve Schneider.
|
|
特定資料種別コード
|
リモートファイル
|
|
版事項
|
1st ed. 2005.
|
|
出版・頒布事項
|
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2005.
|
|
形態事項
|
XVI, 496 p. : online resource.
|
|
巻号情報
|
|
|
その他の標題
|
親書誌タイトル(雑誌書誌レコード):Programming and Software Engineering ;
|
|
その他の標題
|
その他のタイトル:Programming and Software Engineering ; 3455
|
|
内容著作注記
|
Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification —Extended Abstract—
|
|
内容著作注記
|
Visualising Larger State Spaces in Pro B
|
|
内容著作注記
|
Non-atomic Refinement in Z and CSP
|
|
内容著作注記
|
Process Refinement in B
|
|
内容著作注記
|
CZT: A Framework for Z Tools
|
|
内容著作注記
|
Model Checking Z Specifications Using SAL
|
|
内容著作注記
|
Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ
|
|
内容著作注記
|
A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems
|
|
内容著作注記
|
An Extension of Event B for Developing Grid Systems
|
|
内容著作注記
|
The Challenge of Probabilistic Event B—Extended Abstract—
|
|
内容著作注記
|
Requirements as Conjectures: Intuitive DVD Menu Navigation
|
|
内容著作注記
|
A Prospective-Value Semantics for the GSL
|
|
内容著作注記
|
Retrenchment and the B-Toolkit
|
|
内容著作注記
|
Refinement and Reachability in Event_B
|
|
内容著作注記
|
A Rigorous Foundation for Pattern-Based Design Models
|
|
内容著作注記
|
An Object-Oriented Structuring for Z Based on Views
|
|
内容著作注記
|
Component Reuse in B Using ACL2
|
|
内容著作注記
|
GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties
|
|
内容著作注記
|
Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z
|
|
内容著作注記
|
Using B as a High Level Programming Language in an Industrial Project: Roissy VAL
|
|
内容著作注記
|
Development via Refinement in Probabilistic B — Foundation and Case Study
|
|
内容著作注記
|
Formal Program Development with Approximations
|
|
内容著作注記
|
Practical Data Refinement for the Z Schema Calculus
|
|
内容著作注記
|
Slicing Object-Z Specifications for Verification
|
|
内容著作注記
|
Checking JML Specifications with B Machines
|
|
内容著作注記
|
Including Design Guidelines in the Formal Specification of Interfaces in Z
|
|
内容著作注記
|
Some Guidelines for Formal Development of Web-Based Applications in B-Method.
|
|
注記
|
edited by Helen Treharne, Steve King, Martin Henson, Steve Schneider.
|
|
注記
|
Springer Nature eBook
|
|
注記
|
Printed edition: 9783540809876
|
|
注記
|
Printed edition: 9783540255598
|
|
本文言語コード
|
英語
|
|
著者標目リンク
|
Treharne, Helen <>editor.
|
|
著者標目リンク
|
King, Steve <>editor.
|
|
著者標目リンク
|
Henson, Martin <>editor.
|
|
著者標目リンク
|
Schneider, Steve <>editor.
|
|
著者標目リンク
|
SpringerLink (Online service) <>
|
|
分類標目
|
LCC:QA75.5-76.95
|
|
分類標目
|
LCC:QA76.63
|
|
分類標目
|
DC23:004.0151
|
|
件名標目等
|
Computers
|
|
件名標目等
|
Software engineering
|
|
件名標目等
|
Computer logic
|
|
件名標目等
|
Mathematical logic
|
|
件名標目等
|
Theory of Computation
|
|
件名標目等
|
Software Engineering
|
|
件名標目等
|
Logics and Meanings of Programs
|
|
件名標目等
|
Mathematical Logic and Formal Languages
|
目録検索 ▼
利用者サービス ▼
