Software engineering and development

Software Engineering

Basic Principles and Best Practices

textbook

Sethi, Ravi
Published: December 2022Published: November 2022

Real World OCaml: Functional Programming for the Masses

Madhavapeddy, Anil
Minsky, Yaron
Published: October 2022Published: September 2022
2nd Edition

Programming in Ada 2012 with a Preview of Ada 2022

Barnes, John
Published: May 2022Published: May 2022
2nd Edition

Introduction to Medical Software

Foundations for Digital Health, Devices, and Diagnostics

textbook

Papademetris, Xenophon
Quraishi, Ayesha N.
Licholai, Gregory P.
Published: May 2022Published: April 2022

Essentials of Software Testing

Bierig, Ralf
Brown, Stephen
Galván, Edgar
(+ 1 other)
Published: August 2021Published: August 2021

Practical Formal Software Engineering

Wanting the Software You Get

Mills, Bruce
Published: December 2019Published: February 2009Published: April 2009

Cloud Computing

Bhowmik, Sandeep
Published: July 2017Published: September 2018

Knowledge Driven Development

Bridging Waterfall and Agile Methodologies

Lal, Manoj Kumar
Published: July 2018Published: December 2018

Introduction to Software Testing

Ammann, Paul
Offutt, Jeff
Published: December 2016Published: January 2017
2nd Edition

Real-Time Software Design for Embedded Systems

Gomaa, Hassan
Published: May 2016Published: February 2016

(1 reviews)

Practical Foundations for Programming Languages

Harper, Robert
Published: April 2016Published: April 2016
2nd Edition

Building High Integrity Applications with SPARK

McCormick, John W.
Chapin, Peter C.
Published: November 2015Published: September 2015Published: September 2015

Near Field Communications Technology and Applications

Hendry, Mike
Published: December 2014Published: December 2014

(1 reviews)

Programming in Ada 2012

Barnes, John
Published: June 2014

Systematic Program Design

From Clarity to Efficiency

Liu, Yanhong Annie
Published: August 2013Published: August 2013Published: June 2013

Functional Programming Using F#

Hansen, Michael R.
Rischel, Hans
Published: June 2013Published: June 2013Published: May 2013

(1 reviews)

A Guide to Experimental Algorithmics

McGeoch, Catherine C.
Published: March 2012Published: March 2012Published: June 2012

Software Testing

Singh, Yogesh
Published: November 2011Published: November 2012

Aspect-Oriented, Model-Driven Software Product Lines

The AMPLE Way

Rashid, Awais
Royer, Jean-Claude
Rummler, Andreas
Published: September 2011Published: December 2011

Foundations of Component-Based Systems

Leavens, Gary T.
Sitaraman, Murali
Published: July 2011Published: June 2000