One of the challenging research problems in validating a software engineering methodology (SEM), and a part of its validation process, is to answer “How to fairly collect, presen...
One of the key elements in describing a software development method is the roles that are assigned to the members of the software team. This article describes our experience in ass...
Modeling is used to build structures that serve as surrogates for other objects. As children, we learn to model at a very young age. An object such as a small toy train teaches us...
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...
Abstract. Digital pathology or telepathology intends to extend the usage of electronic images for diagnostical, support or educational purposes in anatomical or clinical pathology....