Sciweavers

4647 search results - page 229 / 930
» Composite Design Patterns
Sort
View
105
Voted
EDCC
2008
Springer
15 years 2 months ago
Refinement Patterns for Fault Tolerant Systems
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...
Alexei Iliasov, Alexander Romanovsky
FMCO
2009
Springer
128views Formal Methods» more  FMCO 2009»
14 years 10 months ago
Patterns for Refinement Automation
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis,...
ECSA
2010
Springer
15 years 24 days ago
Linking Design Decisions to Design Models in Model-Based Software Development
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...
Patrick Könemann, Olaf Zimmermann
80
Voted
XPU
2005
Springer
15 years 6 months ago
Examining Usage Patterns of the FIT Acceptance Testing Framework
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...
Kris Read, Grigori Melnik, Frank Maurer
90
Voted
CSCW
2000
ACM
15 years 5 months ago
Composable collaboration infrastructures based on programming patterns
In general, collaboration infrastructures have supported sharing of an object based on its logical structure. However, current implementations assume an implicit binding between t...
Vassil Roussev, Prasun Dewan, Vibhor V. Jain