Sciweavers

3905 search results - page 176 / 781
» Teaching Design Patterns
Sort
View
FMCO
2009
Springer
128views Formal Methods» more  FMCO 2009»
15 years 1 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 3 months 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
XPU
2005
Springer
15 years 8 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
CSCW
2000
ACM
15 years 7 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
TIT
2010
80views Education» more  TIT 2010»
14 years 10 months ago
Optical orthogonal signature pattern codes with maximum collision parameter 2 and weight 4
An optical orthogonal signature pattern code (OOSPC) finds application in transmitting 2-dimensional images through multicore fiber in code-division multiple-access (CDMA) communic...
Masanori Sawa