'Rep invariant' diaporamas de présentation

Data Abstractions

Data Abstractions. EECE 310: Software Engineering. Learning Objectives. Define data abstractions and list their elements Write the abstraction function (AF) and representation invariant (RI) of a data abstraction

736 views • 61 slides

David Evans cs.virginia/~evans

Lecture 4: Data Abstraction. David Evans http://www.cs.virginia.edu/~evans. CS201j: Engineering Software University of Virginia Computer Science. Menu. Data Abstraction Specifying Abstract Data Types Implementing Abstract Data Types. Managing Complexity. Modularity

343 views • 34 slides

CSE 331 Software Design & Implementation

CSE 331 Software Design & Implementation. Hal Perkins Summer 2019 Representation Invariants. HW4 notes. Assignment requires including loop invariants as comments at the beginning of any non-trivial loop body

304 views • 30 slides

CSE 331 Software Design & Implementation Abstract data types II

CSE 331 Software Design & Implementation Abstract data types II. Autumn 2011. Kinds of ADT operations (abstract). Mutable ADTs: creators, observers, and mutators Immutable ADTs: creators, observers, and producers. Three examples. A primitive type as an (immutable) ADT

391 views • 29 slides

CSE 331 Software Design & Implementation

354 views • 27 slides

CSE 331 Software Design & Implementation reasoning i

CSE 331 Software Design & Implementation reasoning i. Autumn 2011. Proofs in the ADT world. Prove that the system does what you want Verify that rep invariant is satisfied Verify that the implementation satisfies the spec

266 views • 26 slides

Data Abstraction II

Data Abstraction II. SWE 619 Software Construction Last Modified, Spring 2009 Paul Ammann. Main agenda. Abstraction function- AF(c) Rep Invariant- RI Verification Why should I care? What are they? How to implement? How to use?. Correctness.

413 views • 20 slides

Abstraction Functions and Representation Invariants

Abstraction Functions and Representation Invariants. CS/SWE 332 Paul Ammann. Data Abstraction. Abstract State (Client State) Representation State (Internal State) Methods (behavior) Constructors (create objects) Producers (return immutable object) Mutators (change state)

65 views • 6 slides