This book constitutes the thoroughly refereed post-proceedings of the Metainformatics Symposium, MIS 2003, held in Graz, Austria in September 2003. The 17 revised papers presented were carefully reviewed and selected for inclusion in the book. The topics addressed span the entire range from theoretical considerations of important metainformatics related questions and issues to practical descriptions of approaches and systems that offer assistance in their resolution.

This book constitutes the thoroughly refereed post-proceedings of the Metainformatics Symposium, MIS 2002, held in Esbjerg, Denmark in August 2002.The 15 revised full papers and 3 revised short papers presented together with two introductory articles by the volume editor were carefully reviewed and selected for inclusion in the book. Among the topics addressed are software development, cooperative knowledge management, Web issues, structural computing, content management systems, object-oriented programming, hypermedia, multimedia, metadata, UML, configuration management, Web services, and infrastructure resource management.

This volume contains the final proceedings of the 2004 Metainformatics Symposium (MIS 2004). The event was held during 15–18 September 2004 in Salzburg, Austria at Salzburg Research.

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.

This book constitutes the best papers selection from the proceedings of the 14th International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 2015, held in Naples, Italy, in September 2015. The 47 full papers presented together with one short paper were carefully reviewed and selected from 118 submissions. The papers are organized in topical sections on embedded and mobile software systems, theory and application; real-time systems; requirement engineering, high-assurance and testing system; social networks and big data; cloud computing and semantic web; artificial intelligence techniques and intelligent system design; software development and integration; security and software methodologies for reliable software design; new software techniques in image processing and computer graphics; software applications systems for medical health care.