Software Product Line Engineering (SPLE) is a reuse-driven development paradigm that has been applied successfully in information system engineering and other domains. Quality assurance of the reusable artifacts of the product line (e.g. requirements, design, and code artifacts) is essential for successful product line engineering. As those artifacts are reused in several products, a defect in ...

The legislation calls for research and evaluation programs, to be conducted, by the Secret,ary of Health, Education, and Welfare through the Assistant Secretary for Health, on the effectiveness, administration, and enforcement of quality assurance programs for health care. Annual re‘ports are to be made to Congress and the Presi: dent on the quality of health care in the United States, the oper...

Requirements speci cations for high assurance secure systems are rare in the open literature. This paper presents a case study in the development of a requirements document for a multilevel secure system that must meet stringent assurance and evaluation requirements. The system is secure, yet combines popular commercial components with specialized high assurance ones. Functional and non-functio...

Any facility or program operated by the Office of Mental Health shall restrict the use of personal cell phones, recording devices, and wireless devices on the grounds of such facility or program, as set forth in this policy directive, provided, however, that the use of personally owned cell phones, recording devices, and wireless devices within forensic and secure facilities or units shall be i...