2419 search results - page 135 / 484 » A Formal Approach to Software Testing |
129
click to vote
ECOOPW
1999
Springer
15 years 7 months ago
1999
Springer
Few existing approaches towards architectural evolution deal with unanticipated evolution. This is an important restriction, since a lot of architectural changes are very di cult ...
111
Voted
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a su...
112
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
This paper investigates software agents testing, and in particular how to automate test generation. We propose a novel approach, which takes advantage of agent interaction ontolog...
196
click to vote
DCEIS
2006
15 years 4 months ago
2006
During software engineering processes lots of artifacts are produced to document the development of a concrete software. For artifacts which are related with respect to their meani...
128
Voted
JSS
2002
15 years 3 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...