1082 search results - page 53 / 217 » tools 2000 |
CADE
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
ICSE
2000
IEEE-ACM
14 years 1 months ago
2000
IEEE-ACM
Software product lines are multiple systems that are developed synergistically in an attempt to exploit scope economies. They are a promising approach to more effectively developi...
ACMDIS
2000
ACM
14 years 2 months ago
2000
ACM
This paper focuses on ways and means of stimulating idea generation in collaborative situations involving designers, engineers, software developers, users and usability people. Pa...
INFSOF
2000
13 years 9 months ago
2000
Software design is a cognitively challenging task. Most software design tools provide support for editing, viewing, storing, and transforming designs, but lack support for the ess...
ECHT
1992
14 years 2 months ago
1992
Aquanet is a collaborative hypertext tool that combines elements of frame-based knowledge representation and graphical presentation. In this paper, we examine the first major appl...