In this paper, we aim to identify what kinds of knowledge management (KM) challenges are typical in the renewal of software development processes, and to propose solutions to the ...
This paper provides an experience report on the use of aspect-oriented technology as a means to modularize the implementation of business rules in an object-oriented, large scale ...
Andy Kellens, Kris De Schutter, Theo D'Hondt, Vivi...
In this paper we consider the extensions of description logics that were proposed to represent uncertain or vague knowledge, focusing on the fuzzy and possibilistic formalisms. We ...
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...