Advanced Information Systems Engineering 5th International Conference, CAiSE '93, Paris, France, June 8-11, 1993. Proceedings

Advanced Information Systems Engineering 5th International Conference, CAiSE '93, Paris, France, June 8-11, 1993. Proceedings / edited by Colette Rolland, Francois Bodart, Corine Cauvet.

This volume presents the proceedings of the fifth Conference on Advanced Information Systems Engineering, CAiSE '93, held at the University of Paris-Sorbonne in June 1993. Initiated by J. Bubenko from the Swedish Institute for Systems Development in Stockhom, Sweden, and A. Solvberg from the No...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Rolland, Colette (Editor), Bodart, Francois (Editor), Cauvet, Corine (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993.
Edition:1st ed. 1993.
Series:Lecture Notes in Computer Science, 685
Springer eBook Collection.
Subjects:
Operating systems (Computers).
Database management.
Software engineering.
Information technology.
Business—Data processing.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Consistent structural updates for object database design
  • A procedural approach to schema evolution
  • An active meta-model for knowledge evolution in an object-oriented database
  • Schema integration in object-oriented databases
  • Schema transformations as an aid in view integration
  • Towards a model for persistent data integration
  • Using explanations to improve the validation of executable models
  • Visualisation for validation
  • Validating conceptual models by transformational prototyping
  • Partial evaluation and symbolic computation for the understanding of Fortran programs
  • A multi-model approach for deriving requirements specifications for a mega-project
  • The BOS-method architecture: An improved structured approach for the development of distributed information systems
  • Dealing with security requirements during the development of information systems
  • Elicitating and formalising requirements for C.I.M. information systems
  • The three dimensions of requirements engineering
  • Object-oriented analysis in practice
  • Concepts for real-world modelling
  • An abstraction-based rule approach to large-scale information systems development
  • The semantics of parts versus aggregates in data/knowledge modelling
  • Object interaction in object-oriented deductive conceptual models
  • An object-oriented temporal model
  • From object-oriented design towards object-oriented programming
  • Automated mapping of conceptual schemas to relational schemas
  • Normalization of object-oriented conceptual schemes
  • Towards reliable information systems: The KorSo approach
  • Similarity for analogical software reuse: A conceptual modelling approach
  • Temporal aspects in reuse of requirement specifications
  • Computer-aided verification of software process model properties
  • An animation facility to simulate an information and communication system
  • Design of user-driven interfaces using Petri nets and objects
  • Perspectives on Software development Environments
  • An object oriented database approach for supporting hypertext
  • Estimation process of performance constraints during the design of Real-Time & Embedded systems
  • Panel: Will is development methods be completely incorporated in CASE tools in the future?.

Similar Items