Commonsense reasoning about causality: deriving behavior from structure
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Qualitative reasoning about physical systems
Qualitative reasoning about physical systems
The practical guide to structured systems design: 2nd edition
The practical guide to structured systems design: 2nd edition
The psychology of computer programming
The psychology of computer programming
And/Or Programs: A New Approach to Structured Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
EPOS - a specification and design technique for computer controlled real-time automation systems
ICSE '79 Proceedings of the 4th international conference on Software engineering
Capturing more world knowledge in the requirements specification
ICSE '82 Proceedings of the 6th international conference on Software engineering
Abstracts in software engineering
ACM SIGSOFT Software Engineering Notes
Principles of Program Design
Hi-index | 0.00 |