Rationale-Based Software Engineering

EBook Description: Many decisions are required throughout the software development process. These decisions, and to some extent the decision-making process itself, can best be documented as the rationale for the system, which will reveal not only what was done during development but the reasons behind the choices made and alternatives considered and rejected. This information becomes increasingly critical as software development becomes more distributed and encompasses the corporate knowledge both used and refined during the development process. The capture of rationale helps to ensure that decisions are well thought out and justified and the use of rationale can help avoid the mistakes of the past during both the development of the current system and when software products (architecture and design, as well as code) are reused in future systems.

Software engineering research can trace its roots to a few highly influential individuals. Among that select group is Leon J. Osterweil, who has been a major force in driving software engineering from its infancy to its modern reality. For more than three decades, Prof. Osterweil's work has fundamentally defined or significantly impacted major directions in software analysis, development tools and environments, and software process--all critical parts of software engineering as it is practiced today. His exceptional contributions to the field have been recognized with numerous awards and honors through his career, including the ACM SIGSOFT Outstanding Research Award, in recognition of his extensive and sustained research impact, and the ACM SIGSOFT Influential Educator Award, in recognition of his career-long achievements as an educator and mentor.

"Categories for Software Engineering"

This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of complex software systems: object-oriented development, software architectures, logical and algebraic specification techniques, models of concurrency, inter alia. After two parts in which basic and more advanced categorical concepts and techniques are introduced, the book illustrates their application to the semantics of CommUnity � a language for the architectural design of interactive systems.

"Evaluating Project Decisions: Case Studies in Software Engineering"

The aim of software engineering is to find methods for developing high quality software products at a reasonable cost. As more and more computers are being used in areas in which a malfunction of the system can be a source of serious losses or disturbances to the functioning of the society, the quality of software becomes a more and more critical factor of business success, human security, and safety. Examples of such application areas are enterprise management, public administration, and social insurance or post delivery services. The quality of services offered to the society depends on the quality of software systems that support the functioning of the respective public or private organizations (service providers). Software engineering consists of a selection of methods and techniques that vary from project to project and evolve in time. The purpose of this volume is to provide an overview of the current work in software development techniques that can help with enhancing the quality of software. The chapters of this volume, organized by key topic area, create an agenda for the IFIP Working Conference on Software Engineering Techniques, SET 2006. The seven sections of the volume address the following areas: software architectures, modeling, project management, software quality, analysis and verification methods, data management, and software maintenance.

"Categories for Software Engineering"

This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of complex software systems: object-oriented development, software architectures, logical and algebraic specification techniques, models of concurrency, inter alia. After two parts in which basic and more advanced categorical concepts and techniques are introduced, the book illustrates their application to the semantics of CommUnity �€“ a language for the architectural design of interactive systems

IEEE Standards Collection. Software Engineering: IEEE Computer Soc

SCM is a formal engineering discipline that, as part of overall system configuration management, provides the methods and tools to identify and control the software throughout its development and use. SCM activities include the identification and establishment of baselines; the review, approval, and control of the changes; the tracking and reporting of such changes; the audits and reviews of the evolving software product; and the control of interface documentation and project supplier SCM.

Object-oriented and Classical Software Engineering

"Classical and Object-Oriented Software Engineering, 7/E" presents an excellent introduction to software engineering fundamentals, covering both traditional and object-oriented techniques. The coverage of both Agile processes and Open Source Software has been considerably expanded. In addition, the Osbert Oglesby running case study has been replaced with a new case study on the Martha Stockton Greengage Foundation. The new study highlights even more aspects of the Unified Process. New to this editionare are: all-new coverage of agile processes. eXtreme Programming (XP) is now presented within the larger context of agile processes; expanded material on open-source software. Additional coverage on open-source software development is included throughout the manuscript, particularly Chapters 2 and 4; More problems. New problems have been added to every chapter; Brand new Case Study. Based on feedback from reviewers and users, a new case study on the Martha Stockton Greengage Foundation illustrates techniques of software development in Chapters 10-15. The case study deals with a real-world situation that students will be likely to encounter in real life: home mortgages. This case study replaces the Osbert Oglesby case study from previous editions. It contains new online content. This text is available with a website that contains PowerPoints, solutions, and C++ and Java code for the Term Project and Case Studies. The book's unique organization remains in place, with Part I covering underlying software engineering theory, and Part II presenting the more practical life cycle. Complementing this well-balanced approach is the straightforward, student-friendly writing style, through which difficult concepts are presented in a clear, understandable manner. The new seventh edition provides an extensive updating of this classic software engineering text!

Software Engineering 1: Abstraction and Modelling

The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches.

Software Engineering Reviews and Audits

Accurate software engineering reviews and audits have become essential to the success of software companies and military and aerospace programs. These reviews and audits define the framework and specific requirements for verifying software development efforts.

Software Engineering For Students - A Programming Approach

Validation and verification is an area of software engineering that has been around since the early stages of program development, especially one of its more known areas: testing. Testing, the dynamic side of validation and verification (V&V), has been complemented with other, more formal techniques of software engineering, and so the static verification traditional in formal methods has been joined by model checking and other techniques.

• Free IAS eBooks
• Free GRE eBooks
• Free MBA eBooks
• Free GATE eBooks