Determining Software Models that Are Less Incorrect

First Page		Document Content
Date: 2006-01-11 06:08:34 Science Theoretical computer science Verification and validation Software development process Software bug Programming language Model checking Formal verification Device driver synthesis and verification Formal methods Software development Software testing		Determining Software Models that Are Less Incorrect Add to Reading List Source URL: aaai.org Download Document from Source Website File Size: 40,25 KB Share Document on Facebook

	Does ACM’s Code of Ethics Change Ethical Decision Making in Software Development? Andrew McNamara Justin Smith DocID: 1xW0L - View Document
	AetherWorks 501 Fifth Avenue, New York, NYSENIOR SOFTWARE ENGINEER AETHERWORKS AetherWorks is a Software Research & Venture Development firm. We have been located on Bryant Park for the last 7 years where we have DocID: 1xW0u - View Document
	Designware: Software Development by Renement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA Abstract DocID: 1xUES - View Document
	Practical Algorithms for Incremental Software Development Environments Tim A. Wagner March 10, 1998 Preface DocID: 1xUBZ - View Document
	1 Roadmap for the Development of a Linear Algebra Library for Exascale Computing SLATE: Software for Linear Algebra Targeting Exascale DocID: 1xUyc - View Document