ZML: XML Support for Standard Z (English)
- New search for: Utting, Mark
- New search for: Toyn, Ian
- New search for: Sun, Jing
- New search for: Martin, Andrew
- New search for: Dong, Jin Song
- New search for: Daley, Nicholas
- New search for: Currie, David
-
ISSN:
- Article/Chapter (Book) / Electronic Resource
-
Title:ZML: XML Support for Standard Z
-
Author / Creator:
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2003-01-01
-
Size:20 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
-
Export:
-
Share:
-
Citation:
-
ORKG:
Table of contents eBook
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.
-
Object Orientation without Extending ZUtting, Mark / Wang, Shaochun | 2003
-
Using B Refinement to Analyse Compensating Business ProcessesFerreira, Carla / Butler, Michael | 2003
-
Extending B with Control Flow BreaksBurdy, Lilian / Requet, Antoine | 2003
-
Automatically Generating Information from a Z Specification to Support the Classification Tree MethodHierons, Robert M. / Harman, Mark / Singh, Harbhajan | 2003
-
A Formal Specification in B of a Medical Decision Support SystemPoerschke, Christine / Lightfoot, David E. / Nealon, John L. | 2003
-
Towards Dynamic Population Management of Abstract Machines in the B MethodAguirre, Nazareno / Bicarregui, Juan / Dimitrakos, Theo / Maibaum, Tom | 2003
-
Timed CSP and Object-ZDerrick, John | 2003
-
Probabilistic Invariants for Probabilistic MachinesHoang, Thai Son / Jin, Zhendong / Robinson, Ken / McIver, Annabelle / Morgan, Carroll | 2003
-
Compositional Verification for Object-ZWinter, Kirsten / Smith, Graeme | 2003
-
Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-ZAmálio, Nuno / Polack, Fiona | 2003
-
Probabilistic Termination in BMcIver, Annabelle / Morgan, Carroll / Hoang, Thai Son | 2003
-
Reuse of Specification Patterns with the B MethodBlazy, Sandrine / Gervais, Frédéric / Laleau, Régine | 2003
-
Proving Event Ordering Properties for Information SystemsFrappier, Marc / Laleau, Régine | 2003
-
Alloy: A Logical Modelling LanguageJackson, Daniel | 2003
-
Composing Specifications Using CommunicationTreharne, Helen / Schneider, Steve / Bramble, Marchia | 2003
-
Parallel Hardware Design in BHallerstede, Stefan | 2003
-
How to Diagnose a Modern Car with a Formal B Model?Pouzancre, Guilhem | 2003
-
Patterns to Guide Practical Refactoring: Examples Targetting Promotion in ZStepney, Susan / Polack, Fiona / Toyn, Ian | 2003
-
Using Coupled Simulations in Non-atomic RefinementDerrick, John / Wehrheim, Heike | 2003
-
B#: Toward a Synthesis between Z and BAbrial, Jean-Raymond | 2003
-
Proving Temporal Properties of Z Specifications Using AbstractionSmith, Graeme / Winter, Kirsten | 2003
-
ZML: XML Support for Standard ZUtting, Mark / Toyn, Ian / Sun, Jing / Martin, Andrew / Dong, Jin Song / Daley, Nicholas / Currie, David | 2003
-
Formal Derivation of Spanning Trees AlgorithmsAbrial, Jean-Raymond / Cansell, Dominique / Méry, Dominique | 2003
-
An Outline Pattern Language for Z: Five Illustrations and Two TablesStepney, Susan / Polack, Fiona / Toyn, Ian | 2003
-
Operation Refinement and Monotonicity in the Schema CalculusDeutsch, Moshe / Henson, Martin C. / Reeves, Steve | 2003
-
Introducing Backward Refinement into BDunne, Steve | 2003
-
An Analysis of Forward Simulation Data RefinementDeutsch, Moshe / Henson, Martin C. | 2003
-
Expression Transformers in B-GSLStoddart, Bill / Zeyda, Frank | 2003
-
Refinement Preserves PLTL PropertiesDarlot, Christophe / Julliand, Jacques / Kouchnarenko, Olga | 2003
-
Towards Practical Proofs of Class CorrectnessMeyer, Bertrand | 2003
-
When Concurrent Control Meets Functional Requirements, or Z + Petri-NetsPeschanski, Frédéric / Julien, David | 2003
