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

Onderzoeksoutput: Boek/rapportRapportAcademic

105 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.
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's21
StatusGepubliceerd - 2012

Publicatie series

NaamComputer science reports
ISSN van geprinte versie0926-4515


Duik in de onderzoeksthema's van 'Evaluating the effect of formal techniques in industry'. Samen vormen ze een unieke vingerafdruk.

Citeer dit