This paper describes how agent and knowledge technology can be used to build advanced software systems that support operational decisionn complex domains. In particular, we present...
The theory of granular partitions (TGP) is a new approach to the understanding of ontologies and other classificatory systems. The paper explores the use of this new theory in the ...
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
Use case models capture and describe the functional requirements of a software system. A use case driven development process, where a use case model is the principal basis for con...
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...