5. CAiSE 1993: Paris, France

@proceedings{DBLP:conf/caise/93,
  editor    = {Colette Rolland and
               Fran\c{c}ois Bodart and
               Corine Cauvet},
  title     = {Advanced Information Systems Engineering, CAiSE'93, Paris, France,
               June 8-11, 1993, Proceedings},
  booktitle = {CAiSE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {685},
  year      = {1993},
  isbn      = {3-540-56777-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Evolution

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

Schema Integration

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

Validation

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

Experiences

• Sandrine Blazy, Philippe Facon: Partial Evaluation and Symbolic Computation for the Understanding of Fortran Programs. 184-198 BibTeX
• C. B. Piprani, R. Bruce Morris: A Multi-Model Approach for Deriving Requirements Specifications for a Mega-Project. 199-220 BibTeX
• 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 BibTeX

Requirements Engineering

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

Conceptual Modeling I

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

Conceptual Modeling II

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

Schema Transformation

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

Reuse and Reliability

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

Animation and Verification

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

Development Environments

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

Panel Statement