Articles liés à Fundamental Approaches to Software Engineering: Third...
Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and ... Germany, March 25 - April 2, 2000 Proceedings - Couverture souple
L'édition de cet ISBN n'est malheureusement plus disponible.
Synopsis
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 Case Study on Using Automata in Control Synthesis.- Demonstrations.- Formal System Development with KIV.- More About TAS and IsaWin - Tools for Formal Program Development.- Using Maude.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2014
- ISBN 10 3662195887
- ISBN 13 9783662195888
- ReliurePaperback
- Langueanglais
- Coordonnées du fabricantnon disponible
(Aucun exemplaire disponible)
Chercher: Créez une demandeVous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !
Créez une demande
