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...
Gorde:
| Erakunde egilea: | |
|---|---|
| Beste egile batzuk: | , , |
| 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?.

