Intelligent Systems and Formal Methods in Software Engineering.
Bernhard BeckertTony HoareReiner HähnleDouglas R. SmithCordell GreenSilvio RaniseCesare TinelliThomas BallSriram K. RajamaniPublished in: IEEE Intell. Syst. (2006)
Keyphrases
- intelligent systems
- formal methods
- software engineering
- artificial intelligence
- formal analysis
- expert systems
- intelligent agents
- computational intelligence
- safety critical
- ambient intelligence
- model checking
- knowledge based systems
- soft computing
- software development
- industrial systems
- development process
- multi disciplinary
- ai systems
- hybrid intelligent systems
- formal specification
- human intelligence
- applied intelligence
- medical decision support
- formal specification language
- evolutionary computation
- reverse engineering
- design patterns
- database
- software systems
- knowledge acquisition
- fuzzy logic
- case study
- real time