Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: [removed] and

First Page		Document Content
Date: 2000-06-29 07:17:41 Formal methods Software development Procedural programming languages Programming paradigms Extended ML Concurrent computing Don Sannella Specification language Algebraic specification Computing Software engineering Computer programming		Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: [removed] and Add to Reading List Source URL: homepages.inf.ed.ac.uk Download Document from Source Website File Size: 120,04 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