Login / Signup
Introduction of a formal technique into a software development environment: early observations.
Roger C. Shaw
P. N. Hudson
N. W. Davis
Published in:
ACM SIGSOFT Softw. Eng. Notes (1984)
Keyphrases
</>
software development environment
development environment
software development
software engineers
databases
formal methods
metadata
multi agent systems
software engineering
artificial intelligence
information systems
data model
web search
web applications