64 search results - page 6 / 13 » Exception Handling in Component-Based System Development |
MPC
1995
Springer
13 years 11 months ago
1995
Springer
Abstract. This paper is about exceptions handling using classical techniques of program extraction. We propose an impredicative formalization in the calculus of constructions and w...
ECOOP
2008
Springer
13 years 9 months ago
2008
Springer
Exception handling mechanisms are intended to support the development of robust software. However, the implementation of such mechanisms with aspectoriented (AO) programming might ...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
SEW
2006
IEEE
14 years 1 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
—The manipulation of flexible and limp sheet materials is a common requirement in many industrial manufacturing processes, however automation of even simple tasks involving these...