Towards Dynamic Population Management of Abstract Machines in the B Method (Englisch)
- Neue Suche nach: Aguirre, Nazareno
- Neue Suche nach: Bicarregui, Juan
- Neue Suche nach: Dimitrakos, Theo
- Neue Suche nach: Maibaum, Tom
- Neue Suche nach: Aguirre, Nazareno
- Neue Suche nach: Bicarregui, Juan
- Neue Suche nach: Dimitrakos, Theo
- Neue Suche nach: Maibaum, Tom
In:
ZB 2003: Formal Specification and Development in Z and B
;
528-545
;
2003
-
ISSN:
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Towards Dynamic Population Management of Abstract Machines in the B Method
-
Beteiligte:Aguirre, Nazareno ( Autor:in ) / Bicarregui, Juan ( Autor:in ) / Dimitrakos, Theo ( Autor:in ) / Maibaum, Tom ( Autor:in )
-
Erschienen in:Lecture Notes in Computer Science ; 2651 ; 528-545
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.2003
-
Format / Umfang:18 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Alloy: A Logical Modelling LanguageJackson, Daniel et al. | 2003
- 2
-
An Outline Pattern Language for Z: Five Illustrations and Two TablesStepney, Susan / Polack, Fiona / Toyn, Ian et al. | 2003
- 3
-
Patterns to Guide Practical Refactoring: Examples Targetting Promotion in ZStepney, Susan / Polack, Fiona / Toyn, Ian et al. | 2003
- 4
-
Reuse of Specification Patterns with the B MethodBlazy, Sandrine / Gervais, Frédéric / Laleau, Régine et al. | 2003
- 58
-
Composing Specifications Using CommunicationTreharne, Helen / Schneider, Steve / Bramble, Marchia et al. | 2003
- 6
-
When Concurrent Control Meets Functional Requirements, or Z + Petri-NetsPeschanski, Frédéric / Julien, David et al. | 2003
- 98
-
How to Diagnose a Modern Car with a Formal B Model?Pouzancre, Guilhem et al. | 2003
- 101
-
Parallel Hardware Design in BHallerstede, Stefan et al. | 2003
- 9
-
Operation Refinement and Monotonicity in the Schema CalculusDeutsch, Moshe / Henson, Martin C. / Reeves, Steve et al. | 2003
- 10
-
Using Coupled Simulations in Non-atomic RefinementDerrick, John / Wehrheim, Heike et al. | 2003
- 11
-
An Analysis of Forward Simulation Data RefinementDeutsch, Moshe / Henson, Martin C. et al. | 2003
- 12
-
B#: Toward a Synthesis between Z and BAbrial, Jean-Raymond et al. | 2003
- 13
-
Introducing Backward Refinement into BDunne, Steve et al. | 2003
- 14
-
Expression Transformers in B-GSLStoddart, Bill / Zeyda, Frank et al. | 2003
- 15
-
Probabilistic Termination in BMcIver, Annabelle / Morgan, Carroll / Hoang, Thai Son et al. | 2003
- 16
-
Probabilistic Invariants for Probabilistic MachinesHoang, Thai Son / Jin, Zhendong / Robinson, Ken / McIver, Annabelle / Morgan, Carroll et al. | 2003
- 17
-
Proving Temporal Properties of Z Specifications Using AbstractionSmith, Graeme / Winter, Kirsten et al. | 2003
- 18
-
Compositional Verification for Object-ZWinter, Kirsten / Smith, Graeme et al. | 2003
- 19
-
Timed CSP and Object-ZDerrick, John et al. | 2003
- 20
-
Object Orientation without Extending ZUtting, Mark / Wang, Shaochun et al. | 2003
- 21
-
Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-ZAmálio, Nuno / Polack, Fiona et al. | 2003
- 22
-
Towards Practical Proofs of Class CorrectnessMeyer, Bertrand et al. | 2003
- 23
-
Automatically Generating Information from a Z Specification to Support the Classification Tree MethodHierons, Robert M. / Harman, Mark / Singh, Harbhajan et al. | 2003
- 24
-
Refinement Preserves PLTL PropertiesDarlot, Christophe / Julliand, Jacques / Kouchnarenko, Olga et al. | 2003
- 25
-
Proving Event Ordering Properties for Information SystemsFrappier, Marc / Laleau, Régine et al. | 2003
- 26
-
ZML: XML Support for Standard ZUtting, Mark / Toyn, Ian / Sun, Jing / Martin, Andrew / Dong, Jin Song / Daley, Nicholas / Currie, David et al. | 2003
- 27
-
Formal Derivation of Spanning Trees AlgorithmsAbrial, Jean-Raymond / Cansell, Dominique / Méry, Dominique et al. | 2003
- 28
-
Using B Refinement to Analyse Compensating Business ProcessesFerreira, Carla / Butler, Michael et al. | 2003
- 29
-
A Formal Specification in B of a Medical Decision Support SystemPoerschke, Christine / Lightfoot, David E. / Nealon, John L. et al. | 2003
- 30
-
Extending B with Control Flow BreaksBurdy, Lilian / Requet, Antoine et al. | 2003
- 528
-
Towards Dynamic Population Management of Abstract Machines in the B MethodAguirre, Nazareno / Bicarregui, Juan / Dimitrakos, Theo / Maibaum, Tom et al. | 2003