Sciweavers

6581 search results - page 21 / 1317
» Formalizing Design Patterns
Sort
View
FMSP
1998
ACM
13 years 11 months ago
Designing executable abstractions
Gerard J. Holzmann
AI
2005
Springer
13 years 7 months ago
Bayesian network modelling through qualitative patterns
In designing a Bayesian network for an actual problem, developers need to bridge the gap between ematical abstractions offered by the Bayesian-network formalism and the features o...
Peter J. F. Lucas
MOBILITY
2009
ACM
14 years 2 days ago
Context-sensitive authorization in interaction patterns
Main requirement of recent computing environments, like mobile and then ubiquitous computing, is to adapt applications to context. On the other hand, access control generally trus...
Vincent Hourdin, Jean-Yves Tigli, Stephane Lavirot...
UML
2001
Springer
13 years 12 months ago
UML Support for Designing Software Systems as a Composition of Design Patterns
Much of the research work on design patterns has primarily focused on discovering and documenting patterns. Design patterns promise early reuse benefits at the design stage. To rea...
Sherif M. Yacoub, Hany H. Ammar