Analytical Software Design: Introduction and Industrial Experience Report.

A. Osaiweran, M. Boosten and M.R. Mousavi. Technical Report CSR-10-01, Department of Computer Science, Eindhoven University of Technology, March 2010.

Abstract

Analytical Software Design (ASD) is a design approach that combines formal and empirical methods for developing mathematically verified software systems. Unlike conventional design methods, the design phase is extended with more formal techniques, so that flaws are detected earlier, thereby reducing the time needed for coding, testing, and integration. In this paper, we demonstrate formal details and concepts behind the ASD approach, report about our experience with applying ASD in industrial control applications within Philips Healthcare, and discuss results and findings gathered during this work as well as some commonly faced issues and their practical solutions.

@TechReport{MousaviASD2010,
    author      = "Osaiweran, A. and Boosten, M. and Mousavi, M.R", 
    title       = "Analytical Software Design: Introduction and Industrial Experience Report",
    number      = "CSR-10-01",
    school      = "Department of Computer Science, Eindhoven University of Technology",
    year        = "2010"
}