Henryk Jan Komorowski;Jan Maluszyński
Harvard Univ., Cambridge, MA;Linko¨ping Univ., Linko¨ping, Sweden
OBSERV—a prototyping language and environment
ACM Transactions on Software Engineering and Methodology (TOSEM)
Querying of Executable Software Specifications
IEEE Transactions on Software Engineering