Sciweavers

8 search results - page 2 / 2
» scp 2002
Sort
View
SCP
2002
98views more  SCP 2002»
13 years 5 months ago
Reasoning about real-time repetitions: terminating and nonterminating
It is common for a real-time system to contain a nonterminating process monitoring an input and controlling an output. Hence, a real-time program development method needs to suppo...
Ian J. Hayes
SCP
2002
77views more  SCP 2002»
13 years 5 months ago
Quantitative IT portfolio management
We present a quantitative approach for IT portfolio management. This is an approach that CMM level 1 organizations can use to obtain a corporate wide impression of the state of th...
Chris Verhoef
SCP
2002
112views more  SCP 2002»
13 years 5 months ago
Formal agent-oriented modeling with UML and graph transformation
The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy and cooperation. Mainstream object-oriented modeling techniques do not a...
Ralph Depke, Reiko Heckel, Jochen Malte Küste...