Algebraic Methodology and Software Technology -

. .

Sommaire:
Education Day.- Invited Talk: A Software Engineering Program of Lasting Value (Abstract).- Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum (Extended Abstract).- Technical Meetings.- Invited Talk: Making Mathematical Methods More Practical for Software Developers (Abstract).- Step by Step to Histories.- Distance Functions for Defaults in Reactive Systems.- Generalizing the Modal and Temporal Logic of Linear Time.- Process Algebra versus Axiomatic Specification of a Real-Time Protocol.- Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software.- Algebraic State Machines.- Meta Languages in Algebraic Compilers.- Random Access to Abstract Data Types.- A Monad for Basic Java Semantics.- A Global Semantics for Views.- Analysis of Downward Closed Properties of Logic Programs.- Invited Talk: ASM Formalware in the Software Engineering Cycle.- Process Calculi for Coordination: From Linda to JavaSpaces.- The Algebra of Multi-tasking.- A Causal Semantics for Timed Default Concurrent Constraint Programming.- Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl.- Message Authentication through Non Interference.- Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML.- An ASM Semantics for UML Activity Diagrams.- Approximate Bisimilarity.- Time and Probability in Process Algebra.- A Modal Logic for Klaim.- Kleene under a Demonic Star.- Pointwise Relational Programming.- Towards a Toolkit for Actor System Specification.- Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic.- The Extensibility of Maude's Module Algebra.- A Reuse-Oriented Framework for Hierarchical Specifications.-MIX(FL): A Kernel Language of Mixin Modules.- Behavioural Subtyping Relations for Object-Oriented Formalisms.- Applying Category Theory to Derive Engineering Software from Encoded Knowledge.- A New Logic for Electronic Commerce Protocols.- Extended Institutions for Testing.- Testing from Structured Algebraic Specifications.