Sciweavers

1128 search results - page 99 / 226
» Little Engines of Proof
Sort
View
ICSM
2000
IEEE
15 years 2 months ago
Bridging Program Comprehension Tools by Design Navigation
Source code investigation is one of the most time consuming activities during software maintenance and evolution, yet currently available tool support suffers from several shortco...
Sébastien Robitaille, Reinhard Schauer, Rud...
RE
1999
Springer
15 years 2 months ago
Bridging the Gap Between Past and Future in RE: A Scenario-Based Approach
Requirements Engineering (RE) investigates the impact of a future-oriented change vision, but the move towards this vision must consider a context heavily shaped by the past. As R...
Peter Haumer, Matthias Jarke, Klaus Pohl, Patrick ...
ICSM
1997
IEEE
15 years 1 months ago
Software Change Through Design Maintenance
Conventional software engineering tends to focus on a small part of the software life cycle: the design and implementation of a product. The bulk of the lifetime cost is in the ma...
Ira D. Baxter, Christopher Pidgeon
UIST
1997
ACM
15 years 1 months ago
Designing and Implementing Asynchronous Collaborative Applications with Bayou
Asynchronous collaboration is characterized by the degree of independence collaborators have from one another. In particular, collaborators working asynchronously typically have l...
W. Keith Edwards, Elizabeth D. Mynatt, Karin Peter...
EUROMICRO
2004
IEEE
15 years 1 months ago
GridSphere: An Advanced Portal Framework
In traditional web application development, very few libraries exist to make portal development easy. In general, many homegrown and vertical solutions exist and very little code ...
Jason Novotny, Michael Russell, Oliver Wehrens