Proceedings of the Fifth Conference on Advanced Information Systems Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

INFO
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.