Login / Signup

Validation and verification vs. The software life cycle(Position Statement).

Leon G. Stucki
Published in: ACM Annual Conference (2) (1978)
Keyphrases
  • software life cycle
  • software engineering
  • software maintenance
  • model checking
  • effort estimation
  • formal verification
  • position information
  • real world
  • data mining
  • decision making
  • database systems
  • multi agent systems