ZML: XML Support for Standard Z (Unknown language)

In: Lecture notes in computer science   ;  2651 ;  2003
  • ISSN:
  • Article (Journal)  /  Print

How to get this document?

Table of contents – Volume 2651

Show all volumes and issues

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
Alloy: A Logical Modelling Language
Jackson, Daniel | 2003
2
An Outline Pattern Language for Z: Five Illustrations and Two Tables
Stepney, Susan / Polack, Fiona / Toyn, Ian | 2003
20
Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z
Stepney, Susan / Polack, Fiona / Toyn, Ian | 2003
40
Reuse of Specification Patterns with the B Method
Blazy, Sandrine / Gervais, Frédéic / Laleau, Régine | 2003
58
Composing Specifications Using Communication
Treharne, Helen / Schneider, Steve / Bramble, Marchia | 2003
79
When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets
Peschanski, Frédéric / Julien, David | 2003
98
How to Diagnose a Modern Car with a Formal B Model?
Pouzancre, Guilhem | 2003
101
Parallel Hardwaxe Design in B
Hallerstede, Stefan | 2003
103
Operation Refinement and Monotonicity in the Schema Calculus
Deutsch, Moshe / Henson, Martin C. / Reeves, Steve | 2003
127
Using Coupled Simulations in Non-atomic Refinement
Derrick, John / Wehrheim, Heike | 2003
148
An Analysis of Forward Simulation Data Refinement
Deutsch, Moshe / Henson, Martin C. | 2003
168
B#: Toward a Synthesis between Z and B
Abrial, Jean-Raymond | 2003
178
Introducing Backward Refinement into B
Dunne, Steve | 2003
197
Expression Transformers in B-GSL
Stoddart, Bill / Zeyda, Frank | 2003
216
Probabilistic Termination in B
McIver, Annabelle / Morgan, Carroll / Hoang, Thai Son | 2003
240
Probabilistic Invariants for Probabilistic Machines
Hoang, Thai Son / Jin, Zhendong / Robinson, Ken / McIver, Annabelle / Morgan, Carroll | 2003
260
Proving Temporal Properties of Z Specifications Using Abstraction
Smith, Graeme / Winter, Kirsten | 2003
280
Compositional Verification for Object-Z
Winter, Kirsten / Smith, Graeme | 2003
300
Timed CSP and Object-Z
Derrick, John | 2003
319
Object Orientation without Extending Z
Utting, Mark / Wang, Shaochun | 2003
339
Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z
Amálio, Nuno / Polack, Fiona | 2003
359
Towards Practical Proofs of Class Correctness
Meyer, Bertrand | 2003
388
Automatically Generating Information from a Z Specification to Support the Classification Tree Method
Hierons, Robert M. / Harman, Mark / Singh, Harbhajan | 2003
408
Refinement Preserves PLTL Properties
Darlot, Christophe / Julliand, Jacques / Kouchnarenko, Olga | 2003
421
Proving Event Ordering Properties for Information Systems
Frappier, Marc / Laleau, Régine | 2003
437
ZML: XML Support for Standard Z
Utting, Mark / Toyn, Ian / Sun, Jing / Martin, Andrew / Dong, Jin Song / Daley, Nicholas / Currie, David | 2003
457
Formal Derivation of Spanning Trees Algorithms
Abrial, Jean-Raymond / Cansell, Dominique / Méry, Dominique | 2003
477
Using B Refinement to Analyse Compensating Business Processes
Ferreira, Carla / Butler, Michael | 2003
497
A Formal Specification in B of a Medical Decision Support System
Poerschke, Christine / Lightfoot, David E. / Nealon, John L. | 2003
513
Extending B with Control Flow Breaks
Burdy, Lilian / Requet, Antoine | 2003
528
Towards Dynamic Population Management of Abstract Machines in the B Method
Aguirre, Nazareno / Bicarregui, Juan / Dimitrakos, Theo / Maibaum, Tom | 2003
ZB 2003: Formal Specification and Development in Z and B - Third International Conference of B and Z Users . Turku, Finland, June 4-6, 2003 . Proceedings
Bert, Didier / Bowen, Jonathan P. / King, Steve / Waldén, Marina | 2003