Login / Signup
The Integrated Software Development and Verification System ATES.
A. Puccetti
Published in:
VDM Europe (1) (1991)
Keyphrases
</>
software development
software engineering
software systems
model checking
case study
software projects
software developers
software design
machine learning
software architecture
effort estimation
development process
early phase
software development environment
extreme programming