3555 search results - page 45 / 711 » Security-Critical System Development with Extended Use Cases |
IFM
2007
Springer
15 years 7 months 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...
108
click to vote
IWFM
1998
15 years 2 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...
128
click to vote
ACSC
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...
104
click to vote
KBSE
2010
IEEE
14 years 11 months ago
2010
IEEE
In this paper, we present a prototype tool that supports the systematic development of software architectures driven by quality requirements using architectural tactics. The tool ...
83
Voted
VISUALIZATION
2002
IEEE
15 years 6 months ago
2002
IEEE
Ocean model simulations commonly assume the ocean is hydrostatic, resulting in near zero vertical motion. The vertical motion found is typically associated with the variations of ...