|
|
|
|
| LEADER |
00000cam a2200000Ia 4500 |
| 001 |
in00003514897 |
| 005 |
20190407122323.0 |
| 006 |
m o d |
| 007 |
cr bn||||||abp |
| 007 |
cr bn||||||ada |
| 008 |
110307s1993 gw a ob 101 0 eng d |
| 019 |
|
|
|a 150397915
|a 321242657
|
| 020 |
|
|
|a 9783540477358
|
| 020 |
|
|
|a 3540477357
|
| 020 |
|
|
|z 3540567771 (Berlin : acid-free paper)
|
| 020 |
|
|
|z 9783540567776 (Berlin : acid-free paper)
|
| 020 |
|
|
|z 0387567771 (New York : acid-free paper)
|
| 020 |
|
|
|z 9780387567778 (New York : acid-free paper)
|
| 035 |
|
|
|a (OCoLC)ocn706001203
|
| 035 |
|
|
|a (OCoLC)706001203
|z (OCoLC)150397915
|z (OCoLC)321242657
|
| 040 |
|
|
|a OCLCE
|b eng
|e pn
|c OCLCE
|d OCLCQ
|d NLGGC
|d CUSER
|d C$Q
|d OCLCQ
|d OCLCF
|d OCLCQ
|d ITD
|d OCLCO
|d UtOrBLW
|
| 042 |
|
|
|a dlr
|
| 049 |
|
|
|a TXAM
|
| 050 |
|
4 |
|a QA76.758
|b .A365 1993
|
| 082 |
0 |
4 |
|a 005.1
|2 20
|
| 084 |
|
|
|a 54.61
|2 bcl
|
| 084 |
|
|
|a 28
|2 sdnb
|
| 084 |
|
|
|a DAT 600f
|2 stub
|
| 084 |
|
|
|a SS 4800
|2 rvk
|
| 111 |
2 |
|
|a CAiSE (Conference)
|n (5th :
|d 1993 :
|c Paris, France)
|
| 245 |
1 |
0 |
|a Advanced information systems engineering :
|b 5th international conference, CAiSE '93, Paris, France, June 8-11, 1993 : proceedings /
|c Colette Rolland, François Bodart, Corine Cauvet (eds.).
|
| 246 |
3 |
|
|a CAiSE '93
|
| 264 |
|
1 |
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c ©1993.
|
| 300 |
|
|
|a 1 online resource (xi, 650 pages) :
|b illustrations.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Lecture notes in computer science,
|x 0302-9743 ;
|v 685
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 505 |
0 |
|
|a Consistent Structural Updates for Object Database Design / P. Poncelet and L. Lakhal -- A Procedural Approach to Schema Evolution / C.A. Ewald and M.E. Orlowska -- An Active Meta-Model for Knowledge Evolution in an Object-Oriented Database / Z. Bellahsene -- Schema Integration in Object-Oriented Databases / C. Thieme and A. Siebes -- Schema Transformations as an Aid in View Integration / P. Johannesson -- Towards a Model for Persistent Data Integration / O. Perrin and N. Boudjlida -- Using Explanations to Improve the Validation of Executable Models / J.A. Gulla and G. Willumsen -- Visualisation for Validation / V. Lalioti and P. Loucopoulos -- Validating Conceptual Models by Transformational Prototyping / O.I. Lindland and J. Krogstie -- Partial Evaluation and Symbolic Computation for the Understanding of Fortran Programs / S. Blazy and P. Facon -- A Multi-Model Approach for Deriving Requirements Specifications for a Mega-Project / C.B. Piprani and R.B. Morris.
|
| 505 |
0 |
|
|a The BOS-Method Architecture: An Improved Structured Approach for the Development of Distributed Information Systems / M. Breu, G. Leonardi, B. Percie du Sert, L. Barengo, M. Pfeiffer and J.-C. Utter -- Dealing with Security Requirements During the Development of Information Systems / L. Chung -- Elicitating and Formalising Requirements for C.I.M. Information Systems / E. Dubois, P. Du Bois and M. Petit -- The Three Dimensions of Requirements Engineering / K. Pohl -- Object-Oriented Analysis in Practice / J. Brunet, C. Cauvet, D. Meddahi and F. Semmak -- Concepts for Real-World Modelling / A.L. Opdahl and G. Sindre -- An Abstraction-Based Rule Approach to Large-Scale Information Systems Development / A.H. Seltveit -- The Semantics of Parts Versus Aggregates in Data/Knowledge Modelling / R. Motschnig-Pitrik -- Object Interaction in Object-Oriented Deductive Conceptual Models / C. Quer and A. Olive.
|
| 505 |
0 |
|
|a An Object-Oriented Temporal Model / N. Edelweiss, J.P.M. de Oliveira and B. Pernici -- From Object-Oriented Design Towards Object-Oriented Programming / N. Kraiem, F. Gargouri and F. Boufares -- Automated Mapping of Conceptual Schemas to Relational Schemas / J.I. McCormack, T.A. Halpin and P.R. Ritson -- Normalization of Object-Oriented Conceptual Schemes / E. Andonoff -- Towards Reliable Information Systems: The KorSo Approach / N. Vlachantonis, R. Herzig, M. Gogolla, G. Denker, S. Conrad and H.-D. Ehrich -- Similarity for Analogical Software Reuse: A Conceptual Modelling Approach / G. Spanoudakis and P. Constantopoulos -- Temporal Aspects in Reuse of Requirement Specifications / V. De Antonellis and L. Vandoni -- Computer-Aided Verification of Software Process Model Properties / A. Brockers and V. Gruhn -- An Animation Facility to Simulate an Information and Communication System / R. Croshere, R. Van de Riet and A. Blom.
|
| 505 |
0 |
|
|a Design of User-Driven Interfaces Using Petri Nets and Objects / P.A. Palanque, R. Bastide, L. Dourte and C. Sibertin-Blanc -- Perspectives on Software Development Environments / V. Prevelakis and D. Tsichritzis -- An Object-Oriented Database Approach for Supporting Hypertext / B. Wang, P. Hitchcock and T. Holden -- Estimation Process of Performance Constraints During the Design of Real-Time and Embedded Systems / R. Puigjaner, A. Benzekri and S. Ayache et al. -- Will IS Development Methods be Completely Incorporated in CASE Tools in the Future? / M. Breu, S. Brinkkemper, M. Franckson, H. Habrias, T. Halpin and P. Loucopoulos.
|
| 538 |
|
|
|a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
|u http://purl.oclc.org/DLF/benchrepro0212
|5 MiAaHDL
|
| 583 |
1 |
|
|a digitized
|c 2011
|h HathiTrust Digital Library
|l committed to preserve
|2 pda
|5 MiAaHDL
|
| 588 |
|
|
|a Description based on online resource; title from PDF title page (SpringerLink, viewed Oct. 18, 2013).
|
| 500 |
|
|
|a Electronic resource.
|
| 650 |
|
0 |
|a Computer-aided software engineering
|v Congresses.
|
| 650 |
|
4 |
|a fiabilité.
|
| 650 |
|
4 |
|a réutilisation logiciel.
|
| 650 |
|
4 |
|a conception orientée objet.
|
| 650 |
|
4 |
|a validation modèle.
|
| 650 |
|
4 |
|a intégration base donnée.
|
| 650 |
|
4 |
|a modélisation conceptuelle.
|
| 650 |
|
4 |
|a base donnée orientée objet.
|
| 650 |
|
4 |
|a génie système information.
|
| 650 |
|
4 |
|a CASE.
|
| 650 |
|
4 |
|a système information.
|
| 650 |
|
6 |
|a Conception assistée par ordinateur en génie logiciel
|v Congrès.
|
| 650 |
|
7 |
|a Conception assistée par ordinateur en génie logiciel
|x Congrès.
|2 ram
|
| 650 |
|
7 |
|a Génie logiciel
|x Congrès.
|2 ram
|
| 650 |
0 |
7 |
|a CASE <Informatik>.
|2 swd
|
| 650 |
0 |
7 |
|a Informationssystem.
|2 swd
|
| 650 |
0 |
7 |
|a Kongre€.
|2 swd
|
| 650 |
|
7 |
|a Computer-aided software engineering.
|2 fast
|0 (OCoLC)fst00872722
|
| 655 |
|
7 |
|a Electronic books.
|2 local
|
| 655 |
|
7 |
|a Paris (1993)
|2 swd
|
| 655 |
|
7 |
|a Conference proceedings.
|2 fast
|0 (OCoLC)fst01423772
|
| 700 |
1 |
|
|a Rolland, Colette.
|
| 700 |
1 |
|
|a Bodart, F.
|
| 700 |
1 |
|
|a Cauvet, Corine.
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 776 |
1 |
8 |
|i Print version:
|a CAiSE '93 (1993 : Paris, France).
|t Advanced information systems engineering.
|d Berlin ; New York : Springer-Verlag, ©1993
|w (DLC) 93186590
|w (OCoLC)28963467
|
| 830 |
|
0 |
|a Lecture notes in computer science ;
|v 685.
|x 0302-9743
|
| 856 |
4 |
0 |
|u http://proxy.library.tamu.edu/login?url=http://link.springer.com/10.1007/3-540-56777-1
|z Connect to the full text of this electronic book
|t 0
|
| 994 |
|
|
|a 92
|b TXA
|
| 999 |
|
|
|a MARS
|
| 999 |
f |
f |
|s 7c5b2d5e-8e68-3451-ae6a-a7853bcec8b9
|i 7fb21261-1342-3021-a427-1b983aa80b05
|t 0
|
| 952 |
f |
f |
|a Texas A&M University
|b College Station
|c Electronic Resources
|d Available Online
|t 0
|e QA76.758 .A365 1993
|h Library of Congress classification
|
| 998 |
f |
f |
|a QA76.758 .A365 1993
|t 0
|l Available Online
|