2419 search results - page 323 / 484 » A Formal Approach to Software Testing |
159
Voted
KBSE
2000
IEEE
15 years 7 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
133
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
A key question in the field of agent-oriented software engineering is how the kind and extent of autonomy owned by computational agents can be appropriately captured. As long as ...
117
Voted
RE
2006
Springer
15 years 3 months ago
2006
Springer
We introduce a variability-intensive approach to goal decomposition that is tailored to support requirements identification for highly customizable software. The approach is based...
184
Voted
FOAL
2009
ACM
15 years 10 months ago
2009
ACM
Aspect-oriented programming (AOP) fosters the coding of tangled concerns in separated units that are then woven together in the executable system. Unfortunately, the oblivious nat...
124
click to vote
ICWS
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper addresses one of the major problems of SOA software development: the lack of support for testing complex service-oriented systems. The research community has developed v...