Needed foundations for assuring the desirable behavior of software-reliant systems.
Linda M. NorthropMark KleinJohn B. GoodenoughDennis B. SmithPublished in: FoSER (2010)
Keyphrases
- artificial intelligence
- computer systems
- software development
- software developers
- distributed systems
- complex systems
- safety critical
- technical issues
- software packages
- business applications
- technical systems
- maintenance activities
- software tools
- embedded systems
- data sets
- high end
- software components
- software implementation
- commercial software
- retrieval systems
- knowledge based systems
- user interface
- industrial strength
- highly modular