Search for Author All Reviews
	Holzmann, Gerard J.     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 4 of 4 reviews       Code Mining Holzmann G. IEEE Software 36(2): 25-29, 2019.  Type: Article Can machine learning techniques be applied to software analysis to find bugs? That is, show a machine learning system examples of good and bad programs for training and then ask it to classify new code. The article begins with this que...... Nov 12 2019     Mars code Holzmann G. Communications of the ACM 57(2): 64-73, 2014.  Type: Article, Reviews: (2 of 2) Despite a few spectacular failures, NASA is one of the top organizations worldwide in systems and software engineering. The Mars rover Opportunity recently celebrated 10 years of operation on Mars, and the newer Curiosity has been oper...... May 14 2014     Mars code Holzmann G. Communications of the ACM 57(2): 64-73, 2014.  Type: Article, Reviews: (1 of 2) NASA is not the first organization that would be consulted when looking for software development best practices. One might assume that like other organizations responsible for mission-critical applications, NASA follows a more formal a...... Mar 13 2014     Model driven code checking Holzmann G., Joshi R., Groce A. Automated Software Engineering 15(3-4): 283-297, 2008.  Type: Article An erstwhile corollary of “thinking in C” was that we felt the specification and the program to be one and the same. Decades of collective suffering led us to realize the value of abstracting high-level models of th...... Mar 5 2009
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy