default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. CAiSE 1993: Paris, France
- Colette Rolland, François Bodart, Corine Cauvet:
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
Schema Integration
- 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
Validation
- 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
Experiences
- 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
Requirements Engineering
- 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
Conceptual Modeling I
- 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
Conceptual Modeling II
- 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
Schema Transformation
- 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
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 - 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
Animation and Verification
- 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
Development Environments
- 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
Panel Statement
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-02-08 22:55 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
