Download or read book Leveraging Applications of Formal Methods Verification and Validation written by Reiner Hähnle and published by Springer. This book was released on 2012-10-12 with total page 271 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, computer vision, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from machine learning for anomaly detection, to model construction in software product lines to classification of web service interfaces. In addition the SARS workshop hosted a special session on the recently launched KOROS project on collaborating robot systems that is borne by a consortium of researchers of the faculties of architecture and planning, computer science, electrical engineering and information technology, and mechanical and industrial engineering at the Vienna University of Technology. The four papers devoted to this session highlight important research directions pursued in this interdisciplinary research project.

Download or read book Value Based Software Engineering written by Stefan Biffl and published by Springer Science & Business Media. This book was released on 2006-02-23 with total page 399 pages. Available in PDF, EPUB and Kindle. Book excerpt: The IT community has always struggled with questions concerning the value of an organization’s investment in software and hardware. It is the goal of value-based software engineering (VBSE) to develop models and measures of value which are of use for managers, developers and users as they make tradeoff decisions between, for example, quality and cost or functionality and schedule – such decisions must be economically feasible and comprehensible to the stakeholders with differing value perspectives. VBSE has its roots in work on software engineering economics, pioneered by Barry Boehm in the early 1980s. However, the emergence of a wider scope that defines VBSE is more recent. VBSE extends the merely technical ISO software engineering definition with elements not only from economics, but also from cognitive science, finance, management science, behavioral sciences, and decision sciences, giving rise to a truly multi-disciplinary framework. Biffl and his co-editors invited leading researchers and structured their contributions into three parts, following an introduction into the area by Boehm himself. They first detail the foundations of VBSE, followed by a presentation of state-of-the-art methods and techniques. The third part demonstrates the benefits of VBSE through concrete examples and case studies. This book deviates from the more anecdotal style of many management-oriented software engineering books and so appeals particularly to all readers who are interested in solid foundations for high-level aspects of software engineering decision making, i.e., to product or project managers driven by economics and to software engineering researchers and students.

Download or read book Evidence Based Software Engineering and Systematic Reviews written by Barbara Ann Kitchenham and published by CRC Press. This book was released on 2015-11-04 with total page 426 pages. Available in PDF, EPUB and Kindle. Book excerpt: In the decade since the idea of adapting the evidence-based paradigm for software engineering was first proposed, it has become a major tool of empirical software engineering. Evidence-Based Software Engineering and Systematic Reviews provides a clear introduction to the use of an evidence-based model for software engineering research and practice.

Download or read book Managing Technical Debt written by Philippe Kruchten and published by Addison-Wesley Professional. This book was released on 2019-04-15 with total page 327 pages. Available in PDF, EPUB and Kindle. Book excerpt: “This is an incredibly wise and useful book. The authors have considerable real-world experience in delivering quality systems that matter, and their expertise shines through in these pages. Here you will learn what technical debt is, what is it not, how to manage it, and how to pay it down in responsible ways. This is a book I wish I had when I was just beginning my career. The authors present a myriad of case studies, born from years of experience, and offer a multitude of actionable insights for how to apply it to your project.” –Grady Booch, IBM Fellow Master Best Practices for Managing Technical Debt to Promote Software Quality and Productivity As software systems mature, earlier design or code decisions made in the context of budget or schedule constraints increasingly impede evolution and innovation. This phenomenon is called technical debt, and practical solutions exist. In Managing Technical Debt, three leading experts introduce integrated, empirically developed principles and practices that any software professional can use to gain control of technical debt in any software system. Using real-life examples, the authors explain the forms of technical debt that afflict software-intensive systems, their root causes, and their impacts. They introduce proven approaches for identifying and assessing specific sources of technical debt, limiting new debt, and “paying off” debt over time. They describe how to establish managing technical debt as a core software engineering practice in your organization. Discover how technical debt damages manageability, quality, productivity, and morale–and what you can do about it Clarify root causes of debt, including the linked roles of business goals, source code, architecture, testing, and infrastructure Identify technical debt items, and analyze their costs so you can prioritize action Choose the right solution for each technical debt item: eliminate, reduce, or mitigate Integrate software engineering practices that minimize new debt Managing Technical Debt will be a valuable resource for every software professional who wants to accelerate innovation in existing systems, or build new systems that will be easier to maintain and evolve.

