Voas, J. (1999) Certifying software for high-assurance environments. IEEE Software, 16 (4) 48-54 doi:10.1109/52.776948

Library Home Bookshelves View by Type Using Search

Books Catalogs/Sales Lists Journals Reports Thesis/Dissertation

Search for Books Search for Journals Manage Subjects Statistics Books without DDC/LCC Top Unstructured Orphaned Articles

Bookshelves (DDC layout)Bookshelves (LCC layout)Latest Books

Advanced

Search inside 'IEEE Software' only

- Only viewable:

Reference Type	Journal (article/letter/editorial)
Title	Certifying software for high-assurance environments
Journal	IEEE Software
Authors	Voas, J.		Author
Year	1999	Volume	16
Issue	4
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
DOI	doi:10.1109/52.776948Search in ResearchGate
	Generate Citation Formats
Mindat Ref. ID	15420275	Long-form Identifier	mindat:1:5:15420275:0
GUID	0
Full Reference	Voas, J. (1999) Certifying software for high-assurance environments. IEEE Software, 16 (4) 48-54 doi:10.1109/52.776948
Plain Text	Voas, J. (1999) Certifying software for high-assurance environments. IEEE Software, 16 (4) 48-54 doi:10.1109/52.776948
In	(1999, July) IEEE Software Vol. 16 (4) Institute of Electrical and Electronics Engineers (IEEE)

	*Voas, J. (2003) Assuring software quality assurance. IEEE Software, 20 (3) 48-49 doi:10.1109/ms.2003.1196320*
	*Voas, J. (1999) Protecting against what? The Achilles heel of information assurance. IEEE Software, 16 (1) 28-29 doi:10.1109/52.744563*
	*Voas, J. (1999) Untested software threatens infrastructures. IEEE Software, 16 (2) 89-90 doi:10.1109/52.754059*
	*Voas, J. (1999) Software quality's eight greatest myths. IEEE Software, 16 (5) 118-120 doi:10.1109/52.795111*
	*Voas, J. (2001) Composing software component "ilities". IEEE Software, 18 (4) 16-17 doi:10.1109/ms.2001.936211*
	*Voas, J. (2001) Fault tolerance. IEEE Software, 18 (4) 54-57 doi:10.1109/ms.2001.936218*
	*Voas, J. (1999) Certification: reducing the hidden costs of poor quality. IEEE Software, 16 (4) 22-25 doi:10.1109/ms.1999.776944*
	*Voas, J. (1998) COTS software: the economical choice?. IEEE Software, 15 (2) 16-19 doi:10.1109/52.663777*
	*Voas, J. (2001) Software fault tolerance: making software behave. IEEE Software, 18 (4) 18-19 doi:10.1109/ms.2001.936212*
	*Voas, J.M. (1998) Certifying off-the-shelf software components. Computer, 31. 53-59 doi:10.1109/2.683008*
	*Bollinger, T., Voas, J., Boasson, M. (2004) Persistent Software Attributes. IEEE Software, 21 (6) 16-18 doi:10.1109/ms.2004.46*

Mindat.org is an outreach project of the Hudson Institute of Mineralogy, a 501(c)(3) not-for-profit organization.
Copyright © mindat.org and the Hudson Institute of Mineralogy 1993-2025, except where stated. Most political location boundaries are © OpenStreetMap contributors. Mindat.org relies on the contributions of thousands of members and supporters. Founded in 2000 by Jolyon Ralph.
To cite: Ralph, J., Von Bargen, D., Martynov, P., Zhang, J., Que, X., Prabhu, A., Morrison, S. M., Li, W., Chen, W., & Ma, X. (2025). Mindat.org: The open access mineralogy database to accelerate data-intensive geoscience research. American Mineralogist, 110(6), 833–844. doi:10.2138/am-2024-9486.
Privacy Policy - Terms & Conditions - Contact Us / DMCA issues - Report a bug/vulnerability Current server date and time: August 21, 2025 07:33:52

Go to top of page

Voas, J. (1999) Certifying software for high-assurance environments. IEEE Software, 16 (4) 48-54 doi:10.1109/52.776948

See Also