Sciweavers

FLAIRS
2008
13 years 6 months ago
Towards Formalization of ARD+ Conceptual Design and Refinement Method
The paper discusses a proposal of a formal description of ARD+ a conceptual design and hierarchical refinement method for knowledge-based systems. Formalization of method syntax i...
Grzegorz J. Nalepa, Igor Wojnicki