70 search results - page 1 / 14 » Exception Handling and Term Labelling |
TAPSOFT
1993
Springer
13 years 9 months ago
1993
Springer
: We propose a new algebraic framework for exception handling which is powerful enough to cope with many exception handling features such that recovery, implicit propagation of exc...
COMPASS
1991
13 years 8 months ago
1991
: We give the main definitions and results of a new framework for algebraic specifications: the framework of label algebras. The main idea underlying our approach is that the sem...
APSEC
2005
IEEE
13 years 11 months ago
2005
IEEE
Exception handling design is an important but difficult subject in software development. In Java software development, the use of checked exceptions exacerbates the difficulty. In...
ISORC
1999
IEEE
13 years 9 months ago
1999
IEEE
ation Oriented Action (CO action) is a modelling abstraction for representing collaborative behaviour between objects at different phases of the software development. In this pape...
ICWS
2008
IEEE
13 years 6 months ago
2008
IEEE
Programmable Logic Controllers (PLC) are widely used in process automation due to their fast and guarantee response time. However their programming and interfacing capacities are ...