5. CAiSE 1993: Paris, France

Colette Rolland, François Bodart, Corine Cauvet (Eds.): Advanced Information Systems Engineering, CAiSE'93, Paris, France, June 8-11, 1993, Proceedings. Lecture Notes in Computer Science 685 Springer 1993, ISBN 3-540-56777-1

Evolution

Pascal Poncelet, Lotfi Lakhal:
Consistent Structural Updates for Object Database Design. 1-21
Catherine A. Ewald, Maria E. Orlowska:
A Procedural Approach to Schema Evolution. 22-38
Zohra Bellahsene:
An Active Meta-model for Knowledge Evolution in an Object-oriented Database. 39-53

Christiaan Thieme, Arno Siebes:
Schema Integration in Object-Oriented Databases. 54-70
Paul Johannesson:
Schema Transformations as an Aid in View Integration. 71-92
Olivier Perrin, Nacer Boudjlida:
Towards a Model for Persistent Data Integration. 93-117

Jon Atle Gulla, Geir Willumsen:
Using Explanations to Improve the Validation of Executable Models. 118-142
Vali Lalioti, Pericles Loucopoulos:
Visualisation for Validation. 143-164
Odd Ivar Lindland, John Krogstie:
Validating Conceptual Models by Transformational Prototyping. 165-183

Sandrine Blazy, Philippe Facon:
Partial Evaluation and Symbolic Computation for the Understanding of Fortran Programs. 184-198
C. B. Piprani, R. Bruce Morris:
A Multi-Model Approach for Deriving Requirements Specifications for a Mega-Project. 199-220
Michael Breu, G. Leonardi, B. Percie du Sert, L. Barengo, M. Pfeiffer, J.-C. Utter:
The BOS-Method Architecture: An Improved Structured Approach for the Development of Distributed Information Systems. 221-233

Lawrence Chung:
Dealing with Security Requirements During the Development of Information Systems. 234-251
Eric Dubois, Philippe Du Bois, Michaël Petit:
Elicitating and Formalising Requirements for C.I.M. Information Systems. 252-274
Klaus Pohl:
The Three Dimensions of Requirements Engineering. 275-292

Joël Brunet, Corine Cauvet, D. Meddahi, Farida Semmak:
Object-Oriented Analysis in Practice. 293-308
Andreas L. Opdahl, Guttorm Sindre:
Concepts for Real-World Modelling. 309-327
Anne Helga Seltveit:
An Abstraction-Based Rule Approach to Large-Scale Information Systems Development. 328-351

Renate Motschnig-Pitrik:
The Semantics of Parts Versus Aggregates in Data/Knowledge Modelling. 352-373
Carme Quer, Antoni Olivé:
Object Interaction in Object-Oriented Deductive Conceptual Models. 374-396
Nina Edelweiss, José Palazzo M. de Oliveira, Barbara Pernici:
An Object-Oriented Temporal Model. 397-415

Naoufel Kraïem, Faïez Gargouri, Faouzi Boufarès:
From Object-Oriented Design Towards Object-Oriented Programming. 416-431
J. I. McCormack, Terry A. Halpin, Peter R. Ritson:
Automated Mapping of Conceptual Schemas to Relational Schemas. 432-448
Eric Andonoff:
Normalization of Object-Oriented Conceptual Schemes. 449-462

Nikolaos Vlachantonis, Rudolf Herzig, Martin Gogolla, Grit Denker, Stefan Conrad, Hans-Dieter Ehrich:
Towards Reliable Information Systems: The KorSo Approach. 463-482
George Spanoudakis, Panos Constantopoulos:
Similarity for Analogical Software Reuse: A Conceptual Modelling Approach. 483-503
Valeria De Antonellis, Lorenzo Vandoni:
Temporal Apsects in Reuse of Requirement Specifications. 504-520

Alfred Bröckers, Volker Gruhn:
Computer-Aided Verification of Software Process Model Properties. 521-546
Robert Croshere, Reind P. van de Riet, Alco Blom:
An Animation Facility to Simulate an Information and Communication System. 547-568
Philippe A. Palanque, Rémi Bastide, Louis Dourte, Christophe Sibertin-Blanc:
Design of User-Driven Interfaces Using Petri Nets and Objects. 569-585

Vassilis Prevelakis, Dennis Tsichritzis:
Perspectives on Software Development Environments. 586-600
Bing Wang, Peter Hitchcock, Tony Holden:
An Object Oriented Database Approach for Supporting Hypertext. 601-628
Ramón Puigjaner, Abdelmalek Benzekri, Sandra Ayache:
Estimation Process of Performance Constraints during the design of Real-Time & Embedded Systems. 629-648