Searched for: +
(1 - 1 of 1)
document
Nami, M.R. (author), Sharifi, M. (author), Malekpour, A. (author)
Recently, several flavors of Formal Methods (FMs) have been gaining industrial acceptance and production quality software tools have begun emerging. Domain Engineering (DE) has been introduced as one of outstanding ideas in software development. It serves form al methods that provide a rigorous, mathematical based framework (domain model) for...
conference paper 2007