Login / Signup
An overview and bibliography of ENCOMPASS: an environment for incremental software development using executable, logic-based specification.
Robert B. Terwilliger
Published in:
ACM SIGSOFT Softw. Eng. Notes (1990)
Keyphrases
</>
software development
formal specification
software engineering
real time
case study
mobile robot
knowledge representation
data driven
software systems
software projects
reactive systems
development lifecycle
attribute grammars
cost estimation
complex environments
dynamic environments
open source