6581 search results - page 32 / 1317 » Formalizing Design Patterns |
103
Voted
FORTE
1996
15 years 3 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
121
click to vote
SEKE
2007
Springer
15 years 8 months ago
2007
Springer
Design patterns describe good solutions to common and recurring problems. The applications of design patterns may vary in different layouts, which pose challenges for recovering a...
110
click to vote
LICS
2006
IEEE
15 years 8 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
107
Voted
SEFM
2005
IEEE
15 years 8 months ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
118
click to vote
ACTA
2007
15 years 2 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...