4476 search results - page 344 / 896 » Modeling software architectures in the Unified Modeling Lang... |
203
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
UML state machines are widely used for modeling software behavior. However state-crosscutting behaviors, such as synchronization or execution history dependence, are hard to model...
228
click to vote
ASE
1998
15 years 6 months ago
1998
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
183
click to vote
FAC
2008
15 years 6 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
197
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
Accurate software cost and schedule estimations are essential especially for large software projects. However, once the required efforts have been estimated, little is done to rec...
177
click to vote
PROFES
2001
Springer
15 years 11 months ago
2001
Springer
Component-based software has a self-similar structure on el of abstraction, i.e. its structure is fractal. Traditional software processes, however, have a linear or iterated struct...