Modeling concepts for VLSI CAD objects
ACM Transactions on Database Systems (TODS)
Systematic software development using VDM
Systematic software development using VDM
VALKYRIE: a validation subsystem of a version server for computer-aided design data
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
A version server for computer-aided design data
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Semantics of CAD objects for generalized databases
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
DOSS: a storage system for design data
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
A database interface for an integrated CAD system
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
The Denotational Description of Programming Languages: An Introduction
The Denotational Description of Programming Languages: An Introduction
Software Engineering: A Practitioner's Approach
Software Engineering: A Practitioner's Approach
The Specification of Complex Systems
The Specification of Complex Systems
Human Performance Engineering: A Guide for System Designers
Human Performance Engineering: A Guide for System Designers
DAC '84 Proceedings of the 21st Design Automation Conference
Design version management in the GARDEN framework
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
| Hi-index | 0.00 |