Download or read book Experimentation in Software Engineering written by Claes Wohlin and published by Springer Science & Business Media. This book was released on 2012-06-16 with total page 249 pages. Available in PDF, EPUB and Kindle. Book excerpt: Like other sciences and engineering disciplines, software engineering requires a cycle of model building, experimentation, and learning. Experiments are valuable tools for all software engineers who are involved in evaluating and choosing between different methods, techniques, languages and tools. The purpose of Experimentation in Software Engineering is to introduce students, teachers, researchers, and practitioners to empirical studies in software engineering, using controlled experiments. The introduction to experimentation is provided through a process perspective, and the focus is on the steps that we have to go through to perform an experiment. The book is divided into three parts. The first part provides a background of theories and methods used in experimentation. Part II then devotes one chapter to each of the five experiment steps: scoping, planning, execution, analysis, and result presentation. Part III completes the presentation with two examples. Assignments and statistical material are provided in appendixes. Overall the book provides indispensable information regarding empirical studies in particular for experiments, but also for case studies, systematic literature reviews, and surveys. It is a revision of the authors’ book, which was published in 2000. In addition, substantial new material, e.g. concerning systematic literature reviews and case study research, is introduced. The book is self-contained and it is suitable as a course book in undergraduate or graduate studies where the need for empirical studies in software engineering is stressed. Exercises and assignments are included to combine the more theoretical material with practical aspects. Researchers will also benefit from the book, learning more about how to conduct empirical studies, and likewise practitioners may use it as a “cookbook” when evaluating new methods or techniques before implementing them in their organization.

Download or read book Software Engineering with Reusable Components written by Johannes Sametinger and published by Springer Science & Business Media. This book was released on 2013-04-17 with total page 275 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book provides a clear understanding of what software reuse is, where the problems are, what benefits to expect, the activities, and its different forms. The reader is also given an overview of what sofware components are, different kinds of components and compositions, a taxonomy thereof, and examples of successful component reuse. An introduction to software engineering and software process models is also provided.

Download or read book Continuous Software Engineering written by Jan Bosch and published by Springer. This book was released on 2014-11-11 with total page 230 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides essential insights on the adoption of modern software engineering practices at large companies producing software-intensive systems, where hundreds or even thousands of engineers collaborate to deliver on new systems and new versions of already deployed ones. It is based on the findings collected and lessons learned at the Software Center (SC), a unique collaboration between research and industry, with Chalmers University of Technology, Gothenburg University and Malmö University as academic partners and Ericsson, AB Volvo, Volvo Car Corporation, Saab Electronic Defense Systems, Grundfos, Axis Communications, Jeppesen (Boeing) and Sony Mobile as industrial partners. The 17 chapters present the “Stairway to Heaven” model, which represents the typical evolution path companies move through as they develop and mature their software engineering capabilities. The chapters describe theoretical frameworks, conceptual models and, most importantly, the industrial experiences gained by the partner companies in applying novel software engineering techniques. The book’s structure consists of six parts. Part I describes the model in detail and presents an overview of lessons learned in the collaboration between industry and academia. Part II deals with the first step of the Stairway to Heaven, in which R&D adopts agile work practices. Part III of the book combines the next two phases, i.e., continuous integration (CI) and continuous delivery (CD), as they are closely intertwined. Part IV is concerned with the highest level, referred to as “R&D as an innovation system,” while Part V addresses a topic that is separate from the Stairway to Heaven and yet critically important in large organizations: organizational performance metrics that capture data, and visualizations of the status of software assets, defects and teams. Lastly, Part VI presents the perspectives of two of the SC partner companies. The book is intended for practitioners and professionals in the software-intensive systems industry, providing concrete models, frameworks and case studies that show the specific challenges that the partner companies encountered, their approaches to overcoming them, and the results. Researchers will gain valuable insights on the problems faced by large software companies, and on how to effectively tackle them in the context of successful cooperation projects.

