Jun 13, 2014 · In this paper, we focus on specifying and verifying OO programs which are built on interactive components through clearly defined interfaces. We ...
Oct 27, 2013 · In this paper we develop a framework to support the abstract specification for the interfaces of components and their interactions, and the ...
Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components. Ali Hong, Yijing Liu, Zongyan Qiu. Axioms and Abstract Predicates on ...
People also ask
What are axioms in logic?
What is the difference between axiom and axiomatic?
Ali Hong, Yijing Liu, Zongyan Qiu: Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components. FACS 2013: 174-195; 2012.
Interface types in OO languages support polymorphism, abstraction and information hiding by separating interfaces from their implementations.
Interface types in OO languages support polymorphism, abstraction and information hiding by separating interfaces from their implementations.
This paper explores ways to express, verify and rely on logical relationships between abstractions. It introduces two general specification mechanisms: export ...
This paper explores ways to express, verify and rely on logical relationships between abstractions, and introduces two general specification mechanisms: ...
Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components. Conference Paper. Jun 2014. Ali Hong · Yijing Liu ...
Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components ... Parnas. Using assertions about traces to write abstract specification ...