dc:subject
|
formal specification, logical framework, requirements evolution, meta level logic, intuitive aspects, deductive closure, software engineering, large theories, theory construction, requirements model, nonmonotonic logic, belief revision, nonmonotonic reasoning, formal description, requirements engineering process, semantically well founded methods, changing requirements management
(xsd:string)
|