9 search results - page 1 / 2 » ifm 2007 |
IFM
2007
Springer
13 years 10 months ago
2007
Springer
IFM
2007
Springer
13 years 10 months ago
2007
Springer
IFM
2007
Springer
13 years 10 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
13 years 10 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
13 years 10 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...