Download or read book Digital Information and Communication Technology and Its Applications written by Hocine Cherifi and published by Springer. This book was released on 2011-06-17 with total page 790 pages. Available in PDF, EPUB and Kindle. Book excerpt: This two-volume set CCIS 166 and 167 constitutes the refereed proceedings of the International Conference on Digital Information and Communication Technology and its Applications, DICTAP 2011, held in Dijon, France, in June 2010. The 128 revised full papers presented in both volumes were carefully reviewed and selected from 330 submissions. The papers are organized in topical sections on Web applications; image processing; visual interfaces and user experience; network security; ad hoc network; cloud computing; Data Compression; Software Engineering; Networking and Mobiles; Distributed and Parallel processing; social networks; ontology; algorithms; multimedia; e-learning; interactive environments and emergent technologies for e-learning; signal processing; information and data management.

Download or read book Internet of Things and Sensors Networks in 5G Wireless Communications written by Lei Zhang and published by MDPI. This book was released on 2020-01-24 with total page 222 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Internet of Things (IoT) has attracted much attention from society, industry and academia as a promising technology that can enhance day to day activities, and the creation of new business models, products and services, and serve as a broad source of research topics and ideas. A future digital society is envisioned, composed of numerous wireless connected sensors and devices. Driven by huge demand, the massive IoT (mIoT) or massive machine type communication (mMTC) has been identified as one of the three main communication scenarios for 5G. In addition to connectivity, computing and storage and data management are also long-standing issues for low-cost devices and sensors. The book is a collection of outstanding technical research and industrial papers covering new research results, with a wide range of features within the 5G-and-beyond framework. It provides a range of discussions of the major research challenges and achievements within this topic.

Download or read book Handbook of Research on Educational Communications and Technology written by David Jonassen and published by Routledge. This book was released on 2008-09-25 with total page 1296 pages. Available in PDF, EPUB and Kindle. Book excerpt: First Published in 2008. Routledge is an imprint of Taylor & Francis, an informa company.

Download or read book Case Study Research in Software Engineering written by Per Runeson and published by John Wiley & Sons. This book was released on 2012-03-07 with total page 197 pages. Available in PDF, EPUB and Kindle. Book excerpt: Based on their own experiences of in-depth case studies of software projects in international corporations, in this book the authors present detailed practical guidelines on the preparation, conduct, design and reporting of case studies of software engineering. This is the first software engineering specific book on the case study research method.

Download or read book Software Evolution written by Tom Mens and published by Springer Science & Business Media. This book was released on 2008-01-25 with total page 357 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book focuses on novel trends in software evolution research and its relations with other emerging disciplines. Mens and Demeyer, both authorities in the field of software evolution, do not restrict themselves to the evolution of source code but also address the evolution of other, equally important software artifacts. This book is the indispensable source for researchers and professionals looking for an introduction and comprehensive overview of the state-of-the-art.

Download or read book Numerical Computations with GPUs written by Volodymyr Kindratenko and published by Springer. This book was released on 2014-07-03 with total page 404 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book brings together research on numerical methods adapted for Graphics Processing Units (GPUs). It explains recent efforts to adapt classic numerical methods, including solution of linear equations and FFT, for massively parallel GPU architectures. This volume consolidates recent research and adaptations, covering widely used methods that are at the core of many scientific and engineering computations. Each chapter is written by authors working on a specific group of methods; these leading experts provide mathematical background, parallel algorithms and implementation details leading to reusable, adaptable and scalable code fragments. This book also serves as a GPU implementation manual for many numerical algorithms, sharing tips on GPUs that can increase application efficiency. The valuable insights into parallelization strategies for GPUs are supplemented by ready-to-use code fragments. Numerical Computations with GPUs targets professionals and researchers working in high performance computing and GPU programming. Advanced-level students focused on computer science and mathematics will also find this book useful as secondary text book or reference.

