4683 search results - page 871 / 937 » Software Release Management |
ICSE
1999
IEEE-ACM
14 years 2 months ago
1999
IEEE-ACM
This paper describes how we have extended a module structure of the Smalltalk LearningWorks to provide a programming environment deigned for very large scale technology transfer. ...
CHI
1998
ACM
14 years 2 months ago
1998
ACM
A great deal of effort has gone into developing open-ended inquiry activities for science education as well as complex computer tools for accessing scientific data to help student...
ECOOPW
1997
Springer
14 years 2 months ago
1997
Springer
The traditional workflow process model is typically illustrated with a graph of activities, tasks, deliverables and techniques. From an object-oriented perspective, every identifi...
PLDI
2010
ACM
14 years 2 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
COBUILD
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. As the amount of information and communication increases dramatically new working environments must provide efficient mechanisms to maximize the benefits of these develop...