3514 search results - page 94 / 703 » Evolving Specification Engineering |
124
click to vote
QSIC
2003
IEEE
15 years 8 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
126
click to vote
ADAEUROPE
2001
Springer
15 years 7 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
IWSSD
2000
IEEE
15 years 6 months ago
2000
IEEE
Modern software is often constructed using "spiral specification"; i.e. the specification is a dynamic document that is altered by experience with the current version of...
128
click to vote
WER
2001
Springer
15 years 7 months ago
2001
Springer
Workflow technology has reached a reasonable degree of maturity, with a number of both research prototypes and commercial systems available. However, methodological issues have rec...
146
click to vote
AOSD
2008
ACM
15 years 5 months ago
2008
ACM
We propose test-based pointcuts, a novel pointcut mechanism for AspectJ-like aspect-oriented programming languages. The idea behind the test-based pointcuts is to specify join poi...