746 search results - page 82 / 150 » Formal Analysis of UML-Based Designs |
123
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...
109
click to vote
SIMUTOOLS
2008
15 years 3 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
182
Voted
CLIMA
2011
14 years 1 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
107
click to vote
SOFSEM
2007
Springer
15 years 8 months ago
2007
Springer
Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very hig...
111
click to vote
CONTEXT
2007
Springer
15 years 8 months ago
2007
Springer
Indexing is often designed with the intent of dimensional reduction, that is, of generating standardised and uniform descriptive metadata. This could be characterised as a process ...