Software validation and verification - a state of the art report(Panel Discussion).
Terry A. StraeterCarlo BroglioMarilyn FujiiLeon G. StuckiSabina H. SaibDavid LuckhamPublished in: ACM Annual Conference (2) (1978)
Keyphrases
- panel discussion
- software systems
- software tools
- user interface
- source code
- software development
- artificial intelligence in medicine
- computer systems
- software platform
- analysis tool
- software design
- personal computer
- data sets
- commercial software
- formal verification
- software packages
- hardware designs
- software package
- formal methods
- face verification
- data flow
- software architecture
- face recognition
- genetic algorithm