Evaluating the effect of formal techniques in industry

A.A.H. Osaiweran, J.F. Groote, M.T.W. Schuts, J.J.M. Hooman, B.J. Rijnsoever, van

Research output: Book/ReportReportAcademic

111 Downloads (Pure)


In this paper we evaluate the effectiveness of applying a formal component-based approach called Analytical Software Design (ASD) to the development of control software of an industrial project at Philips Healthcare. We analyze the performance of the ASD related tasks carried out during the development processes and report about the main issues encountered. Furthermore, we investigate whether introducing these formal techniques to industry could actually improve the quality and the productivity of the developed code compared to software developed by more traditional development methods.
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages21
Publication statusPublished - 2012

Publication series

NameComputer science reports
ISSN (Print)0926-4515


Dive into the research topics of 'Evaluating the effect of formal techniques in industry'. Together they form a unique fingerprint.

Cite this