6581 search results - page 461 / 1317 » Formalizing Design Patterns |
156
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
159
click to vote
IFM
2007
Springer
16 years 17 days ago
2007
Springer
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
179
click to vote
CMSB
2004
Springer
15 years 11 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
204
click to vote
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
185
Voted
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...