Software correctness verification by contract

Authors

  • Corina-Stefania Nanau Transilvania University of Brasov, Romania

Keywords:

speci cation, design by contract, scenario, software component, state, action

Abstract

Scenarios are ways to reflect the daily activity of a software system. In the life cycle of such a system, scenarios occur at different levels. One of their utility is to facilitate verication of the correctness of the application functionality. This article presents a method for checking the specificactions in case of component-oriented applications as verication is an important issue in the life cycle of the software application.

Author Biography

Corina-Stefania Nanau, Transilvania University of Brasov, Romania

Faculty of Mathematics and Informatics

Downloads

Published

2014-06-10

Issue

Vol. 7(56) No. 1 (2014)

Section

INFORMATICS