1527 search results - page 61 / 306 » From Requirements to Design: Formalizing the Key Steps |
146
click to vote
SAC
2009
ACM
16 years 24 days 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...
148
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
The design of the defenses Internet systems can deploy against attack, especially adaptive and resilient defenses, must start from a realistic model of the threat. This requires an...
261
click to vote
ICDE
2003
IEEE
16 years 7 months ago
2003
IEEE
We present a technique for refining the design of relational storage for XML data based on XML key propagation. Three algorithms are presented: one checks whether a given function...
157
click to vote
TASE
2009
IEEE
16 years 22 days ago
2009
IEEE
Retrenchment is a framework that allows relatively unrestricted system evolution steps to be described in a way that gives an evolution step some formal content — unlike model b...
156
Voted
ISOLA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever poss...