Advanced information systems engineering : 5th International Conference, CAiSE '93, Paris, France, June 8 11, 1993 : proceedings

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...

Deskribapen osoa

Gorde:
Xehetasun bibliografikoak
Erakunde egilea: CAiSE :Paris
Beste egile batzuk: Bodart, François, 19..- (Argitalpenaren zuzendaria), Cauvet, Corine, 1959- (Argitalpenaren zuzendaria), Rolland, Colette, 1943-...., mathématicienne (Argitalpenaren zuzendaria)
Formatua: Livre numérique
Hizkuntza:Anglais
Argitaratua: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Saila:Lecture notes in computer science 685
Gaiak:
Sarrera elektronikoa:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Oharra: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Advanced information systems engineering, 5th International Conference, CAiSE '93, Paris, France, June 8-11, 1993, proceedings, Colette Rolland, François Bodart, Corine Cauvet (eds.), Berlin, Springer-Verlag, 1993, 1 vol. (XI-650 p.), Lecture notes in computer science, 3-540-56777-1
• Advanced Information Systems Engineering, Texte imprimé, 9783662198605
Aurkibidea:
  • 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?.