8949 search results - page 1626 / 1790 » is 1998 |
156
click to vote
TSE
1998
15 years 6 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
185
click to vote
TSE
1998
15 years 6 months ago
1998
—There are many standards which are relevant for building safety or mission critical software systems. An effective standard is one that should help developers, assessors, and us...
176
click to vote
TSE
1998
15 years 6 months ago
1998
—In this paper, we propose an integrated methodology for specifying AIN and switch-based features and analyzing their interactions in the AIN 0.1 framework. The specification of ...
160
click to vote
TSE
1998
15 years 6 months ago
1998
—This paper describes an empirical study that addresses the issue of communication among members of a software development organization. In particular, data was collected concern...
167
click to vote
TSE
1998
15 years 6 months ago
1998
—Design and evaluation of groupware systems raise questions which do not have to be addressed in the context of single user systems. The designer has to take into account not onl...