A Novel Approach for Software Property Validation.
Salamah SalamahIrbis GallegosOmar OchoaPublished in: SETP (2008)
Keyphrases
- software development
- software systems
- software package
- software platform
- computer systems
- commercial software
- source code
- software architecture
- software packages
- personal computer
- desirable properties
- software projects
- software process
- software design
- artificial intelligence
- search algorithm
- bayesian networks
- information systems