6800 search results - page 77 / 1360 » Testing with Functions as Specifications |
WADT
1998
Springer
14 years 4 days ago
1998
Springer
Abstract. The conditions under which a formal system for reasoning about structural specifications, built over one logical system could be reused for reasoning about structured spe...
ITNG
2010
IEEE
14 years 1 months ago
2010
IEEE
This paper is the last one in a series of four papers and presents a minimal geographic services’ specification, based in the core related to business requirements, specially sp...
EUROMICRO
2004
IEEE
13 years 11 months ago
2004
IEEE
It is now widely recognized that the so-called nonfunctional or extra-functional properties of a software system are at least as important as its somewhat more classical functiona...
ICMCS
2000
IEEE
14 years 10 days ago
2000
IEEE
In this paper, a system for automatic albuming of consumer photographs is described, and its specific core components of event segmentation and screening of low quality images are...
ICDCS
1993
IEEE
14 years 1 days ago
1993
IEEE
In this paper, we propose a diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating finite state machine...