A conceptual framework for software development
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Specification and Validation of a Security Policy Model
IEEE Transactions on Software Engineering
“…And nothing else changes”: the frame problem in procedure specifications
ICSE '93 Proceedings of the 15th international conference on Software Engineering
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
Metamorphic development of a GUI for configuration management
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Multicolour programming and metamorphic programming: object oriented programming-in-the-large
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
From declarative to imperative UML/OCL operation specifications
ER'07 Proceedings of the 26th international conference on Conceptual modeling
| Hi-index | 0.00 |