AI meets Formal Software Development (Dagstuhl Seminar 12271).
Alan BundyDieter HutterCliff B. JonesJ Strother MoorePublished in: Dagstuhl Reports (2012)
Keyphrases
- mathematical theory
- software development
- artificial intelligence
- software engineering
- case based reasoning
- expert systems
- software systems
- software developers
- development process
- case study
- software components
- software architecture
- cost estimation
- computational intelligence
- software testing
- software reuse
- software industry
- software projects
- ai systems
- software development effort
- requirements engineering
- ai methods
- knowledge based systems
- machine learning
- software design
- software evolution
- knowledge representation and reasoning
- software maintenance
- intelligent systems
- computer science
- decision making
- development methodologies
- ai community
- computational logic
- real world