Fundamental approaches to software engineering : third international conference, FASE 2000 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
ETAPS2000wasthe third instanceofthe EuropeanJointConferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised v e conferences (FOSSACS, FASE, ESOP, CC, TACAS), ve sate...
Enregistré dans:
| Collectivités auteurs: | , |
|---|---|
| Autres auteurs: | |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
1783 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Fundamental approaches to software engineering, third international conference, FASE 2000 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000, proceedings, Tom Maibaum (ed.), 2000, Berlin, Springer, 1 vol. (XIII-374 p.), Lecture notes in computer science, 3-540-67261-3 • Fundamental Approaches to Software Engineering, Texte imprimé, 9783662195888 |
Table des matières:
- Invited Papers
- Essay on Software Engineering at the Turn of Century
- Memex Is Not Enough
- From Play-In Scenarios to Code: An Achievable Dream
- Real-Time Systems
- Parallel Refinement Mechanisms for Real-Time Systems
- Applying RT-Z to Develop Safety-Critical Systems
- A Process Algebra for Real-Time Programs
- Formally Engineering Systems
- System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches
- Structuring and Design of Reactive Systems Using RSDS and B
- Using Domain-Specific Languages for the Realization of Component Composition
- Software Engineering
- Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach
- Software as Learning: Quality Factors and Life-Cycle Revised
- What Is Mathematicalness in Software Engineering?
- A Formal Approach to Heterogeneous Software Modeling
- Object Orientation
- Formal Specification of Object-Oriented Meta-modelling
- Verification of Object Oriented Programs Using Class Invariants
- Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem
- A Model for Describing Object-Oriented Systems from Multiple Perspectives
- Formally Engineering Systems
- Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems
- Theory and Applications
- Ready-Simulation Is Not Ready to Express a Modular Refinement Relation
- Java Program Verification via a Hoare Logic with Abrupt Termination
- Foundations for Software Configuration Management Policies Using Graph Transformations
- Analyzing Non-functional Properties of Mobile Agents
- Case Studies
- Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods
- A CaseStudy on Using Automata in Control Synthesis
- Demonstrations
- Formal System Development with KIV
- More About TAS and IsaWin Tools for Formal Program Development
- Using Maude.