1645 search results - page 7 / 329 » Rationale-Based Use Case Specification |
IWFM
1998
13 years 8 months ago
1998
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
BALT
2010
13 years 2 months ago
2010
For the purposes of tool development, computer languages are usually described using context-free grammars with annotations such as semantic actions or pretty-printing instructions...
JSS
2010
13 years 2 months ago
2010
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
IJNSEC
2010
13 years 2 months ago
2010
One of the major threats that an enterprise Information system networks are facing today is the Insider threat. As part of the Insider Threat study, lack of an effective access co...
UML
2001
Springer
13 years 11 months ago
2001
Springer
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...