8627 search results - page 48 / 1726 » Software Engineering Using RATionale |
SIGSOFT
2000
ACM
14 years 2 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
STEP
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper is the product of a workshop held in Amsterdam during the Software Technology and Practice Conference (STEP 2003). The purpose of the paper is to propose Bloom’s taxo...
SOMET
2007
13 years 11 months ago
2007
This report details part of the results of five software audits that were done to evaluate various aspects of the quality in five very big software projects. One result of our work...
OOPSLA
2010
Springer
13 years 8 months ago
2010
Springer
Models are important artifacts in the software development life-cycle and are often the result of a collaborative activity of multiple developers. When multiple developers modify ...
CHI
1993
ACM
14 years 2 months ago
1993
ACM
In order to inform the design of technology support and new procedural methodsfor softwaredesign,we analyzed the content of real design meetingsin threeorganizations, focusing in ...