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 (English)
- New search for: ZB
- Further information on ZB:
- http://d-nb.info/gnd/10101668-2
- New search for: Treharne, Helen
- New search for: King, Steve
- New search for: Henson, Martin
- New search for: Schneider, Steve
- New search for: ZB
- Further information on ZB:
- http://d-nb.info/gnd/10101668-2
2005
-
ISBN:
- Conference Proceedings / Electronic Resource
-
Title: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
-
Contributors:
-
Conference:ZB 2005 ; 4 ; 2005 ; Guildford
International Conference of B and Z Users ; 4 ; 2005 ; Guildford -
Published in:
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin [u.a.]
-
Publication date:2005
-
Size:Online-Ressource (XV, 491 S.)
-
Remarks:Conference proceedings
Includes bibliographical references and index -
ISBN:
-
DOI:
-
Type of media:Conference Proceedings
-
Type of material:Electronic Resource
-
Language:English
- New search for: 004 / 005.133
- Further information on Dewey Decimal Classification
- New search for: 68Q60 / 00B25 / *68-06
- Further information on Mathematics Subject Classification
- New search for: 54.52 / 54.10
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Specification Before Satisfaction: The Case for Research into Obtaining the Right SpecificationJones, C. B. et al. | 2005
- 6
-
Visualising Larger State Spaces in ProBLeuschel, M. / Turner, E. et al. | 2005
- 24
-
Non-atomic Refinement in Z and CSPDerrick, J. / Wehrheim, H. et al. | 2005
- 45
-
Process Refinement in BDunne, S. / Conroy, S. et al. | 2005
- 65
-
CZT: A Framework for Z ToolsMalik, P. / Utting, M. et al. | 2005
- 85
-
Model Checking Z Specifications Using SALSmith, G. / Wildman, L. et al. | 2005
- 104
-
Proving Properties of Stateflow Models Using ISO Standard Z and CADiZToyn, I. / Galloway, A. et al. | 2005
- 124
-
A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract SystemsAttiogbe, J. C. et al. | 2005
- 142
-
An Extension of Event B for Developing Grid SystemsBostrom, P. / Walden, M. et al. | 2005
- 162
-
The Challenge of Probabilistic Event B (Extended Abstract)Morgan, C. / Hoang, T. S. / Abrial, J.-R. et al. | 2005
- 172
-
Requirements as Conjectures: Intuitive DVD Menu NavigationRossmorris, J. / Stepney, S. et al. | 2005
- 187
-
A Prospective- Value Semantics for the GSLZeyda, F. / Stoddart, B. / Dunne, S. et al. | 2005
- 203
-
Retrenchment and the B-ToolkitBanach, R. / Fraser, S. et al. | 2005
- 222
-
Refinement and Reachability in Event BAbrial, J.-R. / Cansell, D. / Mery, D. et al. | 2005
- 242
-
A Rigorous Foundation for Pattern-Based Design ModelsKim, S.-K. / Carrington, D. et al. | 2005
- 262
-
An Object-Oriented Structuring for Z Based on ViewsAmalio, N. / Polack, F. / Stepney, S. et al. | 2005
- 279
-
Component Reuse in B Using ACL2Zimmermann, Y. / Toma, D. et al. | 2005
- 299
-
GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security PropertiesBert, D. / Potet, M.-L. / Stouls, N. et al. | 2005
- 319
-
Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-ZLong, B. W. et al. | 2005
- 334
-
Using B as a High Level Programming Language in an Industrial Project: Roissy VALBadeau, F. / Amelot, A. et al. | 2005
- 355
-
Development via Refinement in Probabilistic B - Foundation and Case StudyHoang, T. S. / Jin, Z. / Robinson, K. / McIver, A. / Morgan, C. et al. | 2005
- 374
-
Formal Program Development with ApproximationsBoiten, E. A. / Derrick, J. et al. | 2005
- 393
-
Practical Data Refinement for the Z Schema CalculusGroves, L. et al. | 2005
- 414
-
Slicing Object-Z Specifications for VerificationBruckner, I. / Wehrheim, H. et al. | 2005
- 434
-
Checking JML Specifications with B MachinesBouquet, F. / Dadeau, F. / Groslambert, J. et al. | 2005
- 454
-
Including Design Guidelines in the Formal Specification of Interfaces in ZBowen, J. / Reeves, S. et al. | 2005
- 472
-
Some Guidelines for Formal Development of Web-Based Applications in B-MethodRezazadeh, A. / Butler, M. et al. | 2005