ISBN: 3-540-67530-2
TITLE: Algebraic Methodology and Software Technology
AUTHOR: Rus, Teodor (Ed.)
TOC:

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