Abstract is missing.
- A Type-Theoretic Memory Model for Verification of Sequential Java ProgramsJoachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll. 1-21
- From States to HistoriesManfred Broy. 22-36
- Principles and Pragmatics of Subtyping in PVSNatarajan Shankar, Sam Owre. 37-52
- Extending Casl by Late BindingDavide Ancona, Maura Cerioli, Elena Zucca. 53-72
- Towards an Evolutionary Formal Software-Development Using CASLSerge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer. 73-88
- Development of Parsing Tools for CASL Using Generic Language TechnologyMark G. J. van den Brand, Jeroen Scheerder. 89-105
- Using CASL to Specify the Requirements and the Design: A Problem Specific ApproachChristine Choppy, Gianna Reggio. 106-125
- Subsorted Partial Higher-Order Locig as an Extension of CASLTill Mossakowski, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner. 126-145
- Specifying Real Numbers in CASLMarkus Roggenbach, Lutz Schröder, Till Mossakowski. 146-161
- Specification Refinement with System F - The Higher-Order CaseJo Erskine Hannay. 162-181
- Guarded Algebras: Disguising Partiality so You Won t Know Whether It s ThereMagne Haveraaen, Eric G. Wagner. 182-200
- A General Completeness Result in RefinementYoshiki Kinoshita, John Power. 201-218
- An Institution of Hybrid SystemsHugo Lourenço, Amílcar Sernadas. 219-236
- Realization of Probabilistic Automata: Categorial ApproachPaulo Mateus, Amílcar Sernadas, Cristina Sernadas. 237-251
- Specifications in an Arbitrary Institution with SymbolsTill Mossakowski. 252-270
- A General Algebraic Framework for Studying Modular SystemsFernando Orejas, Elvira Pino. 271-290
- History Preserving Bisimulation for Contextual NetsPaolo Baldan, Andrea Corradini, Ugo Montanari. 291-310
- A Model for Interaction of Agents and EnvironmentsAlexander A. Letichevsky, David Gilbert. 311-328
- Algebra-Coalgebra Structures and BialgebrasAtaru T. Nakagawa. 329-347
- A Uniform Model Theory for the Specification of Data and Process TypesHorst Reichel. 348-365
- Relating Abstract Datatypes and Z-SchemataHubert Baumeister. 366-382
- Algebraic Specification of Operator-Based Multimedia ScenariosDidier Bert, Stéphane Lo Presti. 383-400
- Higher-Order Logic and Theorem Proving for Structured SpecificationsTomasz Borzyszkowski. 401-418
- Extraction of Structured Programs from Specification ProofsJohn N. Crossley, Iman Poernomo, Martin Wirsing. 419-437
- Towards a Verification Logic for Rewriting LogicJosé Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita. 438-458
- The Rôle of Normalisation in Testing from Structured Algebraic SpecificationsPatrícia D. L. Machado. 459-476