Skip to main content
main-content

Software Development and Engineering

Software Development / Engineering

The task of designing software that fulfils the needs of today’s users in a constantly changing environment is an on-going challenge that all Computer Scientists face. This range of resources provides the perfect support.

2008 | Computer Science | Book

A Concise Introduction to Software Engineering

An introductory course on Software Engineering remains one of the hardest subjects to teach largely because of the wide range of topics the area enc- passes. I have believed for some time that we often tend to teach too many concepts and topics in …

Author:
Pankaj Jalote

2017 | Programming | Book

A Practical Approach to Compiler Construction

This book provides a practically-oriented introduction to high-level programming language implementation. It demystifies what goes on within a compiler and stimulates the reader's interest in compiler design, an essential aspect of computer …

Author:
Des Watson

2008 | Computer Science | Book

Agile Software Engineering

Overview and Goals The agile approach for software development has been applied more and more extensively since the mid nineties of the 20th century. Though there are only about ten years of accumulated experience using the agile approach, it is …

Authors:
Orit Hazzan, Yael Dubinsky

2013 | Computer Science | Book

Autonomic Computing

Principles, Design and Implementation

This textbook provides a practical perspective on autonomic computing. Through the combined use of examples and hands-on projects, the book enables the reader to rapidly gain an understanding of the theories, models, design principles and …

Authors:
Philippe Lalanda, Julie A. McCann, Ada Diaconescu

2011 | Computer Science | Book

Introduction to Software Process Improvement

This textbook is a systematic guide to the steps in setting up a Capability Maturity Model Integration (CMMI) improvement initiative. Readers will learn the project management practices necessary to deliver high-quality software solutions to the …

Author:
Gerard O'Regan

2014 | Computer Science | Book

Introduction to Software Quality

This textbook describes the approaches used by software engineers to build quality into their software. The fundamental principles of software quality management and software process im­provement are discussed in detail, with a particular focus on …

Author:
Gerard O’Regan

2012 | Computer Science | Book

Multicore Programming Using the ParC Language

Multicore Programming Using the ParC Language discusses the principles of practical parallel programming using shared memory on multicore machines. It uses a simple yet powerful parallel dialect of C called ParC as the basic programming language.

Author:
Yosi Ben-Asher

2015 | Computer Science | Book

Object-Oriented Analysis, Design and Implementation

An Integrated Approach

The second edition of this textbook includes revisions based on the feedback on the first edition. In a new chapter the authors provide a concise introduction to the remainder of UML diagrams, adopting the same holistic approach as the first …

Authors:
Brahma Dathan, Sarnath Ramnath

2011 | Computer Science | Book

Rigorous Software Development

An Introduction to Program Verification

The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program …

Authors:
José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa

2007 | Computer Science | Book

Semantics with Applications: An Appetizer

Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses …

Authors:
PhD Hanne Riis Nielson, PhD, DSc Flemming Nielson

2016 | Computer Science | Book

Software Architecture in Action

Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard

This book presents a systematic model-based approach for software architecture according to three complementary viewpoints: structure, behavior, and execution. It covers a unified modeling approach and consolidates theory and practice with …

Authors:
Flavio Oquendo, Jair Leite, Thaís Batista

2017 | Computer Science | Book

Software Quality Assurance

Consistency in the Face of Complexity and Change

This textbook offers undergraduate students an introduction to the main principles and some of the most popular techniques that constitute ‘software quality assurance’. The book seeks to engage students by placing an emphasis on the underlying …

Author:
Dr. Neil Walkinshaw

2015 | Computer Science | Book

UML @ Classroom

An Introduction to Object-Oriented Modeling

This textbook mainly addresses beginners and readers with a basic knowledge of object-oriented programming languages like Java or C#, but with little or no modeling or software engineering experience – thus reflecting the majority of students in …

Authors:
Martina Seidl, Marion Scholz, Christian Huemer, Gerti Kappel

2008 | Software Development and Engineering | Book

A Concise Introduction to Languages and Machines

A Concise Introduction to Languages, Machines and Logic provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. Written in an easy-to-read, informal style, this …

Author:
Alan P. Parkes

2017 | Software Development and Engineering | Book

Designing Reliable Distributed Systems

A Formal Methods Approach Based on Executable Modeling in Maude

This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language and simulation and model checking tool, which …

Author:
Peter Csaba Ölveczky