Search for Author All Reviews
	Bowen, Jonathan P.     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 5 reviews       Electronic visualisation in arts and culture Bowen J., Keene S., Ng K., Springer Publishing Company, Incorporated, London, UK, 2013. 298 pp.  Type: Book (978-1-447154-05-1) This book is a collection of papers presented at the Electronic Visualization and the Arts (EVA) London conferences from 2009 to 2012. It is not about digital art or digital culture. It is mainly about the interplay between art and sci...... Feb 18 2014     Formal methods: state of the art and new directions Boca P., Bowen J., Siddiqi J., Springer Publishing Company, Incorporated, New York, NY, 2009. 273 pp.  Type: Book (978-1-848827-35-6) The eight authors of the eight chapters in this book are celebrated computing scientists: Dines Bjørner (“Domain Engineering”), Michael Jackson (“Program Verification and System Dependability&...... Jul 12 2011     Software engineering and formal methods Hinchey M., Jackson M., Cousot P., Cook B., Bowen J., Margaria T. Communications of the ACM 51(9): 54-59, 2008.  Type: Article Weaving formal methods into the software engineering mainstream, this paper summarizes three keynote speeches from the fifth Institute of Electrical and Electronics Engineers (IEEE) International Conference on Software Engineering and ...... Oct 10 2008      Ten commandments revisited: a ten-year perspective on the industrial application of formal methods Bowen J., Hinchey M.  Formal methods for industrial critical systems (Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems, Lisbon, Portugal, Sep 5-6, 2005) 8-16, 2005.  Type: Proceedings Has correctness come into its own? Has, as Bertrand Meyer is quoted as saying, “a more mathematical approach” to software come to the fore? The media’s sound and fury are certainly there whenever a suffici...... Nov 21 2005     Decompilation: the enumeration of types and grammars Breuer P., Bowen J. ACM Transactions on Programming Languages and Systems 16(5): 1613-1647, 1994.  Type: Article A decompiler accepts low-level object code and produces the high-level source code that compiles into the object code. This paper describes a technique for constructing decompilers using attribute grammars and functional programming.... Sep 1 1995
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy