TY - BOOK
T1 - Analytical software design : introduction and industrial experience report
AU - Osaiweran, A.A.H.
AU - Boosten, M.
AU - Mousavi, M.R.
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
M3 - Report
T3 - Computer science reports
BT - Analytical software design : introduction and industrial experience report
PB - Technische Universiteit Eindhoven
CY - Eindhoven
ER -