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

69 Downloads (Pure)

Samenvatting

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
Volume1213
ISSN van geprinte versie0926-4515

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

  • Citeer dit

    Osaiweran, A. A. H., Groote, J. F., Schuts, M. T. W., Hooman, J. J. M., & Rijnsoever, van, B. J. (2012). Evaluating the effect of formal techniques in industry. (Computer science reports; Vol. 1213). Technische Universiteit Eindhoven.