150 search results - page 14 / 30 » tse 2008 |
TSE
1998
14 years 9 months ago
1998
—We describe and analyze the process of requirements development in scenario-based design through consideration of a case study. In our project, a group of teachers and system de...
TSE
1998
14 years 9 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...
TSE
1998
14 years 9 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...
TSE
1998
14 years 9 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 ...
TSE
1998
14 years 9 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...