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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Maibaum, Tom (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Έκδοση: 1st ed. 2000.
• Σειρά: Lecture Notes in Computer Science, 1783
• Θέματα: Software engineering.; Programming languages (Electronic computers).; Computer logic.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.

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...

Πίνακας περιεχομένων:

• 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.