6581 search results - page 46 / 1317 » Formalizing Design Patterns |
AGENTS
1998
Springer
15 years 6 months ago
1998
Springer
185
Voted
ECOOP
1993
Springer
15 years 6 months ago
1993
Springer
92
Voted
HCI
2007
15 years 4 months ago
2007
111
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...
137
click to vote
TACAS
1998
Springer
15 years 6 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...