Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,293 papers from all fields of science
Search
Sign In
Create Free Account
Microsoft Software Assurance
Known as:
SA
Microsoft Software Assurance (SA) is a Microsoft maintenance program aimed at business users who use Microsoft Windows, Microsoft Office, and other…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Desktop virtualization
History of Microsoft Windows
Microsoft Windows
Windows 10
Expand
Broader (1)
Software maintenance
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2015
Review
2015
Survey of Verification and Validation Techniques for Small Satellite Software Development
S. Jacklin
2015
Corpus ID: 11315159
The purpose of this paper is to provide an overview of the current trends and practices in small-satellite software verification…
Expand
2014
2014
Reducing software assurance risks for security-critical and safety-critical systems
C. Axelrod
,
Great Neck
Long Island Systems, Applications and Technology…
2014
Corpus ID: 15690009
According to the Office of the Assistant Secretary of Defense for Research and Engineering (ASD(R&E)), the US Department of…
Expand
2014
2014
Software Certification: Where is Confidence Won and Lost?
T. Kelly
2014
Corpus ID: 61377565
Given that we cannot prove the safety of software (in a system context) we are forced to wrestle with the issue of confidence in…
Expand
Review
2011
Review
2011
Counting Bugs is Harder Than You Think
P. Black
IEEE 11th International Working Conference on…
2011
Corpus ID: 206553867
Software Assurance Metrics and Tool Evaluation (SAMATE) is a broad, inclusive project at the U.S. National Institute of Standards…
Expand
2011
2011
Hybrid Ant Colony Optimization and Simulated Annealing for Rule Induction
R. Saian
,
K. Ku-Mahamud
UKSim 5th European Symposium on Computer Modeling…
2011
Corpus ID: 17842936
This paper proposes a hybrid of ant colony optimization and simulated annealing for rule induction. The hybrid algorithm is part…
Expand
2010
2010
Towards a Peer-to-Peer Framework for Parallel and Distributed Computing
L. José
,
Senger Márcio Augusto de Souza
,
D. Foltran
22nd International Symposium on Computer…
2010
Corpus ID: 6315848
This paper presents a framework for developing and executing parallel and distributed applications using the peer-to-peer…
Expand
2009
2009
Certification Authorities Software Team ( CAST ) Position Paper CAST-9 Considerations for Evaluating Safety Engineering Approaches to Software Assurance
2009
Corpus ID: 13552478
NOTE: This position paper has been coordinated among the software specialists of certification authorities from the United States…
Expand
2007
2007
Certification process artifacts defined as measurable units for software assurance
Seok-Won Lee
,
R. Gandhi
,
Gail-Joon Ahn
Software Process: Improvement and Practice
2007
Corpus ID: 14876061
Certification and Accreditation (C&A) process artifacts for software-intensive systems are characterized by the metrics and…
Expand
2006
2006
Building Decision Support Problem Domain Ontology from Natural Language Requirements for Software Assurance
Seok-Won Lee
,
Divya Muthurajan
,
R. Gandhi
,
D. Yavagal
,
Gail-Joon Ahn
International journal of software engineering and…
2006
Corpus ID: 17684723
The process of engineering software-intensive systems that comply with their Certification and Accreditation (C&A) requirements…
Expand
2006
2006
Software Assurance During Maintenance
P. Black
22nd IEEE International Conference on Software…
2006
Corpus ID: 15563093
Software development, testing, and maintenance tools must yield assurance information in a standardized form. Developers can use…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE