Pathways in Software Engineering

Software engineering requires specialized knowledge of a broad spectrum of topics, including the construction of software and the platforms, applications, and environments in which the software operat

Proven techniques for software engineering success This in-depth volume examines software engineering topics that are not covered elsewhere: the question of why software engineering has developed more

The integrated software development approach presented in this book outlines practices for hiring and retaining the best people, and recommends efficient procedures for them to use. Separate chapters

A special issue of the Journal of Automated Software Engineering , vol. 4, no. 1 (1997) containing four extended papers selected as best from a November 1995 conference in Boston. They cover searchin

The sixteen papers presented by Zhang (California State U.) and Tsai (U. of Illinois at Chicago) describe recent advances in machine learning applications in software engineering. They are organized i

This book assesses the achievements of the software engineering discipline as represented by IT vendors in Japan in order to deepen understanding of the mechanisms of how software engineering capabili

Data Science for Software Engineering: Sharing Data and Models presents guidance and procedures for reusing data and models between projects to produce results that are useful and relevant. Starting w

Innovations in Computing Sciences and Software Engineering includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Com

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments, including sequential programs, concurrent programs and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set, which is available free for download at www.event-b.org.

"This book explores different applications in V & V that spawn many areas of software development -including real time applications- where V & V techniques are required, providing in all cases

-- Seven new chapters and exhaustive coverage of process improvement, testing, and quality assurance.-- Contains numerous real-life examples based on the author's work at the Malcolm Baldrige Award-wi

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

In his study, Mahdi Derakhshanmanesh builds on the state of the art in modeling by proposing to integrate models into running software on the component-level without translating them to code. Such so-

The final installment in this three-volume set is based on this maxim: "Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly

"This book investigates the most recent and relevant research on model-driven engineering, identifying opportunities and advantages, and complexities and challenges, inherent in the future of software

In establishing a framework for dealing with uncertainties in software engineering, and for using quantitative measures in related decision-making, this text puts into perspective the large body of wo

This Three-Volume-Set constitutes the refereed proceedings of the SecondInternational Conference on Software Engineering and Computer Systems,ICSECS 2011, held in Kuantan, Malaysia, in June 2011.The 1

This Three-Volume-Set constitutes the refereed proceedings of the SecondInternational Conference on Software Engineering and Computer Systems,ICSECS 2011, held in Kuantan, Malaysia, in June 2011.The 1

This book constitutes the refereed proceedings of the First International Symposium on Engineering Secure Software and Systems, ESSoS 2009, held in Leuven, Belgium, in February 2009.The 10 revised ful

This book presents the proceedings of the KKIO Software Engineering Conference held in Wroclaw, Poland in September 15-17, 2016. It contains the carefully reviewed and selected scientific outcome of t

This textbook for beginning to intermediate computer science students provides a comprehensive overview of the practices involved in modern traditional software development processes. The work provide

The software industry is in transition from craft work to engineering practice, but development, operational and maintenance overheads are still unpredictable and expensive. Cleanroom Software enginee

KEY BENEFIT: This introduction to software engineering and practice addresses both procedural and object-oriented development. KEY TOPICS: Is thoroughly updated to reflect significant changes in soft

Basics of Software Engineering Experimentation is a practical guide to experimentation in a field which has long been underpinned by suppositions, assumptions, speculations and beliefs. It demonstr

This book constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, held in Saarbrucken, Germany, March 26—April 3, 2011,

This edited book invites the reader to explore how the latest technologies developed in computational intelligence can be extended and applied to software engineering. Leading experts demonstrate how

This open access book includes contributions by leading researchers and industry thought leaders on various topics related to the essence of software engineering and their application in industrial pr