Model-driven engineering languages and systems : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 October 4, 2013. Proceedings /

Saved in:
Bibliographic Details
Meeting name:MODELS (Conference) (16th : 2013 : Miami, Fla.)
Imprint:Heidelberg : Springer, 2013.
Description:1 online resource (xxviii, 792 pages) : illustrations.
Language:English
Series:Lecture notes in computer science, 0302-9743 ; 8107
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 8107.
LNCS sublibrary. SL 2, Programming and software engineering.
Subject:Computer software -- Development -- Congresses.
Model-integrated computing -- Congresses.
Model-driven software architecture -- Congresses.
Computer Science.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Simulation and Modeling.
System Performance and Evaluation.
Computer software -- Development.
Model-driven software architecture.
Model-integrated computing.
Software -- Congresses.
Computer Systems -- Congresses.
Electronic books.
Conference papers and proceedings.
Electronic books.
Ebook.
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11080931
Hidden Bibliographic Details
Varying Form of Title:MODELS 2013
Other authors / contributors:Moreira, Ana M. D., editor.
ISBN:9783642415333
3642415334
9783642415326
3642415326
9783642415326
Notes:International conference proceedings.
Includes author index.
Includes author index.
Online resource; title from PDF title page (SpringerLink, viewed September 24, 2013).
Summary: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.
Other form:Printed edition: 9783642415326
Standard no.:10.1007/978-3-642-41533-3