JML’s Rich, Inherited Specifications for Behavioral Subtypes

Authors: Leavens, Gary

Contributors: Computer Science

Source: Lecture Notes in Computer Science ISBN: 9783540474609

Subject Terms: Theory and Algorithms, JML, 4. Education, behavioral subtyping, Software Engineering, 16. Peace & justice, method specification refinement, also, specification inheritance, Programming Languages and Compilers, specification case, behavioral subtype, invariants, Supertype abstraction, modularity, Java, join of method specifications

File Description: application/pdf

Access URL: https://dr.lib.iastate.edu/bitstreams/17897b5c-e323-4e59-a161-135b99f24af5/download