MARC details
| 000 -LEADER |
|---|
| fixed length control field |
09294cam a2200805 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn288568232 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703145828.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cn||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
081217s2008 gw a ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
COO |
| -- |
C$Q |
| -- |
CUS |
| -- |
E7B |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCA |
| -- |
A7U |
| -- |
OCLCQ |
| -- |
OCLCF |
| -- |
BEDGE |
| -- |
OCLCO |
| -- |
YDXCP |
| -- |
NUI |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCL |
| -- |
OCLCO |
| -- |
EBLCP |
| -- |
OCLCQ |
| -- |
ESU |
| -- |
SHS |
| -- |
UAB |
| -- |
OCLCQ |
| -- |
BUF |
| -- |
CEF |
| -- |
TFW |
| -- |
U3W |
| -- |
AU@ |
| -- |
WYU |
| -- |
ICG |
| -- |
OCLCQ |
| -- |
CNTRU |
| -- |
OCLCQ |
| -- |
ERF |
| -- |
OCLCQ |
| -- |
LUN |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
08,N39,0060 |
| Source |
dnb |
| 019 ## - |
|---|
| -- |
260105702 |
| -- |
488394623 |
| -- |
646764728 |
| -- |
1087341769 |
| -- |
1112592899 |
| -- |
1170785243 |
| -- |
1172672934 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540878759 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540878750 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540878742 |
| Qualifying information |
(pbk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540878742 |
| Qualifying information |
(pbk.) |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-540-87875-9 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000043904372 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000058161898 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000060029985 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000060465348 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000065269423 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
384369359 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
12798348 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)288568232 |
| Canceled/invalid control number |
(OCoLC)260105702 |
| -- |
(OCoLC)488394623 |
| -- |
(OCoLC)646764728 |
| -- |
(OCoLC)1087341769 |
| -- |
(OCoLC)1112592899 |
| -- |
(OCoLC)1170785243 |
| -- |
(OCoLC)1172672934 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Stock number |
978-3-540-87874-2 |
| Source of stock number/acquisition |
Springer |
| Note |
http://www.springerlink.com |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.76.D47 |
| Item number |
M6258 2008eb |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
QA |
| Source |
lcco |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UMZ |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM051230 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1/17 |
| Edition number |
22 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
MODELS (Conference) |
| Number of part/section/meeting |
(11th : |
| Date of meeting |
2008 : |
| Location of meeting |
Toulouse, France) |
| 9 (RLIN) |
31592 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Model driven engineering languages and systems : |
| Remainder of title |
11th international conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008 : proceedings / |
| Statement of responsibility, etc. |
Krzysztof Czarnecki [and others] (eds.). |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
2008. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xix, 921 pages) : |
| Other physical details |
illustrations |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| Encoding format |
PDF |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
5301 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the refereed proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2008, held in Toulouse, France, during September 28-October 3, 2008. The 58 revised full papers presented were carefully reviewed and selected from 271 submissions. The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. The papers are organized in topical sections on Model Transformation: Foundations; Requirements Modeling; Domain-Specific Modeling; Model Transformation: Techniques, Composition and Analysis of Behavioral Models; Model Comprehension; Model Management; Behavioral Conformance and Refinement; Metamodeling and Modularity; Constraints; Model Analysis; Service-Oriented Architectures; Adaptive and Autonomic Systems; Empirical Studies; Evolution and Reverse Engineering; Modeling Language Semantics; Dependability Analysis and Testing; Aspect-Oriented Modeling; Structural Modeling;and Embedded Systems. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Keynote I -- The Objects and Arrows of Computational Design -- Algebraic Models for Bidirectional Model Synchronization -- An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations -- Precise Semantics of EMF Model Transformations by Graph Transformation -- A Formal Metamodel for Problem Frames -- Visualization of Use Cases through Automatically Generated Activity Diagrams -- Requirements Modeling and Validation Using Bi-layer Use Case Descriptions -- WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications -- The Future of Train Signaling -- NAOMI -- An Experimental Platform for Multi-modeling -- Keynote II -- Abstraction and Modelling -- A Complementary Partnership -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting Patterns of Poor Design Solutions Using Constraint Propagation -- A General Approach for Scenario Integration -- Behavioral Modelling and Composition of Object Slices Using Event Observation -- Scenario-Based Static Analysis of UML Class Models -- Constructing Models with the Human-Usable Textual Notation -- X3D-UML: 3D UML State Machine Diagrams -- Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled Experiment -- Keynote III -- 3D Parametric Models for Aeroplanes -- From Idea to Design -- MOOGLE: A Model Search Engine -- Managing Model Conflicts in Distributed Development -- Metamodel Matching for Automatic Model Transformation Generation -- Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams -- Implementation of the Conformance Relation for Incremental Development of Behavioural Models -- A Model-Based Framework for Statically and Dynamically Checking Component Interactions -- Formal Definition of MOF 2.0 Metamodel Components and Composition -- Interfaces and Metainterfaces for Models and Metamodels -- Model & Metamodel, Metadata and Document Repository for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax -- A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency -- Contrary-to-Duties Constraints: From UML to Relational Model -- A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms -- Integrating Performance Analysis in the Model Driven Development of Software Product Lines -- A Model-Driven Measurement Approach -- Specifying Service Composition Using UML 2.x and Composition Policies -- A Model-Based Framework for Security Policy Specification, Deployment and Testing -- A Pattern Language Verifier for Web-Based Enterprise Applications -- Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty -- Autonomic Management Policy Specification: From UML to DSML -- Empirical Analysis of the Relation between Level of Detail in UML Models and Defect Density -- An Empirical Investigation on Dynamic Modeling in Requirements Engineering -- Heterogeneous Coupled Evolution of Software Languages -- Automatability of Coupled Evolution of Metamodels and Models in Practice -- Enriching Reverse Engineering with Annotations -- Towards a Formal Account of a Foundational Subset for Executable UML Models -- A Lightweight Approach for Defining the Formal Semantics of a Modeling Language -- Semantically Configurable Code Generation -- Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams -- Adding Dependability Analysis Capabilities to the MARTE Profile -- Visual ScatterUnit: A Visual Model-Driven Testing Framework of Wireless Sensor Networks Applications -- Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation -- An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability -- Managing Variability Complexity in Aspect-Oriented Modeling -- Mapping the UML2 Semantics of Associations to a Java Code Generation Model -- Meaningful Composite Structures -- A Systematic Approach to Connectors in a Multi-level Modeling Environment -- Model-Based Quality Assurance of Automotive Software -- Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA -- General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool -- Workshops at MODELS 2008 -- Educators Symposium at MODELS 2008 -- Doctoral Symposium at MODELS 2008 -- Tutorials at MODELS 2008 -- Panels at MODELS 2008. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| General subdivision |
Development |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14853 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
UML (Computer science) |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15501 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
UML (Informatique) |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
25797 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique. |
| Source of heading or term |
eclas |
| 9 (RLIN) |
14930 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| General subdivision |
Development |
| Source of heading or term |
fast |
| 9 (RLIN) |
2949 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
UML (Computer science) |
| Source of heading or term |
fast |
| 9 (RLIN) |
15502 |
| 655 #2 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Congress |
| 9 (RLIN) |
11670 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
proceedings (reports) |
| Source of term |
aat |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Czarnecki, Krzysztof, |
| Dates associated with a name |
1970- |
| -- |
https://id.oclc.org/worldcat/entity/E39PCjxrmDbkRyfJ7JbT8hCMCP |
| 9 (RLIN) |
31593 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Model driven engineering languages and systems (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCH9BbcJT7JKhpbFM4k9GgX |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
MoDELS 2008 (2008 : Toulouse, France). |
| Title |
Model driven engineering languages and systems. |
| Place, publisher, and date of publication |
Berlin ; New York : Springer, 2008 |
| International Standard Book Number |
9783540878742 |
| -- |
3540878742 |
| Record control number |
(OCoLC)259253743 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
5301. |
| International Standard Serial Number |
0302-9743 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-540-87875-9">https://link.springer.com/10.1007/978-3-540-87875-9</a> |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL6511693 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3063381 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr10252251 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
3025395 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |