Search For:

Displaying 1-20 out of 20 total
The Future of Computer Assurance
Found in: Computer
By Jeffrey M. Voas
Issue Date:January 1999
pp. 76-77
No summary available.
 
Privacy and/or Security: Take Your Pick
Found in: IT Professional
By George F. Hurlburt, Keith W. Miller, Jeffrey M. Voas, Jamison M. Day
Issue Date:July 2009
pp. 52-55
The concepts of privacy and security are distinct, but they're often considered synonymously when applied to computational systems. This article explores the conceptual differences between computational privacy and security and suggests four mutually exclu...
 
Software Testability: The New Verification
Found in: IEEE Software
By Jeffrey M. Voas, Keith W. Miller
Issue Date:May 1995
pp. 17-28
Software verification is often the last defense against disasters caused by faulty software development. When lives and fortunes depend on software, software quality and its verification demand increased attention. As software begins to replace human decis...
 
Does Security Trump Reliability?
Found in: Computer
By James Bret Michael,Phillip A. Laplante,Jeffery Payne,Paul E. Black,Jeffrey M. Voas
Issue Date:November 2013
pp. 84-86
A conference panel discussed security and reliability and which of these concerns outweighs the other. Although the panel didn't conclude that one is definitively more important than the other, it did open the discussion for further consideration.
 
An Ethical Analysis of Automation, Risk, and the Financial Crises of 2008
Found in: IT Professional
By George F. Hurlburt, Keith W. Miller, Jeffrey M. Voas
Issue Date:January 2009
pp. 14-19
The unprecedented financial market volatility of 2008 has profound implications. Although there is plenty of
 
Standards Confusion and Harmonization
Found in: Computer
By Jeffrey M. Voas, Phillip A. Laplante
Issue Date:July 2007
pp. 94-96
Standards blending offers an alternative to absolute harmonization.
 
Improving the Predictable Assembly of Service-Oriented Architectures
Found in: IEEE Software
By Brian A. Malloy, Nicholas A. Kraft, Jason O. Hallstrom, Jeffrey M. Voas
Issue Date:March 2006
pp. 12-15
The service-oriented paradigm is founded on an assumption of well-specified and well-understood contracts that isn't realized in practice. Our approach extends the WSDL specification language with support for argument- and return-format specification and b...
 
Programming with Assertions: A Prospectus
Found in: IT Professional
By Brian A. Malloy, Jeffrey M. Voas
Issue Date:September 2004
pp. 53-59
Assertions can help improve software quality. To use them effectively, it?s important to determine when they are valid.
 
50 Years of Software: Key Principles for Quality
Found in: IT Professional
By James A. Whittaker, Jeffrey M. Voas
Issue Date:November 2002
pp. 28-35
<p>Software quality is no better today than it was decades ago. In some cases, it's worse. Can a look at the past help us change the future for the better?</p>
 
Corporate Rumors and Conspiracy Theories
Found in: IT Professional
By Jeffrey M. Voas
Issue Date:March 2002
pp. 64, 62-63
<p>Managing office rumors takes fitnesse, but heading them off at the pass can eliminate problems down the road.</p>
 
COTS and High Assurance: An Oxymoron?
Found in: High-Assurance Systems Engineering, IEEE International Symposium on
By Jeffrey M. Voas
Issue Date:November 1999
pp. 119
Can COTS software be tolerated in high assurance environments? Or is this hopelessly impossible? My position is that COTS software will exist in high assurance environments (in the near future) no matter what prudence or due diligence suggests. Prudence an...
 
Certifying Off-the-Shelf Software Components
Found in: Computer
By Jeffrey M. Voas
Issue Date:June 1998
pp. 53-59
<p>Off-the-shelf components could save the software industry considerable time and money. However, the industry first needs a set of black-box processes to certify the suitability of COTS components.</p>
 
The Avalanche Paradigm: An Experimental Software Programming Technique for Improving Fault-tolerance
Found in: Engineering of Computer-Based Systems, IEEE International Conference on the
By Jeffrey M. Voas, Keith W. Miller
Issue Date:March 1996
pp. 142
Fault propagation is both boon and curse. For programs undergoing V&V, propagation is boon, since fault detection is the goal. After software deployment, particularly for safety critical applications, propagation can result in hazardous outputs, which ...
 
Tough Times, Tough Money: Understanding Investor Speak
Found in: IT Professional
By Jeffrey M. Voas
Issue Date:January 2003
pp. 64, 61-63
<p>Finding money to take a growing business to the next level requires a careful look at term sheets and scenarios.</p>
 
A World Without Risks: Let Me Out!
Found in: High-Assurance Systems Engineering, IEEE International Symposium on
By Jeffrey M. Voas
Issue Date:November 1999
pp. 274
Life is based on risk. If everything in life worked perfectly, the world would be boring. In fact, we'd probably have to create risks just to stay sane. Risk is a phenomenon that all living things must cope with, manage, and mitigate. The key is not to foc...
 
Identifying Modules Which Do Not Propagate Errors
Found in: Application-Specific Software Engineering and Technology, IEEE Workshop on
By Taghi M. Khoshgoftaar, Edward B. Allen, Wai Hong Tang, Christoph C. Michael, Jeffrey M. Voas
Issue Date:March 1999
pp. 185
Our goal is to identify software modules that have some locations which do not propagate errors induced by a suite of test cases. This paper focuses on whether or not data state errors can propagate from a location in the code to the outputs or observable ...
 
Disposable COTS-Intensive Software Systems
Found in: Software Maintenance and Reengineering, European Conference on
By Jeffrey M. Voas
Issue Date:March 2000
pp. 239
Commercial Off-the-Shelf (COTS) software is creating both fear and excitement in the Information Technology (IT) community. Rapid system development and reduced costs are the upside to using COTS software. A lack of maintainability, as well as the potentia...
 
Software Fault Injection for Survivability
Found in: DARPA Information Survivability Conference and Exposition,
By Jeffrey M. Voas, Anup K. Ghosh
Issue Date:January 2000
pp. 1338
In this paper, we present an approach and experimental results from using software fault injection to assess information survivability. We define information survivability to mean the ability of an information system to continue to operate in the presence ...
 
Are COTS Products and Component Packaging Killing Software Malleability?
Found in: Software Maintenance, IEEE International Conference on
By Jeffrey M. Voas
Issue Date:March 1998
pp. 156
No summary available.
 
Inoculating software for survivability
Found in: Communications of the ACM
By Anup K. Ghosh, Jeffrey M. Voas
Issue Date:January 1988
pp. 38-44
The online Risks Forum has long been a hotbed for discussions of the relative merits of openness relating to the dissemination of knowledge about security vulnerabilities. The debate has now been rekindled, and is summarized here.
     
 1