1057 search results - page 81 / 212 » Testing from Formal Specifications, a Generic Approach |
153
click to vote
COOPIS
2004
IEEE
15 years 7 months ago
2004
IEEE
Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precis...
97
Voted
JLP
2010
14 years 10 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
102
Voted
AEI
1999
15 years 3 months ago
1999
Ensuring that the content of a rule-base, which is being encoded, is free from problems of consistency, completeness, and conciseness, is necessary to avoid any performance errors...
108
Voted
WADT
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Hidden algebra is a behavioural algebraic specification formalism for objects. It captures their constructional aspect, concerned with the initialisation and evolution of...
122
Voted
HEURISTICS
2010
14 years 10 months ago
2010
The challenge in shift scheduling lies in the construction of a set of work shifts, which are subject to specific regulations, in order to cover fluctuating staff demands. This pro...