Elaborating Requirements Using Model Checking and Inductive Learning
No Thumbnail Available
Files
Date
2013
Journal Title
Journal ISSN
Volume Title
Publisher
Institute of electrical and electronics engineers
Abstract
Description
361-383 p. ; 2.007 ko.
Keywords
Processus d’ingénierie des exigences (RE), Elaboration des exigences, Apprentissage inductif