Treffer: Contract: An Aspect-Oriented Recovery Approach
Title:
Contract: An Aspect-Oriented Recovery Approach
Authors:
Contributors:
The Pennsylvania State University CiteSeerX Archives
Publication Year:
2011
Collection:
CiteSeerX
Subject Terms:
Verification — Assertion checkers, class invariants, formal methods, programming by contract, reliability, tools, validation, JML, D.2.5 [Software Engineering] Testing and Debugging — Debugging aids, design, testing tools, theory, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Asse, invariants, pre- and post-conditions, specification techniques
Document Type:
Fachzeitschrift
text
File Description:
application/pdf
Language:
English
Availability:
Rights:
Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Accession Number:
edsbas.AA9CA399
Database:
BASE
Weitere Informationen
This is a preprint of a paper that is submitted for publication.