2613 search results - page 243 / 523 » Active Software Artifacts |
161
click to vote
VL
2006
IEEE
16 years 17 days ago
2006
IEEE
Web development is rapidly becoming a routine activity for informal as well as professional software developers. One variable that distinguished segments of this population was th...
161
click to vote
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents an application framework in which declarative specifications of debugging actions are translated into execution monitors that can automatically detect bugs. Th...
166
click to vote
B
1998
Springer
15 years 10 months ago
1998
Springer
This paper reports on the preparation of test cases using a prototype within the context of a formal development. It describes an approach to building a prototype using an example....
146
click to vote
EWSPT
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. Interact Intermediate supports goal-directed process modeling in such a way as to maximize the concurrency of activities and to minimize the direct control of humans in t...
143
click to vote
ICSE
1994
IEEE-ACM
15 years 10 months ago
1994
IEEE-ACM
We describe three case studies in the use of Basic LOTOS. The studies cover design recovery, requirements speci cation, and design activities. We also report lessons learned from ...