This book considers the principle of ‘sustainable development’ which is currently facing a growing environmental crisis. A new mode of thinking and positioning the ecological imperative is the major input of this volume. The prism of co-viability is not the economics of political agencies that carry the ideology of the dominant/conventional economic schools, but rather an opening of innovation perspectives through science. This volume, through its four parts, more than 40 chapters and a hu...

This second volume is the work of more than 55 authors from 15 different disciplines and includes complex systems science which studies the viability of components, and also the study of empirical situations. As readers will discover, the coviability of social and ecological systems is based on the contradiction between humanity, which adopts finalized objectives, and the biosphere, which refers to a ecological functions. We see how concrete situations shed light on the coviability’s deter...

This book constitutes the thoroughly refereed proceedings of the 9th International Joint Conference on Software Technologies, ICSOFT 2014, held in Vienna, Austria, in August 2014.The 15 revised full papers and 6 short papers presented were carefully reviewed and selected from 145 submissions. The papers focus on enterprise software technologies; software engineering and systems security; distributed systems; and software project management.

This book is a step-by-step guide to building your own SharePoint farm in a home lab setting. Learn how to build a windows domain and then join servers into the domain in order to create your own testing and learning environment. After you get the domain stood up, where you go from there is up to you. This book will help you learn how to spin up SharePoint in a least privileged fashion.This isn’t strictly a SharePoint book, though. For example, if you’re not a SharePoint profession...

This book summarizes the results of Design Thinking Research carried out at Stanford University in Palo Alto, California, USA, and Hasso Plattner Institute in Potsdam, Germany.The authors offer readers a closer look at Design Thinking with its processes of innovations and methods. The contents of the articles range from how to design ideas, methods, and technologies via creativity experiments and wicked problem solutions, to creative collaboration in the real world and the connecti...

This book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Software Technologies, ICSOFT 2015, held in Colmar, France, in July 2015.The 23 revised full papers presented were carefully reviewed and selected from 117 submissions. The papers are organized around the following conference tracks: enterprise software technologies; software project management; software engineering methods and techniques; distributed and mobile software systems....

The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nature of today’s agile system development, which is characterized by unclear premises, unforeseen change, and the need for fast reaction, in a context of hard-to-control frame conditions, such as third-party components, network problems, and attacks. Submissions are evaluated according to these goals.This book, the first volume in the serie...

The LNCS Transactions on Modularity and Composition are devoted to all aspects of software modularity and composition methods, tools, and techniques, covering requirement analysis, design, implementation, maintenance, and evolution. The focus of the journal also includes modelling techniques, new paradigms and languages, development tools, measurement, novel verification and testing approaches, theoretical foundations, and understanding interactions between modularity and composition....

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.

This book constitutes the thoroughly refereed proceedings of the 11th International Joint Conference on Software Technologies, ICSOFT 2016, held in Lisbon, Portugal, in July 2016.The 13 revised full papers together with 3 short papers presented were carefully reviewed and selected from 84 submissions.The papers selected to be included in this book contribute to the understanding of relevant trends of current research on software technologies, including:Mod...

This book introduces and describes in detail the SEQUAL framework for understanding the quality of models and modeling languages, including the numerous specializations of the generic framework, and the various ways in which this can be used for different applications. Topics and features: contains case studies, chapter summaries, review questions, problems and exercises throughout the text, in addition to Appendices on terminology and abbreviations; presents a thorough introduction to the...

This easy-to-follow textbook provides an exercise-driven guide to the use of the Discrete Event Systems Specification (DEVS) simulation modeling formalism and the System Entity Structure (SES) simulation model ontology supported with the latest advances in software architecture and design principles, methods, and tools for building and testing virtual Systems of Systems (SoS). The book examines a wide variety of SoS problems, ranging from cloud computing systems to biological systems in ag...