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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τόπος έκδοσης:Software engineering notes. 30, 5 (2005).
Κύριος συγγραφέας: Bierhoff, Kevin
Μορφή: Άρθρο
Γλώσσα:English
Θέματα: