6581 search results - page 150 / 1317 » Formalizing Design Patterns |
142
click to vote
CERA
2002
15 years 3 months ago
2002
: Many industries are shifting from mass production to mass customization, which demands quick response to the needs of individual customers with high quality and low costs. The de...
113
click to vote
ESSOS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present an approach to security requirements engineering, which makes use of special kinds of problem frames that serve to structure, characterize, analyze, and solve ...
120
click to vote
FM
1999
Springer
15 years 7 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
118
click to vote
ISARCS
2010
15 years 5 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
124
click to vote
SAFECOMP
2010
Springer
15 years 1 months ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...