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...
Enregistré dans:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | , , |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
685 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
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 |
| LEADER | 05741nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 944869 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155204971 | ||
| 020 | |a 9783540477358 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.1 | ||
| 111 | 2 | |a CAiSE |n (05 |d :1993 |c :Paris). | |
| 245 | 1 | 0 | |a Advanced information systems engineering : |b 5th International Conference, CAiSE '93, Paris, France, June 8 11, 1993 : proceedings |c [edited by] Colette Rolland, François Bodart, Corine Cauvet. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 685 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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?. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 Norwegian Institute of Technology in Trondheim, Norway, this series of conferences evolved from a Nordic audience to a truly European one. All the conferences have attracted international papers of high quality, indicating the needfor an international conference on advanced information systems engineering topics. The spectrum of contributions contained in the present proceedings extends from inevitable and still controversial issues regarding modeling of information systems, via development environments and experiences, to various novel views forsomespecific aspects of information systems development such as reuse, schema integration, and evolution. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Conception assistée par ordinateur en génie logiciel | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Bodart, François, |d 19..- |4 pbd | |
| 700 | 1 | |a Cauvet, Corine, |d 1959- |4 pbd | |
| 700 | 1 | |a Rolland, Colette, |d 1943-...., |c mathématicienne. |4 pbd | |
| 776 | 0 | |0 017180236 |t Advanced information systems engineering |o 5th International Conference, CAiSE '93, Paris, France, June 8-11, 1993 |o proceedings |f Colette Rolland, François Bodart, Corine Cauvet (eds.) |c Berlin |n Springer-Verlag |d 1993 |p 1 vol. (XI-650 p.) |s Lecture notes in computer science |z 3-540-56777-1 | |
| 776 | 0 | |t Advanced Information Systems Engineering |b Texte imprimé |z 9783662198605 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-56777-1 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-SBM192F8-7 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747915725 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-56777-1 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750928387 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-56777-1 |z Accès INSA CVL | |
| 997 | |0 944869 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||