Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...
During the past five years, our research group worked with a group of public school teachers to define, develop, and assess network-based support for collaborative learning in mid...
John M. Carroll, George Chin Jr., Mary Beth Rosson...
UML sequence diagrams are commonly used to represent the interactions among collaborating objects. Reverse-engineered sequence diagrams are constructed from existing code, and hav...
In this paper, we describe two mission critical applications currently deployed by Telecom Italia in the Operations Support System domains. The first one called "Network Neut...
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
Michael R. Lowry, Andrew Philpot, Thomas Pressburg...