You are here: Home :: Area NEM :: Computer science

Matthias Bauer, Wolfgang Ecker, Renate Henftling, Martin Zambaldi, Andreas Zinn

Verification and Re-Use

This article comprises several aspects of re-use and verification. First, the term verification is discussed. Afterwards, specific challenges in verification of reusable modules and systems, which are themselfs composed of reusable modules, were presented. Next, an industrial proven approach for re-use in verification is described. Finally, the influence of embedded software is covered.

it – Information Technology (vormals it+ti), Oldenbourg Wissenschaftsverlag

Print ISSN: 1611-2776
Volume: 44, 02/2002
Pages: 108

Show full article (external site)

Show all available items of this journal

 

Area NEM