Abstract is missing.
- Invited Talk: A Software Engineering Program of Lasting ValueDavid Lorge Parnas. 1 [doi]
- Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science CurriculumJeannette M. Wing. 2-9 [doi]
- Making Mathematical Methods More Practical for Software Developers (Invited Talk)David Lorge Parnas. 9-10 [doi]
- Step by Step to HistoriesMax Breitling, Jan Philipps. 11-25 [doi]
- Distance Functions for Defaults in Reactive SystemsSofia Guerra. 26-40 [doi]
- Generalizing the Modal and Temporal Logic of Linear TimeBernhard Heinemann. 41-56 [doi]
- Process Algebra versus Axiomatic Specification of a Real-Time ProtocolAntonio Cerone. 57-72 [doi]
- Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical SoftwareMark Lawford, Jeff McDougall, Peter Froebel, Greg Moum. 73-88 [doi]
- Invited Talk: Algebraic State MachinesManfred Broy, Martin Wirsing. 89-188 [doi]
- Meta Languages in Algebraic CompilersEric {Van Wyk}. 119-134 [doi]
- Random Access to Abstract Data TypesMartin Erwig. 135-149 [doi]
- A Monad for Basic Java SemanticsBart Jacobs, Erik Poll. 150-164 [doi]
- A Global Semantics for ViewsChristine Choppy, Pascal Poizat, Jean-Claude Royer. 165-180 [doi]
- Analysis of Downward Closed Properties of Logic ProgramsPatricia M. Hill, Fausto Spoto. 181-196 [doi]
- Invited Talk: ASM Formalware in the Software Engineering CycleYuri Gurevich. 197 [doi]
- Process Calculi for Coordination: From Linda to JavaSpacesNadia Busi, Roberto Gorrieri, Gianluigi Zavattaro. 198-212 [doi]
- The Algebra of Multi-taskingColin J. Fidge. 213-227 [doi]
- A Causal Semantics for Timed Default Concurrent Constraint ProgrammingSimone Tini, Andrea Maggiolo-Schettini. 228-242 [doi]
- CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASLGianna Reggio, Lorenzo Repetto. 243-257 [doi]
- Message Authentication through Non InterferenceRiccardo Focardi, Roberto Gorrieri, Fabio Martinelli. 258-272 [doi]
- Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UMLEgidio Astesiano, Maura Cerioli, Gianna Reggio. 273-292 [doi]
- An ASM Semantics for UML Activity DiagramsEgon Börger, Alessandra Cavarra, Elvinia Riccobene. 293-308 [doi]
- Approximate BisimilarityMingsheng Ying, Martin Wirsing. 309-322 [doi]
- Time and Probability in Process AlgebraSuzana Andova. 323-338 [doi]
- A Modal Logic for KLAIMRocco De Nicola, Michele Loreti. 339-354 [doi]
- Kleene under a Demonic StarJules Desharnais, Bernhard Möller, Fairouz Tchier. 355-370 [doi]
- Invited Talk: Pointwise Relational ProgrammingOege de Moor, Jeremy Gibbons. 371-390 [doi]
- Towards a Toolkit for Actor System SpecificationCarolyn L. Talcott. 391-406 [doi]
- Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting LogicChristiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses. 407-421 [doi]
- The Extensibility of Maude s Module AlgebraFrancisco Durán. 422-437 [doi]
- A Reuse-Oriented Framework for Hierarchical SpecificationsSophie Coudert, Pascale Le Gall. 438-453 [doi]
- MIX(FL): A Kernel Language of Mixin ModulesDavide Ancona. 454-468 [doi]
- Behavioural Subtyping Relations for Object-Oriented FormalismsClemens Fischer, Heike Wehrheim. 469-483 [doi]
- Invited Talk: Applying Category Theory to Derive Engineering Software from Encoded KnowledgeMichael Healy, Keith E. Williamson. 484-498 [doi]
- A New Logic for Electronic Commerce ProtocolsKamel Adi, Mourad Debbabi, Mohamed Mejri. 499-513 [doi]
- Extended Institutions for TestingMarielle Doche, Virginie Wiels. 514-528 [doi]
- Testing from Structured Algebraic SpecificationsPatrícia D. L. Machado. 529-544 [doi]