1823 search results - page 61 / 365 » Formal specification: a roadmap |
ACSD
2006
IEEE
14 years 1 months ago
2006
IEEE
Dynamic communication systems (DCS) are complex because of their unboundedness in several dimensions. They have an unbounded and changing number of objects, a dynamically changing...
ACSD
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper test selection strategies in formal conformance testing are considered. As the testing conformance relation we use the ioco relation, and extend the previously prese...
AKA
2004
13 years 11 months ago
2004
: Swiss Re has established an architectural framework, tools, and concepts that enable business people to specify their view of the business in a consistent and formal manner. Base...
POPL
2002
ACM
14 years 10 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
TSE
1998
13 years 9 months ago
1998
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...