6581 search results - page 121 / 1317 » Formalizing Design Patterns |
122
click to vote
CMSB
2008
Springer
15 years 4 months ago
2008
Springer
We present a discrete formal model of the central pattern generator (CPG) located in the buccal ganglia of Aplysia that is responsible for mediating the rhythmic movements of its f...
114
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
Architectural patterns provide proven solutions to recurring design problems that arise in a system context. A major challenge for modeling patterns in a system design is effectiv...
116
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
In earlier work we have argued that formal process definitions can be useful in improving our understanding and performance of software development processes. There has, however,...
113
click to vote
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
125
click to vote
ACSW
2006
15 years 4 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...