Sciweavers

2255 search results - page 11 / 451
» High Assurance Software Systems
Sort
View
SAC
2004
ACM
14 years 2 months ago
Improving courseware quality through life-cycle encompassing quality assurance
The quality of courseware development is affected by four factors: content and instructional issues; management; technical and graphical issues; and concerns of the customer. In ...
Ines Grützner, Stephan Weibelzahl, Patrick E....
ISORC
2005
IEEE
14 years 2 months ago
Stochastic, Utility Accrual Real-Time Scheduling with Task-Level and System-Level Timeliness Assurances
Heuristic algorithms have enjoyed increasing interests and success in the context of Utility Accrual (UA) scheduling. However, few analytical results, such as bounds on task-level...
Peng Li, Hyeonjoong Cho, Binoy Ravindran, E. Dougl...
COMPSAC
2005
IEEE
14 years 2 months ago
Reasoning About Software Architecture-Based Regression Testing Through a Case Study
Two main issues need to be covered when dealing with the dependability of component-based systems: quality assurance of reusable software components and quality assurance of the a...
Henry Muccini, Marcio S. Dias, Debra J. Richardson
SISW
2005
IEEE
14 years 2 months ago
File System Design with Assured Delete
This paper describes a system that supports high availability of data, until the data should be expunged, at which time it is impossible to recover the data. This design supports ...
Radia J. Perlman
ICECCS
2010
IEEE
182views Hardware» more  ICECCS 2010»
13 years 8 months ago
Engineering Quality Requirements Using Quality Models
—In this paper ongoing research for a PhD-thesis is presented. The objective of this thesis is to develop an approach for engineering quality requirements. Quality requirements a...
Klaus Lochmann