6800 search results - page 175 / 1360 » Testing with Functions as Specifications |
CISSE
2008
Springer
13 years 11 months ago
2008
Springer
According to the software engineering perspective, grammars can be viewed as "Specifications for defining languages or compilers". They form the basics of languages and ...
EPEW
2006
Springer
14 years 1 months ago
2006
Springer
PEPA has recently been extended with functional rates [1][2]. These functions allow the specification of indirect interaction between components in such a way that the rate of an a...
CIE
2006
Springer
13 years 11 months ago
2006
Springer
In Bishop-style constructive algebra it is known that if a module over a commutative ring has a Noetherian basis function, then it is Noetherian. Using countable choice we prove th...
JCIT
2008
13 years 9 months ago
2008
The Personal Portal is generally used as a communication mean and serves as an entrance to users where they can acquire interested information on the network. We have several prob...
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
Web services are a popular way of implementing a Service-Oriented Architecture. Testing can be used to help assure both the correctness and robustness of a web service. Because ma...