This book presents the latest research on the software crowdsourcing approach to develop large and complex software in a cloud-based platform. It develops the fundamental principles, management organi
This book illustrates how goal-oriented, automated measurement can be used to create Lean organizations and to facilitate the development of Lean software, while also demonstrating the practical imple
The complexity of software is continuously growing as a result of today’s interconnected business processes. Governance of architecture and technology strategy helps to ensure coherence of software an
The fields of HCI and Software Engineering have evolved almost independently of each other until the last decade, when it became apparent that an integrated and combined perspective would benefit the
Volume IX in the Transactions on Aspect-Oriented Software Development series contains papers on modularization, pointcut language, dynamic adaptation, event-based programming, aspect-aware design, sys
This textbooks demonstrates the application of software tools in solving a series of problems from the field of designing power system structures and systems. It contains four chapters: The first chap
Requirements Engineering and Management for Software Development Projects presents a complete guide on requirements for software development including engineering, computer science and management acti
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studyi
Macromolecular (specifically peptide-based) drugs could potentially be highly effective medicines. However they have a relatively short duration of action and variable therapeutic index. An example of
Research into the fascinating properties and applications of magnetic fluids - also called ferrofluids - is rapidly growing, making it necessary to provide, at regular intervals, a coherent and tutori
This book proposes a new theory on children’s thinking (cognitive) development. According to this theory, the stages of said development should be divided into four stages: first, the stage of animali
In open innovation scenarios, firms are able to profit from technological developments that take place beyond the legal boundaries. However, in the absence of contract-based vertical command chains, s
Nanoparticles for Gene Delivery into Stem Cells and Embryos, by Pallavi Pushp, Rajdeep Kaur, Hoon Taek Lee, Mukesh Kumar Gupta. Engineering of Polysaccharides via Nanotechnology, by Joydeep Dutta. Hyd
The intention of this booklet is a brief but general introduction into the treatment of the Finite Element Method (FEM). The FEM has become the leading method in computer–oriented mechanics, so that m
This book provides an overview of tools and techniques used in enterprise software development, many of which are not taught in academic programs or learned on the job. This is an ideal resource conta
This book constitutes the refereed proceedings of the 5th Software Quality Days Conference (SWQD) held in Vienna, Austria, in January 2013. This professional symposium and conference offers a range of
In this age of climatic and financial uncertainty, it becomes increasingly important to balance the cost, benefits and risk of wildfire management. In the United States, increased wildland fire activi
The second volume of this series, Integrating Ecology into Global Poverty Reduction Efforts: Opportunities and solutions, builds upon the first volume, Integrating Ecology into Global Poverty Reductio
The Multi-Agent Based Beam Search (MABBS) method systematically integrates four major requirements of manufacturing production - representation capability, solution quality, computation efficiency, an
Proteins are the most diverse group of biologically important substances. With the recent technological advances in the genomics area and the efforts in proteomics research, the rate of discovery for
This book describes a model-based development (MBD) approach for distributed embedded controllers (DEC). This approach uses Petri nets as modeling formalism to create platform and network independent
In this dissertation, Marie-Helene Larraufie develops original radical and pallado-catalyzed methodologies to enable the synthesis of several classes of bioactive nitrogen-containing heterocycles. New
This book proposes and investigates a universal framework, and accompanying documentation system, to facilitate and catalogue benefit-risk decisions; a valuable addition to the benefit-risk toolbox.Ov
Despite the potential benefits that the IMO's Particularly Sensitive Sea Area (PSSA) designation can deliver, recent practice within the IMO and by individual member states has considerably undermined
Mastering the complexity of innovative systems is a challenging aspect of design and product development. Only a systematic approach can help to embed an increasing degree of smartness in devices and
"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem
