default search action
3. FASE 2000: Berlin, Germany (Part of ETAPS 2000)
- T. S. E. Maibaum:
Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings. Lecture Notes in Computer Science 1783, Springer 2000, ISBN 3-540-67261-3
Invited Papers
- Wladyslaw M. Turski:
Essay on Software Engineering at the Turn of Century. 1-20 - Richard Mark Soley:
Memex Is Not Enough. 21 - David Harel:
From Play-In Scenarios to Code: An Achievable Dream. 22-34
Real-Time Systems
- Paul Z. Kolano, Richard A. Kemmerer, Dino Mandrioli:
Parallel Refinement Mechanisms for Real-Time Systems. 35-50 - Carsten Sühl:
Applying RT-Z to Develop Safety-Critical Systems. 51-65 - Henning Dierks:
A Process Algebra for Real-Time Programs. 66-81
Formally Engineering Systems
- Giovanna Dondossola
, Oliver Botti:
System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches. 82-96 - Kevin Lano, Kelly Androutsopoulos, David Clark
Structuring and Design of Reactive Systems Using RSDS and B. 97-111 - Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio, Asuman Sünbül:
Using Domain-Specific Languages for the Realization of Component Composition. 112-126
Software Engineering
- Gianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann:
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. 127-146 - José Hernández-Orallo, M. José Ramírez-Quintana:
Software as Learning: Quality Factors and Life-Cycle Revised. 147-162 - Hidetaka Kondoh:
What Is 'Mathematicalness' in Software Engineering? 163-177 - Alexander Egyed, Nenad Medvidovic:
A Formal Approach to Heterogeneous Software Modeling. 178-192
Object Orientation
- Gunnar Övergaard:
Formal Specification of Object-Oriented Meta-modelling. 193-207 - Kees Huizing, Ruurd Kuiper:
Verification of Object Oriented Programs Using Class Invariants. 208-221 - Pablo Gruer, Vincent Hilaire, Abder Koukam:
Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem. 222-236 - Torsten Nelson, Donald D. Cowan, Paulo S. C. Alencar:
A Model for Describing Object-Oriented Systems from Multiple Perspectives. 237-248
Formallz Engineering Systems
- Julia Padberg, Kathrin Hoffmann, Magdalena Gajewsky:
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems. 249-265
Theory and Applications
- Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. 266-283 - Marieke Huisman
Java Program Verification via a Hoare Logic with Abrupt Termination. 284-303 - Francesco Parisi-Presicce, Alexander L. Wolf:
Foundations for Software Configuration Management Policies Using Graph Transformations. 304-318 - Pascal Fradet, Valérie Issarny, Siegfried Rouvrais:
Analyzing Non-functional Properties of Mobile Agents. 319-333
Case Studies
- Heike Wehrheim:
Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods. 334-348 - Thomas Hune, Anders Sandholm:
A Case Study on Using Automata in Control Synthesis. 349-362
Demonstrations
- Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums:
Formal System Development with KIV. 363-366 - Christoph Lüth, Burkhart Wolff:
More About TAS and IsaWin - Tools for Formal Program Development. 367-370 - Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
Using Maude. 371-374
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-22 19:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: