4350 search results - page 141 / 870 » Case studies for contract-based systems |
114
click to vote
VISUALIZATION
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes a computer modeling and simulation system that supports computational steering, which is an effort to make the typical simulation workflow more efficient. O...
120
click to vote
ITCC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents an approach to the architectural design and analysis of secure software systems based on the system requirements elicited in the form of use cases and misuse c...
121
click to vote
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents an approach for comprehending large software systems using views that are created by subjecting the software systems to dynamic analysis under various use-case...
130
click to vote
IWFM
1998
15 years 5 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...
121
click to vote
DLT
2009
15 years 1 months ago
2009
Abstract. We study expansions in non-integer negative base - introduced by Ito and Sadahiro [7]. Using countable automata associated with (-)-expansions, we characterize the case w...