9 search results - page 1 / 2 » ifm 2007 |
IFM
2007
Springer
14 years 5 months ago
2007
Springer
IFM
2007
Springer
14 years 5 months ago
2007
Springer
IFM
2007
Springer
14 years 5 months ago
2007
Springer
The Behavior Tree notation has been developed as a method for systematically and traceably capturing user requirements. In this paper we extend the notation with probabilistic beha...
IFM
2007
Springer
14 years 5 months ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
IFM
2007
Springer
14 years 5 months ago
2007
Springer
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...