Sciweavers

284 search results - page 2 / 57
» Formal Foundation for Pattern-Based Modelling
Sort
View
HASE
2007
IEEE
14 years 8 days ago
Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
Ali Ebnenasir, Betty H. C. Cheng
ICSM
2006
IEEE
13 years 12 months ago
Guiding the Application of Design Patterns Based on UML Models
Software design patterns are documented best practice solutions that can be applied to reoccurring problems. Although well documented, there are often opportunities to apply them ...
Lionel C. Briand, Yvan Labiche, Alexandre Sauve
FOIS
2001
13 years 7 months ago
A formal foundation for process modeling
Christopher Menzel, Michael Grüninger