102 search results - page 12 / 21 » Formal and Use-Case Driven Requirement Analysis in UML |
93
Voted
IASSE
2004
14 years 10 months ago
2004
The Rationale-based Analysis Tool (RAT) supports analysts, developers, clients and end users during the objectoriented requirements analysis activity. The tool enables different s...
JOT
2010
14 years 7 months ago
2010
Object-oriented analysis and design have been more concerned with system functionality, neglecting non-functional aspects; the result is code which is tangled and difficult to main...
ENTCS
2007
14 years 9 months ago
2007
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
CSMR
2006
IEEE
15 years 3 months ago
2006
IEEE
Understanding large software systems is simplified when a combination of techniques for static and dynamic analysis is employed. Effective dynamic analysis requires that executio...
ASM
2010
ASM
15 years 4 months ago
2010
ASM
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...