The Larch/Smalltalk interface specification language
ACM Transactions on Software Engineering and Methodology (TOSEM)
“…And nothing else changes”: the frame problem in procedure specifications
ICSE '93 Proceedings of the 15th international conference on Software Engineering
A development methodology for distributed Ada application
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
Can we Formally Specify a Medical Decision Support System?
IEEE Expert: Intelligent Systems and Their Applications
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
Set Theory as a Semantic Framework for Object-Oriented Modeling
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
A software architecture and framework for Web-based distributed Decision Support Systems
Decision Support Systems
Diagrammatic Reasoning Systems
ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
Diagrammatic Formal Specification of a Configuration Control Platform
Electronic Notes in Theoretical Computer Science (ENTCS)
Testing with guarantees and the failure of regression testing in extreme programming
XP'05 Proceedings of the 6th international conference on Extreme Programming and Agile Processes in Software Engineering
Hi-index | 0.00 |