FM+AM'09: workshop on formal methods and agile methods - Editorial preface and foreword.
Stefan GrunerPublished in: Innov. Syst. Softw. Eng. (2010)
Keyphrases
- formal methods
- special issue
- workshop on data mining
- agile methods
- agile software development
- case study
- software development
- software engineering
- knowledge based systems
- software development processes
- literature review
- model checking
- formal specification
- artificial intelligence
- systems development
- early stage
- modeling language
- development teams
- information technology
- project management
- software projects