This paper presents a case study of introducing usability practices to a small open source project called Carrot2 . We describe our experiences from a point of view of an active Ca...
Animation tools haveproven to be effective asa means of visualising formal specijcations. Specijcations that might otherwise be impenetrable can be communicated to a wide range of...
Learning how to create, test, and revise models is a central skill in scientific reasoning. We argue that qualitative modeling provides an appropriate level of representation for ...
Kenneth D. Forbus, Karen Carney, Bruce L. Sherin, ...
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...
— Component-based software engineering (CBSE) is quickly becoming a mainstream approach to software development. At the same time, there is a massive shift from desktop applicati...