Lightweight object specification with typestates.

Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as improving precision and conciseness of specifications. We propose a specification technique for objects based on abstract...

Disgrifiad llawn

Manylion Llyfryddiaeth
Cyhoeddwyd yn:Software engineering notes. 30, 5 (2005).
Prif Awdur: Bierhoff, Kevin
Fformat: Erthygl
Iaith:English
Pynciau: