Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings /

This book constitutes the refereed proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013, held in Miami, FL, USA, in September/October 2013. The 47 full papers presented in this volume were carefully reviewed and selected from a total of 180...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Moreira, Ana., Schätz, Bernhard., Gray, Jeff., Vallecillo, Antonio., Clarke, Peter.
Format: Electronic
Language: English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
Series: Lecture Notes in Computer Science, 8107
Subjects:
Online Access: http://dx.doi.org/10.1007/978-3-642-41533-3
Tags: Add Tag
No Tags, Be the first to tag this record!
LEADER 03268nam a22006495i 4500
001 978-3-642-41533-3
003 DE-He213
005 20170324004438.0
007 cr nn 008mamaa
008 130919s2013 gw | s |||| 0|eng d
020 |a 9783642415333  |9 978-3-642-41533-3 
024 7 |a 10.1007/978-3-642-41533-3  |2 doi 
050 4 |a QA76.7-76.73 
050 4 |a QA76.76.C65 
072 7 |a UMX  |2 bicssc 
072 7 |a UMC  |2 bicssc 
072 7 |a COM051010  |2 bisacsh 
072 7 |a COM010000  |2 bisacsh 
082 0 4 |a 005.13  |2 23 
245 1 0 |a Model-Driven Engineering Languages and Systems  |h [electronic resource] :  |b 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings /  |c edited by Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2013. 
300 |a XXVIII, 792 p. 299 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 8107 
505 0 |a Tool support -- Dependability -- Comprehensibility -- Testing -- Evolution -- Verification -- Product lines -- Semantics -- Domain-specific modeling languages -- Design and architecture -- Model transformation -- Model analysis.- System synthesis. 
520 |a This book constitutes the refereed proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013, held in Miami, FL, USA, in September/October 2013. The 47 full papers presented in this volume were carefully reviewed and selected from a total of 180 submissions. They are organized in topical sections named: tool support; dependability; comprehensibility; testing; evolution; verification; product lines; semantics; domain-specific modeling languages; models@RT; design and architecture; model transformation; model analysis; and system synthesis. 
650 0 |a Computer science. 
650 0 |a Computer system failures. 
650 0 |a Software engineering. 
650 0 |a Programming languages (Electronic computers). 
650 0 |a Computer logic. 
650 0 |a Computer simulation. 
650 0 |a Management information systems. 
650 1 4 |a Computer Science. 
650 2 4 |a Programming Languages, Compilers, Interpreters. 
650 2 4 |a Software Engineering. 
650 2 4 |a Logics and Meanings of Programs. 
650 2 4 |a Management of Computing and Information Systems. 
650 2 4 |a Simulation and Modeling. 
650 2 4 |a System Performance and Evaluation. 
700 1 |a Moreira, Ana.  |e editor. 
700 1 |a Schätz, Bernhard.  |e editor. 
700 1 |a Gray, Jeff.  |e editor. 
700 1 |a Vallecillo, Antonio.  |e editor. 
700 1 |a Clarke, Peter.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783642415326 
830 0 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 8107 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-41533-3 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (Springer-11645) 
999 |c 52479  |d 52479