| Education Day |
| Invited Talk: A Software Engineering Program of Lasting Value / David L. Parnas |
| Invited Talk: Weaving Formal Methods into the Undergratuate Computer Science Curriculum / Jeannette M. Wing |
| Technical Meetings |
| Invited Talk: Making Mathematical Methods More Practical for the Software Developers / Session 1： |
| Step by Step to Histories / Max Breitling ; Jan Philipps |
| Distance Functions for Defaults in Reactive Systems / Sofia Guerra |
| Generalizing the Modal and Temporal Logic of Linear Time / Bernhard Heinemann |
| Process Algebra versus Axiomatic Specification of a Real-Time Protocol / Antonio Cerone |
| Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software / Mark Lawford ; Jeff McDougall ; Peter Froebel ; Greg Moum |
| Invited Talk: Algebraic State Machines / Manfred Broy ; Martin WirsingSession 2： |
| Meta Languages in Algebraic Compilers / Eric Van Wyk |
| Random Access to Abstract Data Types / Martin Erwig |
| A Monad for Basic Java Semantics / Bart Jacobs ; Erik Poll |
| A Global Semantics for Views / Christine Choppy ; Pascal Poizat ; Jean-Claude Royer |
| Analysis of Downward Closed Properties of Logic Programs / Patricia M. Hill ; Fausto Spoto |
| Invited Talk: ASM Formalware in the Software Engineering Cycle / Yuri GurevichsSession 3： |
| Process Calculi for Coordination: From Linda to JavaSpaces / Nadia Busi ; Roberto Gorrieri ; Gianluigi Zavattaro |
| The Algebra of Multi-tasking / Colin J. Fidge |
| A Causal Semantics for Timed Default Concurrent Constraint Programming / Simone Tini ; Andrea Maggiolo-Schettini |
| Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl / Gianna Reggio ; Lorenzo Repetto |
| Message Authentication through Non Interference / Riccardo Focardi ; Fabio Martinelli |
| Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML / Egidio Astesiano ; Maura CerioliSession 4： |
| An ASM Semantics for UML Activity Diagrams / Egon Borger ; Alessandra Cavarra ; Elvinia Riccobene |
| Approximate Bisimilarity / Mingsheng Ying |
| Time and Probability in Process Algebra / Suzana Andova |
| A Modal Logic for Klaim / Rocco De Nicola ; Michele Loreti |
| Kleene under a Demonic Star / Jules Desharnais ; Bernhard Möller ; Fairouz Tchier |
| Invited Talk: Pointwise Relational Programming / Oege de Moor ; Jeremy GibbonsSession 5： |
| Towards a Toolkit for Actor System Specification / Carolyn L. Talcott |
| Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic / Christiano de O. Braga ; E. Hermann Haeusler ; José Meseguer ; Peter D. Mosses |
| The Extensibility of Maude's Module Algebra / Francisco Durán |
| A Reuse-Oriented Framework for Hierarchical Specifications / Sophie Coudert ; Pascale Le Gall |
| MIX(FL): A Kernel Language of Mixin Modules / Davide Ancona |
| Behavioural Subtyping Relations for Object-Oriented Formalisms / Clemens Fischer ; Heike Wehrheim |
| Invited Talk: Applying Category Theory to Derive Engineering Software from Encoded Knowledge / Michael Healy ; Keith WilliamsonSession 6： |
| A New Logic for Electronic Commerce Protocols / Kamel Adi ; Mourad Debbabi ; Mohamed Mejri |
| Extended Institutions for Testing / Marielle Doche ; Virginie Wiels |
| Testing from Structured Algebraic Specifications / PatrÃcia D. L. Machado |
| Author Index |
| Education Day |
| Invited Talk: A Software Engineering Program of Lasting Value / David L. Parnas |
| Invited Talk: Weaving Formal Methods into the Undergratuate Computer Science Curriculum / Jeannette M. Wing |
図書
