6800 search results - page 633 / 1360 » Testing with Functions as Specifications |
218
click to vote
SOFSEM
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Based on the specific characteristics of electronic commerce (ECommerce) requirements for an adequate system support, this contribution gives an overview of the respectiv...
223
click to vote
CADE
1990
Springer
15 years 11 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
224
click to vote
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
201
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
203
click to vote
DSN
2004
IEEE
15 years 11 months ago
2004
IEEE
Aggregation refers to a set of functions that provide global information about a distributed system. These functions operate on numeric values distributed over the system and can ...