Colette Rolland, François Bodart, Corine Cauvet
Proceedings of the Fifth Conference on Advanced Information Systems Engineering
CAiSE, 1993.

@proceedings{CAiSE-1993,
	address       = "Paris, France",
	editor        = "Colette Rolland and François Bodart and Corine Cauvet",
	isbn          = "3-540-56777-1",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fifth Conference on Advanced Information Systems Engineering}",
	volume        = 685,
	year          = 1993,
}

Contents (33 items)

8 ×#object-oriented
7 ×#approach
6 ×#concept
6 ×#information management
6 ×#modelling
4 ×#database
4 ×#design
4 ×#development
4 ×#requirements
3 ×#integration

CAiSE-1993-PonceletL #consistency #database #design

Consistent Structural Updates for Object Database Design (PP, LL), pp. 1–21.

CAiSE-1993-EwaldO #approach #evolution

A Procedural Approach to Schema Evolution (CAE, MEO), pp. 22–38.

CAiSE-1993-Bellahsene #database #evolution #metamodelling #object-oriented

An Active Meta-model for Knowledge Evolution in an Object-oriented Database (ZB), pp. 39–53.

CAiSE-1993-ThiemeS #database #integration #object-oriented

Schema Integration in Object-Oriented Databases (CT, AS), pp. 54–70.

CAiSE-1993-Johannesson #integration

Schema Transformations as an Aid in View Integration (PJ), pp. 71–92.

CAiSE-1993-PerrinB #integration #persistent #towards

Towards a Model for Persistent Data Integration (OP, NB), pp. 93–117.

CAiSE-1993-GullaW #execution #modelling #using #validation

Using Explanations to Improve the Validation of Executable Models (JAG, GW), pp. 118–142.

CAiSE-1993-LaliotiL #validation #visualisation

Visualisation for Validation (VL, PL), pp. 143–164.

CAiSE-1993-LindlandK #concept #modelling #prototype #validation

Validating Conceptual Models by Transformational Prototyping (OIL, JK), pp. 165–183.

CAiSE-1993-BlazyF #comprehension #fortran #partial evaluation #source code #symbolic computation

Partial Evaluation and Symbolic Computation for the Understanding of Fortran Programs (SB, PF), pp. 184–198.

CAiSE-1993-PipraniM #approach #multi #requirements #specification

A Multi-Model Approach for Deriving Requirements Specifications for a Mega-Project (CBP, RBM), pp. 199–220.

CAiSE-1993-BreuLSBPU #approach #architecture #development #distributed #information management

The BOS-Method Architecture: An Improved Structured Approach for the Development of Distributed Information Systems (MB, GL, BPdS, LB, MP, JCU), pp. 221–233.

CAiSE-1993-Chung #development #information management #requirements #security

Dealing with Security Requirements During the Development of Information Systems (LC), pp. 234–251.

CAiSE-1993-DuboisBP #elicitation #formal method #information management #requirements

Elicitating and Formalising Requirements for C.I.M. Information Systems (ED, PDB, MP), pp. 252–274.

CAiSE-1993-Pohl #requirements

The Three Dimensions of Requirements Engineering (KP), pp. 275–292.

CAiSE-1993-BrunetCMS #analysis #object-oriented

Object-Oriented Analysis in Practice (JB, CC, DM, FS), pp. 293–308.

CAiSE-1993-OpdahlS #concept #modelling

Concepts for Real-World Modelling (ALO, GS), pp. 309–327.

CAiSE-1993-Seltveit #approach #development #information management #scalability

An Abstraction-Based Rule Approach to Large-Scale Information Systems Development (AHS), pp. 328–351.

CAiSE-1993-Motschnig-Pitrik #modelling #semantics

The Semantics of Parts Versus Aggregates in Data/Knowledge Modelling (RMP), pp. 352–373.

CAiSE-1993-QuerO #concept #deduction #interactive #modelling #object-oriented

Object Interaction in Object-Oriented Deductive Conceptual Models (CQ, AO), pp. 374–396.

CAiSE-1993-EdelweissOP #object-oriented

An Object-Oriented Temporal Model (NE, JPMdO, BP), pp. 397–415.

CAiSE-1993-KraiemGB #design #object-oriented #programming #towards

From Object-Oriented Design Towards Object-Oriented Programming (NK, FG, FB), pp. 416–431.

CAiSE-1993-McCormackHR #automation #concept #relational

Automated Mapping of Conceptual Schemas to Relational Schemas (JIM, TAH, PRR), pp. 432–448.

CAiSE-1993-Andonoff #concept #normalisation #object-oriented

Normalization of Object-Oriented Conceptual Schemes (EA), pp. 449–462.

CAiSE-1993-VlachantonisHGDCE #approach #information management #reliability #towards

Towards Reliable Information Systems: The KorSo Approach (NV, RH, MG, GD, SC, HDE), pp. 463–482.

CAiSE-1993-SpanoudakisC #approach #concept #modelling #reuse #similarity

Similarity for Analogical Software Reuse: A Conceptual Modelling Approach (GS, PC), pp. 483–503.

CAiSE-1993-AntonellisV #reuse #specification #using

Temporal Apsects in Reuse of Requirement Specifications (VDA, LV), pp. 504–520.

CAiSE-1993-BrockersG #process #verification

Computer-Aided Verification of Software Process Model Properties (AB, VG), pp. 521–546.

CAiSE-1993-CroshereRB #animation #communication #information management #simulation

An Animation Facility to Simulate an Information and Communication System (RC, RPvdR, AB), pp. 547–568.

CAiSE-1993-PalanqueBDS #design #interface #petri net #using

Design of User-Driven Interfaces Using Petri Nets and Objects (PAP, RB, LD, CSB), pp. 569–585.

CAiSE-1993-PrevelakisT #development

Perspectives on Software Development Environments (VP, DT), pp. 586–600.

CAiSE-1993-WangHH #approach #database #hypermedia #object-oriented

An Object Oriented Database Approach for Supporting Hypertext (BW, PH, TH), pp. 601–628.

CAiSE-1993-PuigjanerBA #constraints #design #embedded #estimation #performance #process #realtime

Estimation Process of Performance Constraints during the design of Real-Time & Embedded Systems (RP, AB, SA), pp. 629–648.