Publisher: Springer; 2014 edition (September 22, 2014)
Format: PDF / Kindle / ePub
Size: 5.6 MB
Downloadable formats: PDF
This e-book constitutes the refereed complaints of the seventeenth foreign convention on version pushed Engineering Languages and structures, versions 2014, held in Valencia, Spain, in September/October 2014. The forty-one complete papers offered during this quantity have been conscientiously reviewed and chosen from a complete of 126 submissions. The scope of the convention sequence is extensive, encompassing modeling languages, tools, instruments, and purposes thought of from theoretical and useful angles and in educational and commercial settings. The papers record at the use of modeling in a variety of cloud, cellular, and net computing, version transformation behavioral modeling, MDE: previous, current, destiny, formal semantics, specification, and verification, types at runtime, function and variability modeling, composition and version, practices and event, modeling for research, pragmatics, version extraction, manipulation and endurance, querying, and reasoning.