403 search results - page 39 / 81 » Integrating Z into Large Projects Tools and Techniques |
VL
2005
IEEE
15 years 5 months ago
2005
IEEE
Large software projects often require a programmer to make changes to unfamiliar source code. This paper describes a set of tools, called Team Tracks, designed to ease program com...
100
click to vote
SIGSOFT
1998
ACM
15 years 4 months ago
1998
ACM
Understanding large software systems is difficult. Traditionally, automated tools are used to assist program understanding. However, the representations constructed by these tool...
111
click to vote
ER
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. The process industries (chemicals, food, oil, ...) are characterized by - continuous or batch -- processes of material transformation. The design of such processes, and t...
111
click to vote
IDEAL
2007
Springer
15 years 6 months ago
2007
Springer
Microarray technology produces large amounts of information to be manipulated by analysis methods, such as biclustering algorithms, to extract new knowledge. All-purpose multivaria...
SIGGRAPH
1993
ACM
15 years 3 months ago
1993
ACM
Several common systems satisfy some but not all of the VR definition above. Flight simulators provide vehicle tracking, not head tracking, and do not generally operate in binocular...