10263 search results - page 59 / 2053 » From Use Cases to System Operation Specifications |
PTS
1998
14 years 11 months ago
1998
In this paper we present factorized test generation techniques that can be used to generate test cases from a specification that is modelled as a labelled transition system. The t...
ICSE
1995
IEEE-ACM
15 years 1 months ago
1995
IEEE-ACM
A requirement is a desired relationship among phenomena of the environment of a system, to be brought about by the hardware/software machine that will be constructed and installed...
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
EURODAC
1994
IEEE
15 years 1 months ago
1994
IEEE
This paper presents a testability improvement method for digital systems described in VHDL behavioral specification. The method is based on testability analysis at registertransfe...
HYBRID
2010
Springer
14 years 7 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...