This book constitutes thoroughly revised and selected papers from the 4th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2016, held in Rome, Italy, in February 2016. The 17 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 118 submissions. They are organized in topical sections named: modeling languages, tools and architectures; methodologies, processes and platforms; applications and software development.
This book presents high-quality original contributions on new software engineering models, approaches, methods, and tools and their evaluation in the context of defence and security applications. In addition, important business and economic aspects are discussed, with a particular focus on cost/benefit analysis, new business models, organizational evolution, and business intelligence systems. The contents are based on presentations delivered at SEDA 2015, the 4th International Conference in Software Engineering for Defence Applications, which was held in Rome, Italy, in May 2015. This conference series represents a targeted response to the growing need for research that reports and debates the practical implications of software engineering within the defence environment and also for software performance evaluation in real settings through controlled experiments as well as case and field studies. The book will appeal to all with an interest in modeling, managing, and implementing defence-related software development products and processes in a structured and supportable way.
This book aims to examine innovation in the fields of computer engineering and networking. The book covers important emerging topics in computer engineering and networking, and it will help researchers and engineers improve their knowledge of state-of-art in related areas. The book presents papers from the 4th International Conference on Computer Engineering and Networks (CENet2014) held July 19-20, 2014 in Shanghai, China.
The evolution and popularity of the Internet and computing GRID has brought the cooperative computing research discipline to the Internet, for which we coined the term Cooperative Internet Computing (CIC). This conference brings together new and different approaches to CIC.The book contains the revised version of the 12 best papers presented at the conference, listed under four categories: theories and protocols of CIC, technologies and architecture of CIC, collaborative information retrieval, and CIC applications.This collection serves as a useful resource for those interested in the research and study of CIC.
The proceedings of the fourth Vienna Development Method Symposium, VDM'91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252), 1988 (LNCS 328), and 1990 (LNCS 428). The VDM symposia have been organized by VDM Europe, formed in 1985 as an advisory board sponsored by the Commission of the European Communities. The VDM Europe working group consisted of researchers, software engineers, and programmers, allinterested in promoting the industrial usage of formal methods for software development. The fourth VDM symposium presented not only VDM but also a large number of other methods for formal software development. Volume 1 contains conference contributions. It has four parts: contributions of invited speakers, papers, project reports, and tools demonstration abstracts. The emphasis is on methods and calculi for development, verification and verification tools support, experiences from doing developments, and the associated theoretical problems. Volume 2 contains four introductory tutorials (on LARCH, Refinement Calculus, VDM, and RAISE) and four advanced tutorials (on ABEL, PROSPECTRA, The B Method, and The Stack). They present a comprehensive account of the state of theart.
The LNCS Journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The papers, which focus on mapping of early aspects across the software lifecycle, and aspects and software evolution, have passed through a careful peer reviewing process.
