Computer-Aided Design · 1988 · 45 citations · 6 references
ComputingComputer EngineeringComputer ScienceFormal MethodsKnowledge RepresentationSoftware EngineeringDeductive VerificationModel CheckingSoftware ArchitectureSoftware ConstructionSoftware DesignVerificationArchitectural MaintainabilityAutomated Model CheckingCode VerificationFormal Analysis In ArchitectureKnowledge-based Semantics
6
Object-oriented programming: Themes and variations
Mark Stefik, Daniel G. Bobrow · AI Magazine · 1986 · 722 citations
Expert systems: perils and promise
Daniel G. Bobrow, S. Mittal, Mark Stefik · Communications of the ACM · 1986 · 237 citations
Knowledge Acquisition from Multiple Experts
Sanjay Mittal, Clive L. Dym · AI Magazine · 1985 · 113 citations
Perspectives on Artificial Intelligence Programming
Daniel G. Bobrow, Mark Stefik · Science · 1986 · 44 citations