Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015, co-located with 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, June 23, 2015.
Published in: FMSEE&T@FM (2015)
Keyphrases
- formal methods
- international symposium
- revised papers
- software engineering education
- software engineering
- computational intelligence
- artificial intelligence
- ambient intelligence
- model checking
- knowledge based systems
- formal specification
- lecture notes
- development lifecycle
- neural network
- modeling language
- database
- software systems
- carefully reviewed and selected from submissions
- book constitutes the refereed proceedings
- object oriented