Algebraic Methodology and Software Technology

- 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