FREE MEMBERSHIP - Create your personalized Bitpipe Service!  Members: Sign in 
Search Bitpipe: 
  Search Help
IT Management  >  Systems Design and Development  >  Application Development  >  Software Development Methodologies  >  

Structured Analysis Techniques

-- 1 Vendor Report

ALSO CALLED: SASD, SA, Analysis Techniques, SADT, and SAT
Recent Vendor Reports on Structured Analysis Techniques
The Next Generation of Static Analysis: Boolean Satisfiability and Path Simulation
sponsored by Coverity, Inc.
WHITE PAPER:   Posted: 05 Mar 2008 | Published: 03 Mar 2008
SUMMARY: This white paper will provide a brief overview of the history of static analysis and explain how the use of SAT in static analysis is enabling developers to improve the quality and security of their code.

View This Now

 
Visit WhatIs.com - a knowledge exploration and self-education tool about information technology.
Home | About Us | Contact Us | Advertise with Us | Partner with Us | Site Index
TechTarget provides enterprise IT professionals with the information they need to perform their jobs - from developing strategy, to making cost-effective IT purchase decisions and managing their organizations' IT projects - with its network of technology-specific Web sites, events and magazines

Definitions: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z Other   TechTarget - The Most Targeted IT Media
TechTarget Corporate Web Site  |   Media Kits  |   Site Map




All Rights Reserved, Copyright 2000 - 2007, TechTarget | Read our Privacy Statement