| 000 -LEADER |
|---|
| fixed length control field |
03642nam a22005775i 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| ISBN |
9783642390135 |
| -- |
978-3-642-39013-5 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Modelling Foundations and Applications |
| Sub Title |
9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings / |
| Statement of responsibility, etc |
edited by Pieter Gorp, Tom Ritter, Louis M. Rose. |
| 260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication |
Berlin, Heidelberg : |
| Name of publisher |
Springer Berlin Heidelberg : |
| -- |
Imprint: Springer, |
| Year of publication |
2013. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Number of Pages |
X, 237 p. 93 illus. |
| Other physical details |
online resource. |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture Notes in Computer Science, |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Employing the Object Constraint Language in Model-Based Engineering -- MOCQL: A Declarative Language for Ad-Hoc Model Querying -- Supporting Different Process Views through a Shared Process Model -- Characterization of Adaptable Interpreted-DSML -- Transformation as Search -- Model-Based Generation of Run-Time Monitors for AUTOSAR -- End-User Support for Debugging Demonstration-Based Model Transformation Execution -- DPMP: A Software Pattern for Real-Time Tasks Merge -- Using Model Types to Support Contract-Aware Model Substitutability -- Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing -- A Network-Centric BPMN Model for Business Network Management -- Design Management: A Collaborative Design Solution -- Umbra Designer: Graphical Modelling for Telephony Services -- Experience with Industrial Adoption of Business Process Models for User Acceptance Testing -- A Case Study in Evidence-Based DSL Evolution -- Model Driven Software Development: A Practitioner Takes Stock and Looks into Future. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
This book constitutes the proceedings of the 9th European Conference on Modelling Foundations and applications, ECMFA 2013, held in Montpellier, France, in July 2013. The 15 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are on all aspects of MDE, including topics such as model querying, consistency checking, model transformation; and model-based systems engineering and domain-specific modeling. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer Communication Networks. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Logic design. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Information Systems. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Software Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Logics and Meanings of Programs. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Programming Languages, Compilers, Interpreters. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Computer Communication Networks. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Management of Computing and Information Systems. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Term |
Programming Techniques. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Gorp, Pieter. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Ritter, Tom. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Rose, Louis M. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
http://dx.doi.org/10.1007/978-3-642-39013-5 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
E-BOOKS |
| 264 #1 - |
|---|
| -- |
Berlin, Heidelberg : |
| -- |
Springer Berlin Heidelberg : |
| -- |
Imprint: Springer, |
| -- |
2013. |
| 336 ## - |
|---|
| -- |
text |
| -- |
txt |
| -- |
rdacontent |
| 337 ## - |
|---|
| -- |
computer |
| -- |
c |
| -- |
rdamedia |
| 338 ## - |
|---|
| -- |
online resource |
| -- |
cr |
| -- |
rdacarrier |
| 347 ## - |
|---|
| -- |
text file |
| -- |
PDF |
| -- |
rda |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| -- |
0302-9743 ; |
