To reduce the effort spent on system comprehension during software maintenance, easy access to different type of information describing the system features is necessary. This is u...
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
Cognitive science emphasizes the strength of visual formalisms for human learning and problem solving. In software engineering, a clear, visual presentation of a system's arc...
Embedded systems are rapidly growing in size, complexity, distribution, and heterogeneity. As a result, the traditional practice of developing one-off embedded applications that a...
Software architecture is an important form of abstraction, representing the overall system structure and the relationship among components. When software is modified from one ver...