3801 search results - page 234 / 761 » An Approach to Modeling Software Safety |
171
click to vote
ICALT
2006
IEEE
16 years 17 days ago
2006
IEEE
The application of software engineering approaches to generate learning material adapted to a specific instructional purpose presents some issues: of different models, different a...
140
click to vote
ICSM
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper describes an approach and support tool for the modelling and analysis of proposed reconfigurations to complex systems. The configuration models used are quick to constr...
186
click to vote
WER
2005
Springer
15 years 12 months ago
2005
Springer
Requirement traceability is intended to ensure continued alignment between stakeholders’ requirements and various outputs of the system development process. Therefore a process f...
159
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
154
click to vote
GCSE
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we describe our experiences with the development of a platform in the medical imaging domain. Three important ingredients of this platform are components, interfaces...