We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
SOFTWARE CORRECTNESS VERIFICATION BY CONTRACT.
- Authors
NĂNĂU, Corina-Ştefania
- 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 utilities is to facilitate verification of the correctness of the application functionality. This article presents a method for checking the specifications in case of component-oriented applications as verification is an important issue of the life cycle of the software application.
- Subjects
CONFIRMATION (Logic); COMPUTER software correctness; APPLICATION software; COM (Computer architecture); SYSTEMS design
- Publication
Bulletin of the Transilvania University of Brasov, Series III: Mathematics, Informatics, Physics, 2014, Vol 7, Issue 56-1, p131
- ISSN
2065-2151
- Publication type
Article