• Publications
  • Influence
The knowledge-based software assistant: a formal, object oriented software development environment
TLDR
This paper describes the Knowledge-Based Software Assistant paradigm through an exploration of four of its key facets: project management, requirements acquisition, specification elaboration, and formal development. Expand
  • 3
  • 1
The 8th knowledge-based software engineering conference
TLDR
KBSE'93 was the eighth in a series conferences sponsored by the USAF Rome Laboratory addressing issues related to knowledge-based software engineering. Expand
  • 4
Using Bayesian Networks and Decision Theory to Model Physical Security
Abstract : Home automation technologies allow a person to monitor and control various activities within a home or office setting. Cameras, sensors and other components used along with the simpleExpand
  • 1
  • PDF
ARIES: Acquisition of Requirements and Incremental Evolution of Specifications
This paper describes a requirements/specification environment specifically designed for large-scale software systems. This environment is called ARIES (Acquisition of Requirements and IncrementalExpand