Software is an increasing and important part of many products and systems. Software, hardware, and system level components have been developed and produced following separate proc...
The long-term sustainability of a software product depends on more than developing features. Priorities are placed on aspects that support the development of software, like softwar...
: This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based ...
The all-du-paths software testing criterion is the most discriminating of the data ow testing criteria of Rapps and Weyuker. Unfortunately, in the worst case, the criterion requir...
: Aspect-Oriented Programming (AOP) provides new constructs and tools to handle cross-cutting concerns in programs. Fully realizing the potentials of riented Software Development r...