FM
2005
Springer
13 years 10 months ago
2005
Springer
It has been recognised for a while that formal specifications can bring much to software testing. Numerous methods have been proposed for the derivation of test cases from various ...
FM
2005
Springer
13 years 10 months ago
2005
Springer
FM
2005
Springer
13 years 10 months ago
2005
Springer
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
FM
2005
Springer
13 years 10 months ago
2005
Springer
FM
2005
Springer
13 years 10 months ago
2005
Springer
Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour tha...
FM
2005
Springer
13 years 10 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
FM
2005
Springer
13 years 10 months ago
2005
Springer
BPEL4WS is one of the most important business process modelling languages. One distinct feature of it is the fully programmable fault and compensation handling mechanism, which all...
FM
2005
Springer
13 years 10 months ago
2005
Springer
FM
2005
Springer
13 years 10 months ago
2005
Springer
FM
2005
Springer
13 years 10 months ago
2005
Springer
In formal design, decoupling means to make the features of a formal system as independent as possible from each other. Decoupling tends to make the features semantically more primi...