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 |