Abstract is missing.
- Two Industrial Trials of Formal SpecificationJohn S. Fitzgerald. 1-8
- Industrial Applications of ASF+SDFMark G. J. van den Brand, Arie van Deursen, Paul Klint, Steven Klusener, Emma van der Meulen. 9-18
- The Embedded Software of an Electrical Meter: An Experiment in Using Formal Methods in an Industrial ProjectAndré Arnold, Didier Bégay, Jean-Pierre Radoux. 19-32
- Applying Research Results in the Industrial Environment: the Case of the TRIO Specification LanguageDino Mandrioli. 33-42
- Using Heterogeneous Formal Methods in Distributed Software Engineering EducationBernd J. Krämer. 43-51
- Introducing Formal Methods to Software Engineers Through OMG s COBRA Environment and Interface Definition LanguageSriram Sankar. 52-61
- Toward a Classification Approach to DesignDouglas R. Smith. 62-84
- Semantic Foundations for Embedding HOL in NuprlDouglas J. Howe. 85-101
- Free Variable Tableaux for a Many Sorted Logic with PreordersAntonio Gavilanes, Javier Leach, Susana Nieva. 102-116
- Automating Induction over Mutually Recursive FunctionsDeepak Kapur, Mahadevan Subramaniam. 117-131
- Pushouts of Order-Sorted Algebraic SpecificationsAnne Elisabeth Haxthausen, Friederike Nickl. 132-147
- A Formal Framework for Modules with StateDavide Ancona, Elena Zucca. 148-162
- Object-Oriented Implementation of Abstract Data Type SpecificationsRolf Hennicker, Christoph Schmitz II. 163-179
- On the Completeness of the Euations for the Kleene Star in BisimulationWan Fokkink. 180-194
- An Equational Axiomatization of Observation Congruence for Prefix IterationLuca Aceto, Anna Ingólfsdóttir. 195-209
- Finite Axiom Systems for Testing Preorder and De Simone Process LanguagesIrek Ulidowski. 210-224
- Constructive Semantics of Esterel: From Theory to Practice (Abstract)Gérard Berry. 225
- Using Ghost Variables to Prove RefinementMonica Marcus, Amir Pnueli. 226-240
- Tracing the Origins of Verification ConditionsRanan Fraer. 241-255
- Preprocessing for Invariant ValidationE. Pascal Gribomont. 256-270
- Formal Verification of SIGNAL Programs: Application to a Power Transformer Station ControllerMichel Le Borgne, Hervé Marchand, Éric Rutten, Mazen Samaan. 271-285
- The Discrete Time TOOLBUSJan A. Bergstra, Paul Klint. 286-305
- A Study on the Specification and Verification of Performance Properties (Extended Abstract)Xiao Jun Chen, Flavio Corradini, Roberto Gorrieri. 306-320
- Symbolic Bisimulation for Timed ProcessesMichele Boreale. 321-335
- Approximative Analysis by Process Algebra with Graded Spatial ActionsYoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki. 336-350
- Boolean Formalism and ExplanationsEric C. R. Hehner. 351-374
- Proving Existential Termination of Normal Logic ProgramsMassimo Marchiori. 375-390
- Programming in Lygon: An OverviewJames Harland, David J. Pym, Michael Winikoff. 391-405
- Some Characteristics of Strong Innermost NormalizationM. R. K. Krishna Rao. 406-420
- On the Emergence of Properties in Component-Based SystemsJosé Luiz Fiadeiro. 421-443
- Algebraic View SpecificationBarbara Paech. 444-457
- Towards Heterogeneous Formal SpecificationGilles Bernot, Sophie Coudert, Pascale Le Gall. 458-472
- A Categorical Characterization of Consistency ResultsChristel Baier, Mila E. Majster-Cederbaum. 473-486
- Algebraic Specification of Reactive SystemsManfred Broy. 487-503
- A Model for Mobile Point-to-Point Data-flow Networks without Channel SharingRadu Grosu, Ketil Stølen. 504-519
- Coalgebraic Specifications and Models of Determinatistic Hybrid SystemsBart Jacobs. 520-535
- A Bounded Retransmission Protocol for Large Data PacketsJan Friso Groote, Jaco van de Pol. 536-550
- SPECWARE: An Advanced Evironment for the Formal Development of Complex Software SystemsRichard Jüllig, Yellamraju V. Srinivas, J. Liu. 551-554
- ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of ToolsMichel Bidoit, Christine Choppy, Frédéric Voisin. 555-558
- Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract)Klaus Didrich, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, Peter Pepper. 559-562
- ::::InterACT::::: An Interactive Theorem Prover for Algebraic SpecificationsRobert Geisler, Marcus Klar, Felix Cornelius. 563-566
- A New Proof-Manager and Graphic Interface for the Larch ProverFrédéric Voisin. 567-570
- TERSE: A Visual Environment for Supporting Analysis, Verification and Transformation of Term Rewriting SystemsNobuo Kawaguchi, Toshiki Sakabe, Yasuyoshi Inagaki. 571-574
- The TOOLBUS Coordination Architecture - A DemonstrationPaul Klint, Pieter A. Olivier. 575-578
- ASD: The Action Semantic Description ToolsArie van Deursen, Peter D. Mosses. 579-582
- Using Occurence and Evolving Algebras for the Specification of Language-Based Programming ToolsArnd Poetzsch-Heffter. 583-586
- ECHIDNA: A System for Manipulating Explicit Choice Higher Dimensional AutomataRichard Buckland, Michael Johnson. 587-590
- Verification Using PEPStephan Melzer, Stefan Römer, Javier Esparza. 591-594
- The FC2TOOLS SetAmar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone. 595-598
- Programming in Lygon: A System DemonstrationJames Harland, David J. Pym, Michael Winikoff. 599
- CtCoq: A System PresentationJanet Bertot, Yves Bertot. 600-603
- The TYPELAB Specification and Verification EnvironmentFriedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner. 604-607
- Incremental FormalizationBernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun. 608-611
- PROPLANE: A Specification Development EnvironmentJeanine Souquières, Nicole Lévy. 612-615
- A Logic-Based Technology to Mechanize Software Components ReusePatrick Parot. 616-620
- TkGofer: A Functional GUI LibraryWolfram Schulte, Thilo Schwinn, Ton Vullinghs. 621-624
- ALPHA - A Class Library for a Metamodel Based on Algebraic Graph TheorySebastian Erdmann, Ingo Claßen. 625-628
- Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract InterpretationDidier Bert, Rachid Echahed, Kamel Adi. 629-632
- Combining Reductions and Computations in ReDuXReinhard Bündgen, Werner Lauterbach. 633-636
- Conditional Directed NarrowingSébastien Limet, Pierre Réty. 637-640