Download or read book EUROMICRO 2006 written by and published by IEEE. This book was released on 2006-01-01 with total page 489 pages. Available in PDF, EPUB and Kindle. Book excerpt: The conference has a long tradition of bringing together people from academia, research, business, and industry who are working in information technology with its various aspects. Over the years, EUROMICRO conferences have been reflecting and representing the often dramatic changes in technology. The aim of SEAA 2006 is to proceed with this tradition by focusing its accepted papers on innovative and advanced fields in software engineering and its applications.

Download or read book Lean Construction written by Patricia Tzortzopoulos and published by Routledge. This book was released on 2020-02-26 with total page 472 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book collates the main research developments around Lean Construction over the past 25 years with contributions from many seminal authors in the field. It takes stock of developments since the publication of Koskela’s (1992) Application of the New Production Philosophy to Construction and, in doing so, challenges current thinking and progress. It also crystallises theoretical conceptualisations and practically situated learning whilst identifying future research challenges, agendas and opportunities for global collaborative actions. The contributors present the development of Lean Construction as a fundamental part of improving construction productivity, quality and delivery of value to clients and users of built infrastructure. In doing so, the book introduces the reader to the foundational principles and theories that have influenced the way we now understand Lean Construction and has provided very useful insights to students, practitioners and researchers on key junctures over the last 25 years. Highlighting the key contemporary developments and using global case study material the chapters demonstrate good practice but also help introduce new thinking to both lay readers and experienced practitioners alike. This book is essential reading for undergraduate and postgraduate students, researchers and practitioners with an interest in Lean Construction and construction management, providing a general understanding of the area, current state of the art knowledge as well as providing an insight into areas for future research.

Download or read book Engineering Secure Future Internet Services and Systems written by Maritta Heisel and published by Springer. This book was released on 2014-05-22 with total page 400 pages. Available in PDF, EPUB and Kindle. Book excerpt: This State-of-the-Art Survey contains a selection of papers representing state-of-the-art results in the engineering of secure software-based Future Internet services and systems, produced by the NESSoS project researchers. The engineering approach of the Network of Excellence NESSoS, funded by the European Commission, is based on the principle of addressing security concerns from the very beginning in all software development phases, thus contributing to reduce the amount of software vulnerabilities and enabling the systematic treatment of security needs through the engineering process. The 15 papers included in this volume deal with the main NESSoS research areas: security requirements for Future Internet services; creating secure service architectures and secure service design; supporting programming environments for secure and composable services; enabling security assurance and integrating former results in a risk-aware and cost-aware software life-cycle.

Download or read book Software Process Improvement written by Rory O'Connor and published by Springer Science & Business Media. This book was released on 2009-08-21 with total page 238 pages. Available in PDF, EPUB and Kindle. Book excerpt: This textbook is intended for SPI (software process improvement) managers and - searchers, quality managers, and experienced project and research managers. The papers constitute the research proceedings of the 16th EuroSPI (European Software Process Improvement, www.eurospi.net) conference held in Alcala (Madrid region), September 2–4, 2009, Spain. Conferences have been held since 1994 in Dublin, 1995 in Vienna (Austria), 1997 in Budapest (Hungary), 1998 in Gothenburg (Sweden), 1999 in Pori (Finland), 2000 in Copenhagen (Denmark), 2001 in Limerick (Ireland), 2002 in Nuremberg (G- many), 2003 in Graz (Austria), 2004 in Trondheim (Norway), 2005 in Budapest (Hungary), 2006 in Joensuu (Finland), 2007 in Potsdam (Germany), 2008 in Dublin (Ireland), and 2009 in Alcala (Spain). EuroSPI established an experience library (library.eurospi.net) which will be conti- ously extended over the next few years and will be made available to all attendees. EuroSPI also created an umbrella initiative for establishing a European Qualification Network in which different SPINs and national initiatives join mutually beneficial collaborations (ECQA – European Certification and Qualification Association, www.ecqa.org). With a general assembly during October 15–16, 2007 through Euro-SPI partners and networks, in collaboration with the European Union (supported by the EU L- nardo da Vinci Programme) a European certification association has been created (www.eu-certificates.org, www.ecqa.org) for the IT and services sector to offer SPI knowledge and certificates to industry, establishing close knowledge transfer links between research and industry.