Abstract Data Views: An Interface Specification Concept to Enhance Design for Reuse
IEEE Transactions on Software Engineering
On the automation of code generation for user interface models
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
A C++ library for implementing specifications
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Hi-index | 0.00 |