Create bookmark
Specification and verification of object-oriented software components
Do you like this document?
Notes
Please login to add notes
- + Introduction
-
+
Preliminaries
-
+
Specifications for Extensibility
-
+
Functional Specifications of Programs
- + Essentials of Formal Specifications of Programs
-
+
Observed-State Program Correctness
- Assumptions before Operation Calls
- Operation Calls
- Assertions of Operation Calls
- Treatment of Static Initialisation
- Assertions in the Initial State
- Naive Correctness
- Observed-State Call Correctness
- Observed-State Durable Correctness
- Relations between Durable and Call Correctness
- Discussion of Observed-State Correctness
- + Specification Languages
- Summary
-
+
Specification of Encapsulation Properties
- + Component Specifications
-
+
Functional Specifications of Programs
-
+
Modular Verification
Printing on Demand. Kostenloser Download über den Verlagsserver unter der URL http://www.uvka.de/univerlag/volltexte/2006/130/
Your free to read time expires in minutes. After that you have to pause for an hour.
Test the closed alpha on paperc.com
Book Details
Authors
Categories
Publishers
Publication year : 2006
License: All rights reserved ©
Times read: 3


