4647 search results - page 229 / 930 » Composite Design Patterns |
EDCC
2008
Springer
14 years 17 days ago
2008
Springer
The paper puts forward the idea of using fault tolerance refinement patterns to assist system developers in disciplined application of software fault tolerance mechanisms in rigor...
FMCO
2009
Springer
13 years 8 months ago
2009
Springer
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
ECSA
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...
XPU
2005
Springer
14 years 4 months ago
2005
Springer
Executable acceptance testing allows both to specify customers’ expectations in the form of the tests and to compare those to actual results that the software produces. The resul...
CSCW
2000
ACM
14 years 3 months ago
2000
ACM
In general, collaboration infrastructures have supported sharing of an object based on its logical structure. However, current implementations assume an implicit binding between t...