default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. FASE 1998: Lisbon, Portugal (Part of ETAPS 1998)
- Egidio Astesiano:
Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Lecture Notes in Computer Science 1382, Springer 1998, ISBN 3-540-64303-6
Invited Papers
- Kent L. Beck:
Extreme Programming: A Humanistic Discipline of Software Development. 1-6 - Cliff B. Jones
:
Some Mistakes I Have and What I Have Learned from Them. 7-20
Contributed Papers
- Robert Allen, Rémi Douence, David Garlan:
Specifying and Analyzing Dynamic Software Architectures. 21-37 - Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch:
Observational Proofs with Critical Contexts. 38-53 - Steven Bradley, William Henderson, David Kendall, Adrian Robson:
Integrating AORTA with Model-Based Data Specification Languages. 54-70 - Robert Büssow, Robert Geisler, Marcus Klar:
Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study. 71-87 - Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr:
Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components. 88-106 - Martin Große-Rhode:
Algebra Transformation Systems and their Composition. 107-122 - Ali Hamie, John Howse, Stuart Kent:
Navigation Expresion in Object-Oriented Modelling. 123-137 - Reiko Heckel:
Compositional Verification of Reactive Systems Specified by Graph Transformation. 138-153 - Stefan Kahrs, Donald Sannella:
Reflections on the Design of a Specification language. 154-170 - Ulrike Lechner:
Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languages. 171-187 - Tiziana Margaria, Bernhard Steffen:
Backtracking-Free Design Planning by Automatic Synthesis in METAFrame. 188-204 - Alexandre Mota, Augusto Sampaio:
Model-Checking CSP-Z. 205-220 - Julia Padberg, Magdalena Gajewsky, Claudia Ermel:
Rule-Based Refinement of High-Level Nets Preserving Safety Properties. 221-238 - Joy N. Reed, D. M. Jackson, Borislav Deianov, George M. Reed:
Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms. 239-254 - Hanne Riis Nielson, Torben Amtoft, Flemming Nielson:
Behaviour Analysis and Safety Conditions: A Case Study in CML. 255-269 - Anders Sandholm, Michael I. Schwartzbach:
Distributed Safety Controllers for Web Services. 270-284 - Peter Scholz:
A Refinement Calculus for Statecharts. 285-301
Demos
- Bettina Sucrow:
Refining Formal Specifications of Human Computer Interaction by Graph Rewrite Rules. 302-317 - Ralf Behnke, Rudolf Berghammer, Erich Meyer, Peter Schneider:
RELVIEW - A System for Calculating With Relations and Relational Programming. 318-321 - Eric Dubois:
ALBERT: A Formal Language and Its Supporting Tools for Requirements Engineering. 322-325 - Josef Tapken:
MOBY/PLC - A Design Tool for Hierarchical Real-Time Automata. 326-329
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-10-31 20:21 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:
