Fundamental Approaches to Software Engineering Second International Conference, FASE'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /
ETAPS'99 is the second instance of the European Joint Conferences on 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 comprises ?ve conferences (FOSSACS, FASE, ESOP, CC, TACA...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1999.
|
| Έκδοση: | 1st ed. 1999. |
| Σειρά: | Lecture Notes in Computer Science,
1577 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Invited Tutorial
- Research Issues in the Renovation of Legacy Systems
- Invited Paper
- Continuous Engineering of Information and Communication Infrastructures
- Contributed Papers
- A Formal Framework with Late Binding
- Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance
- Executable Tile Specifications for Process Calculi
- JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems
- Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories
- Dynamic Systems with Implicit State
- Rigorous Development in UML
- Using Explicit State to Describe Architectures
- On the Evolution of Reactive Components
- Verification of Definite Iteration over Hierarchical Data Structures
- Owicki/Gries in Isabelle/HOL
- Semantic-Driven Performance Evaluation
- Implementing Hierarchical Graph-Structures
- Demos
- A Tool Suite for Multi-Paradigm Specification
- TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving.
