Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings > Structuring and Design of Reactive Systems Using RSDS and B
Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings |
Tom Maibaum
Springer Berlin Heidelberg
Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
Structuring and Design of Reactive Systems Using RSDS and B
Authors

K. Lano; K. Androutsopoulos; D. Clark

ARI Id

1664273373606_1017693

Access

Not Available Free

Pages

97-111

DOI

10.1007/3-540-46428-X_8

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-46428-X_8

Table of Contents of Book
Showing 1 to 20 of 29 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-XIII
Essay on Software Engineering at the Turn of Century
Władysław M. Turski
1-20
Memex Is Not Enough
Richard Mark Soley
21-21
From Play-In Scenarios to Code: An Achievable Dream
David Harel
22-34
Parallel Refinement Mechanisms for Real-Time Systems
Paul Z. Kolano; Richard A. Kemmerer; Dino Mandrioli
35-50
Applying RT-Z to Develop Safety-Critical Systems
Carsten Sühl
51-65
A Process Algebra for Real-Time Programs
Henning Dierks
66-81
System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches
Giovanna Dondossola; Oliver Botti
82-96
Structuring and Design of Reactive Systems Using RSDS and B
K. Lano; K. Androutsopoulos; D. Clark
97-111
Using Domain-Specific Languages for the Realization of Component Composition
Matthias Anlauff; Philipp W. Kutter; Alfonso Pierantonio; Asuman Sünbül
112-126
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach
G. Reggio; E. Astesiano; C. Choppy; H. Hussmann
127-146
Software as Learning: Quality Factors and Life-Cycle Revised
José Hernández-Orallo; Ma José Ramírez-Quintana
147-162
What Is ‘Mathematicalness’ in Software Engineering?
Hidetaka Kondoh
163-177
A Formal Approach to Heterogeneous Software Modeling
Alexander Egyed; Nenad Medvidovic
178-192
Formal Specification of Object-Oriented Meta-modelling
Gunnar Övergaard
193-207
Verification of Object Oriented Programs Using Class Invariants
Kees Huizing; Ruurd Kuiper; SOOP
208-221
Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem
Pablo Gruer; Vincent Hilaire; Abder Koukam
222-236
A Model for Describing Object-Oriented Systems from Multiple Perspectives
Torsten Nelson; Donald Cowan; Paulo Alencar
237-248
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems
J. Padberg; K. Hoffmann; M. Gajewsky
249-265
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation
Françoise Bellegarde; Jacques Julliand; Olga Kouchnarenko
266-283
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 29 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings