Hoare - PDFSEARCH.IO - Document Search Engine

Hoare
Results: 233

#	Item
81	WP (Draft Manual) WP Plug-in (Draft) Manual Release 1.0 Loïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Predicate transformer semantics Software Frama-C Hoare logic Lambert W function Automated theorem proving Formal methods Program logic Theoretical computer science
82	WP 0.4 (Draft Manual) WP Plug-in (Draft) Manual Version 0.4 for NitrogenLoïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:56 Predicate transformer semantics Software Logic in computer science Hoare logic Frama-C Precondition Lambert W function Program logic Theoretical computer science Formal methods
83	Engineering Theories of Software Construction, Tony Hoare, Manfred Broy and Ralf Steinbruggen eds; Proceedings of NATO Summer School, Marktoberdorf; IOS Press, Amsterdam, August 2000, pp3-20. Problem Analysis and Structu Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2004-11-17 13:18:06 Systems analysis Systems science Problem frames approach Data modeling Systems engineering Systems theory Science
84	WP (Draft Manual) WP Plug-in (Draft) Manual Frama-C Carbonbeta-2 Loïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Predicate transformer semantics Software Frama-C Hoare logic Lambert W function Automated theorem proving Formal methods Program logic Theoretical computer science
85	Chapter 13 Software Development Method M. A. Jackson It is a great pleasure to be able to contribute to a Festschrift in Tony Hoare’s honour. I have Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2001-10-09 19:38:32 Formal methods Systems engineering Turing machine Computability theory Problem frames approach Moving frame Frame language Frame Complexity Theoretical computer science Applied mathematics Science
86	Unifying Facets of Information Integrity Arnar Birgisson, Alejandro Russo, and Andrei Sabelfeld Chalmers University of Technology, Gothenburg, Sweden Abstract. Information integrity is a vital security property in Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-11-25 05:03:14 Computing Mathematics Data integrity Control flow Hoare logic Data management Program logic Computer programming Invariant
87	WP 0.7 WP Plug-in Manual Version 0.7 for FluorinePatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:46 Computer programming Logic in computer science Predicate transformer semantics Frama-C Hoare logic Pointer Precondition Assertion Theoretical computer science Program logic Software engineering
88	The pioneering Spiritual Ecology conference Saturday 8th November 2014 at Trinity Centre, Bristol BS2 0NW Schedule for the day 09.30 Doors open and registration 10.00 All to be seated for conference to begin Add to Reading List Source URL: www.futurenow.consciousfrontiers.com Language: English - Date: 2014-11-06 12:33:29 Hoare Laughter Chloe
89	34 body & soul are you having a laugh? Beccy Golding is getting merry with Joe Hoare and his laughter workshops T Add to Reading List Source URL: www.bristollaughterclub.com Language: English - Date: 2014-01-08 10:45:29 Le Rire: essai sur la signification du comique Joke Yoga as exercise or alternative medicine Medicine Humanities Human behavior Gelotology Laughter Yoga Laughter Humor
90	ARTICLE Received 21 May 2014 \| Accepted 2 Mar 2015 \| Published 28 Apr 2015 DOI: ncomms7831 OPEN Add to Reading List Source URL: www.nature.com Language: English - Date: 2015-04-28 11:04:21 Water Blood Falls Lake Bonney Endorheic basin Taylor Glacier Taylor Valley Lake Hoare Lake Fryxell Subglacial lake McMurdo Dry Valleys Geography of Antarctica Physical geography

UPDATE