DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Class invariant
Class invariant
Assertions, Pre/Post- Conditions and Invariants
Sound Invariant Checking Using Type Modifiers and Object Capabilities
The Contract Pattern Permission Granted to Copy for Plop ’97 Conference
Safely Creating Correct Subclasses Without Superclass Code Clyde Dwain Ruby Iowa State University
3. Design by Contract
FORTH-ICS / TR 381 July 2006 'An Informal Proof on the Contradictory
A Machine-Checked Proof for a Translation of Event-B Machines to JML
Verification of Object Oriented Programs Using Class Invariants
The Fields and the Class Invariant /** B[0..Size-1] Is a Min-Heap, I.E
Weaving Aspects Into C++ Applications for Validation of Temporal Invariants
Modular Verification of Static Class Invariants
Software Engineering Concepts: Some Principles Managing Resources in a Class
Automated Validation of Class Invariants in C++ Applications
Contents Credits & Contacts
Principles of Library Design: the Eiffel Experience “Plan”
Programming with Assertions: a Prospectus
OCL for Rich Domain Models Implementation an Incremental Aspect Based Solution
Class Invariants: Concepts, Problems and Solutions
Top View
A Runtime Assertion Checker for the Java Modeling Language Yoonsik Cheon Iowa State University
A Eiffel: the Essentials
Construction, Encapsulation, and Instance Methods Outline
Automatic Verification of Eiffel Programs
Design by Contract Example Contract Issue
Applying “Design by Contract”
Examples of Design by Contract in Java Using Contract, the Design by Contracttm Tool for Javatm
Region Inference for an Object-Oriented Language
Objects, Design, and Concurrency Formal Analysis of Software Artifacts
Ensuring Invariant Contracts for Modules in Java
Specifying Method Preconditions and Postconditions
Specification and Verification Challenges for Sequential Object
Class Invariants: the End of the Road? (Position Paper)
C# Compiler Extension to Support the Object Constraint Language Version 2.0
Verificación De Algoritmos Y Estructuras De Datos En Dafny Verifying Algorithms and Data Structures in Dafny
Lecture 6: Java Modeling Language and Extended Static Checking Java Modeling Language (JML)
Zero-Overhead Deterministic Exceptions: Throwing Values
Eiffel – Design by Contract
Verification by Reduction to Functional Programs
OCL Documentation
Invariant Implementation for Domain Models Applying Incremental OCL Techniques
Design by Contract Rights and Obligations
Lecture 5: Design by Contract and Runtime
Unit 2 Object-Oriented Programming with C++ Object-Oriented Programming (OOP)
Review Session Topics Why Class Invariants ? Example Constructors ??
Class Invariants: Concepts, Problems and Solutions
An Eiffel Tutorial
High-Integrity Object-Oriented Programming in Ada Version 1.4
AA Machine-Checked Proof for a Translation of Event-B Machines To
Constrained Types for Object-Oriented Languages
Automated Validation of Class Invariants in C++ Applications
State Based Encapsulation for Modular Reasoning About Behavior-Preserving Refactorings
Creational Invariants
Assertions, Pre/Post- Conditions and Invariants
Class Design Ideals
Constrained Types for Object-Oriented Languages
Data Persistence in Eiffel
Design by Contract
EECS3311 Introductory Tutorial: Accompanying Notes
Object-Oriented Design and Programming Programming With
Supporting Design by Contract in Java
Design-By-Contract (Dbc) Readings: OOSC2 Chapter 11
The Pragmatic Programmer Your Journey to Mastery
Design by Contract
Programming by Contract
Introduction to OOP With