8627 search results - page 440 / 1726 » Software Engineering Using RATionale |
166
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
153
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
The recent proliferation of computing technology has brought added interest to natural I/O interface technologies such as speech recognition. Unfortunately, the computational and ...
174
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper provides an overview of fault injection techniques and their applicability to testing SOAP RPC based web service systems. We also give a detailed example of the WS-FIT ...
151
click to vote
FSTTCS
2004
Springer
15 years 10 months ago
2004
Springer
A separation context is a client program which does not dereference internals of a module with which it interacts. We use certain "precise" relations to unambiguously des...
159
click to vote
EUROSPI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents a case study of how a Norwegian company introduced an ISO certified process. By identifying the company's strong and weak sides plus the expectat...