MARC details
| 000 -LEADER |
|---|
| fixed length control field |
08171cam a2200745 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn797967267 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703161650.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 cnu---unuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
120702s2012 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 |
ZMC |
| -- |
OCLCA |
| -- |
COO |
| -- |
OCLCQ |
| -- |
C$Q |
| -- |
E7B |
| -- |
OCLCF |
| -- |
BEDGE |
| -- |
OCLCO |
| -- |
YDXCP |
| -- |
NUI |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
EBLCP |
| -- |
OCLCQ |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
IOG |
| -- |
CEF |
| -- |
U3W |
| -- |
WYU |
| -- |
YOU |
| -- |
TKN |
| -- |
LEAUB |
| -- |
OCLCQ |
| -- |
AJS |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
UKAHL |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCQ |
| -- |
OCLCL |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642314919 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642314910 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783642314902 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-642-31491-9 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000050022144 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
384332714 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
14554690 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)797967267 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.758 |
| Item number |
.E97 2012 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.10285 |
| Edition number |
23 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
ECMFA (Conference) |
| Number of part/section/meeting |
(8th : |
| Date of meeting |
2012 : |
| Location of meeting |
Lyngby, Denmark) |
| 9 (RLIN) |
45701 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Modelling foundations and applications : |
| Remainder of title |
8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings / |
| Statement of responsibility, etc. |
Antonio Vallecillo [and others] (eds.). |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
ECMFA 2012 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
©2012. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xiii, 446 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 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
1611-3349 ; |
| Volume/sequential designation |
7349 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL 2, Programming and software engineering |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Title |
Executable UML: From Multi-domain to Multi-core / |
| Statement of responsibility |
Ed Seidewitz -- |
| Title |
Models Meeting Automotive Design Challenges / |
| Statement of responsibility |
Henrik Lönn -- |
| Title |
A Commutative Model Composition Operator to Support Software Adaptation / |
| Statement of responsibility |
Sébastien Mosser, Mireille Blay-Fornarino and Laurence Duchien -- |
| Title |
Comparative Study of Model-Based and Multi-Domain System Engineering Approaches for Industrial Settings / |
| Statement of responsibility |
Anjelika Votintseva, Petra Witschel, Nikolaus Regnat and Philipp Emanuel Stelzig -- |
| Title |
Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations / |
| Statement of responsibility |
Mirco Kuhlmann and Martin Gogolla -- |
| Title |
Model Interchange Testing: A Process and a Case Study / |
| Statement of responsibility |
Maged Elaasar and Yvan Labiche -- |
| Title |
An Internal Domain-Specific Language for Constructing OPC UA Queries and Event Filters / |
| Statement of responsibility |
Thomas Goldschmidt and Wolfgang Mahnke -- |
| Title |
Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing / |
| Statement of responsibility |
Lionel Briand, Yvan Labiche and Yanhua Liu -- |
| Title |
Model Transformations for Migrating Legacy Models: An Industrial Case Study / |
| Statement of responsibility |
Gehan M.K. Selim, Shige Wang, James R. Cordy and Juergen Dingel -- |
| Title |
Derived Features for EMF by Integrating Advanced Model Queries / |
| Statement of responsibility |
István Ráth, Ábel Hegedüs and Dániel Varró -- |
| Title |
A Lightweight Approach for Managing XML Documents with MDE Languages / |
| Statement of responsibility |
Dimitrios S. Kolovos, Louis M. Rose, James Williams, Nicholas Matragkas and Richard F. Paige -- |
| Title |
Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies / |
| Statement of responsibility |
Tao Yue and Shaukat Ali -- |
| Title |
Badger: A Regression Planner to Resolve Design Model Inconsistencies / |
| Statement of responsibility |
Jorge Pinna Puissant, Ragnhild Van Der Straeten and Tom Mens -- |
| Title |
Aspect-Oriented Modeling of Mutual Exclusion in UML State Machines / |
| Statement of responsibility |
Gefei Zhang -- |
| Title |
TexMo: A Multi-language Development Environment / |
| Statement of responsibility |
Rolf-Helge Pfeiffer and Andrzej Wąsowski -- |
| Title |
On-the-Fly Emendation of Multi-level Models / |
| Statement of responsibility |
Colin Atkinson, Ralph Gerbig and Bastian Kennel -- |
| Title |
Specifying Refinement Relations in Vertical Model Transformations / |
| Statement of responsibility |
Jan Rieke and Oliver Sudmann -- |
| Title |
Model-Based Automated and Guided Configuration of Embedded Software Systems / |
| Statement of responsibility |
Razieh Behjati, Shiva Nejati, Tao Yue, Arnaud Gotlieb and Lionel Briand -- |
| Title |
Lightweight String Reasoning for OCL / |
| Statement of responsibility |
Fabian Büttner and Jordi Cabot -- |
| Title |
Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering / |
| Statement of responsibility |
Juan de Lara and Esther Guerra -- |
| Title |
Metamodel Based Methodology for Dynamic Component Systems / |
| Statement of responsibility |
Gabor Batori, Zoltan Theisz and Domonkos Asztalos -- |
| Title |
Bidirectional Model Transformation with Precedence Triple Graph Grammars / |
| Statement of responsibility |
Marius Lauder, Anthony Anjorin, Gergely Varró and Andy Schürr -- |
| Title |
A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications / |
| Statement of responsibility |
Tahir Naseer Qureshi, De-Jiu Chen and Martin Törngren -- |
| Title |
Code Generation Nirvana / |
| Statement of responsibility |
Petr Smolik and Pavel Vitkovsky -- |
| Title |
A Plug-in Based Approach for UML Model Simulation / |
| Statement of responsibility |
Alek Radjenovic, Richard F. Paige, Louis M. Rose, Jim Woodcock and Steve King -- |
| Title |
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems / |
| Statement of responsibility |
Alek Radjenovic, Nicholas Matragkas, Richard F. Paige, Matteo Rossi and Alfredo Motta, et al. -- |
| Title |
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems / |
| Statement of responsibility |
Ning Ge and Marc Pantel -- |
| Title |
Unification of Compiled and Interpreter-Based Pattern Matching Techniques / |
| Statement of responsibility |
Gergely Varró, Anthony Anjorin and Andy Schürr -- |
| Title |
OCL-Based Runtime Monitoring of Applications with Protocol State Machines / |
| Statement of responsibility |
Lars Hamann, Oliver Hofrichter and Martin Gogolla -- |
| Title |
On Model Subtyping / |
| Statement of responsibility |
Clément Guy, Benoît Combemale, Steven Derrien, Jim R.H. Steel and Jean-Marc Jézéquel -- |
| Title |
BOB the Builder: A Fast and Friendly Model-to-PetriNet Transformer / |
| Statement of responsibility |
Ulrich Winkler, Mathias Fritzsche, Wasif Gilani and Alan Marshall -- |
| Title |
Solving Acquisition Problems Using Model-Driven Engineering / |
| Statement of responsibility |
Frank R. Burton, Richard F. Paige, Louis M. Rose, Dimitrios S. Kolovos and Simon Poulding, et al. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and author index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Online resource; title from PDF title page (SpringerLink, viewed January 23, 2013). |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the refereed proceedings of the 8th European Conference on Modelling Foundations and Applications, held in Kgs. Lyngby, Denmark, in July 2012. The 20 revised full foundations track papers and 10 revised full applications track papers presented were carefully reviewed and selected from 81 submissions. Papers on all aspects of MDE were received, including topics such as architectural modelling and product lines, code generation, domain-specic modeling, metamodeling, model analysis and verication, model management, model transformation and simulation. The breadth of topics, as well as the high quality of the results presented in these accepted papers, demonstrate the maturity and vibrancy of the field. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer-aided software engineering |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
19481 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Conception assistée par ordinateur en génie logiciel |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
26672 |
| 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-aided software engineering |
| Source of heading or term |
fast |
| 9 (RLIN) |
19482 |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Computer science. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Software engineering. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Logic design. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Information Systems. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Programming Languages, Compilers, Interpreters. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Logics and Meanings of Programs. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Management of Computing and Information Systems. |
| 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 |
Vallecillo, Antonio, |
| Dates associated with a name |
1962- |
| -- |
https://id.oclc.org/worldcat/entity/E39PCjJ9jF3hYTc3VdMGPTjGf3 |
| 9 (RLIN) |
18784 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Modelling foundations and applications (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCFRfV9gyd67V3DBHyHRxWC |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783642314902 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
7349. |
| International Standard Serial Number |
1611-3349 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
LNCS sublibrary. |
| Number of part/section of a work |
SL 2, |
| Name of part/section of a work |
Programming and software engineering. |
| 9 (RLIN) |
20654 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-642-31491-9">https://link.springer.com/10.1007/978-3-642-31491-9</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH29496935 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3070449 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr10653260 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
9242365 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |