Implementing Kilov Object Models in a Requirements Tool Ian F Alexander (2 Dornton Road, London, UK) Discrete Event Modeling Graham Berrisford (Seer Technologies, Uxbridge, Middlesex, UK) Ontology-based Layered Semantics for Precise OA&D Modeling Jean Bezivin (Laboratoire de Recherche en Sciences de Gestion, Universite de Nantes, France), Richard Lemesle (Societe Soft-Maint, Nantes, France) Formalising Object-Oriented Models in the Object Calculus J. C. Bicarregui, K. C. Lano, T. S. E. Maibaum (Dept. of Computing, Imperial College, London, UK) The Culture Contract Anilkumar Bhate (DeVry Institute, North Brunswick, NJ, USA) Towards a Precise Semantics for Object-Oriented Modeling Techniques Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin (Institut f"ur Informatik, Technische Universit"at M"unchen, Germany) Set Theory as a Semantic Framework for Object Oriented Modeling B. Cohen (Centre for Interoperable Systems Research, City University, London, UK) Unification of the Models for Types, Classes and State Machines Gary W. Daugherty (Rockwell International, USA) Integration of Z-Based Semantics of OO-Notations J"urgen Ebert, Roger S"uttenbach (University of Koblenz-Landau, Institute for Software Technology) Integrated Informal Object-Oriented and Formal Modeling Techniques R. B. France (Dept. of Computer Science & Engineering, Florida Atlantic University, Boca Raton, USA), J.-M. Bruel (Laboratoire IRIT/SIERA, Toulouse, France) Semantics through Pictures: Towards a diagrammatic semantics for OO modeling notations Stuart Kent, Ali Hamie, John Howse, Franco Civello, Richard Mitchell (University of Brighton, Brighton, UK) Business rules: from business specification to design Haim Kilov (Merrill Lynch, Technology Strategy and Planning, New York, USA), Ian Simmonds (IBM T J Watson Research Center, Hawthorne, USA) Clarity and Context Haim Kilov, Steve Wolfe (Merrill Lynch, Technology Strategy and Planning, New York, USA) Liberating Object-Oriented Modeling from Programming-Level Abstractions Reino Kurki-Suonio, Tommi Mikkonen (Software Systems Laboratory, Tampere University of Technology, Tampere, Finnland) The Benefits of Object-Orientation in Business Process Design Joseph Morabito (Stevens Institute of Technology, Hoboken, NJ, USA), Anilkumar Bhate (DeVry Institute, North Brunswick, NJ, USA) Discovering, Displaying and Agreeing Semantics in an Environment of Conflicts Geoff Mullery (Systemic Methods, Farnborough, Hants, UK) An Axiomatic Semantics for Object Modeling Technique K. Periyasamy, W. Baluta (Department of Computer Science, University of Manitoba, Winnipeg, Canada) Formal Definition and Refinement of UML's Module/Package Concept Andy Sch"urr, Andreas J. Winter (Lehrstuhl f"ur Informatik III, RWTH Aachen, Germany) Precise semantics for a Behavioral Model in the Context of Object Based Distributed Systems Dominique Sidou (Institut Eurecom, France) On the Specification of Electronic Commerce Economics Angelo E. Thalassinidis (MCI Systemhouse), Ira Sack (Stevens Institute of Technology) A first review of UML -- Position Paper Roland Trauter (Daimler Benz AG, Germany) Experience with Formal Specification of CMM and UML Jos Warmer (IBM), John Hogg (ObjecTime Limited), Steve Cook (IBM), Bran Selic (ObjecTime Limited)