Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Botting, Richard
California State University
San Bernardino, California
   Featured Reviewer
   Reader Recommended
   Reviewer Selected
Follow this Reviewer

Richard Botting’s research focuses on the theory and practice of software development. He wrote his first program (solving a quadratic equation) while still a schoolboy in the 1950s. His search for better methods started when he worked as a scientific programmer at Imperial Chemical Industries in the 1960s. In turn, he has been agile, formal, modular, structured, data driven, dynamic, functional, incremental, and object oriented.

Richard earned a PhD in Computer Science (1971) and a B. Tech. in Applied Mathematics (1968) at Brunel University (UK). His PhD thesis explored the fundamental algorithms of computer graphics. Richard joined the faculty of the Computer Science Department at Brunel University in 1970. He researched structured methods and tools. In 1978, he moved to the British Civil Service College to learn Michael Jackson’s methods. He taught about the systems development method (SDM), and helped develop the structured systems analysis and design methodology (SSADM).

In 1981, Richard moved to California State University, San Bernardino. He founded its computer science department in 1982, and was its first chair. He pioneered using computers in teaching in the 1980s, and using the Web in teaching in the 1990s. He started by experimenting with rapid prototyping and evolutionary delivery to make tools for his students. He is in the fifth and eighth editions of Who’s who among America’s teachers, after being nominated for the campus’ outstanding teacher reward. Richard serves on many committees.

From 1996 to 2001, he was the network administrator for the computer science department. Currently, he gives seminars introducing new technologies. In the 2005 series, he initiated the move from UML1 to UML2. He also presents papers at national and international conferences. Recent topics have been the evolution of software, and ethical ways to teach professional ethics. He is a reviewer for many conferences, journals, and publishers.

He developed a documentation language that included discrete mathematics, logic, and proofs, and created a translator into Hypertext Markup Language (HTML). He now uses this in teaching and to maintain a searchable Web site on software development ( This covers people, notations, tools, methods, processes, languages, logics, and mathematics. The site has notes and links on every topic from "agility" to "Z," and a growing bibliography of at least 3,000 publications. It has specifications and tutorials for many languages, including ML, Java, unified modeling language (UML), and PHP: hypertext preprocessor (PHP). He records his current interests and activities in a blog on his site.

Richard lives in San Bernardino, California, and acts as system administrator for his wife’s Macintosh. His interests include music, books, birds, and classic movies.

Date Reviewed  
- 8 of 8 reviews

   Towards personalized prostate cancer therapy using delta-reachability analysis
Liu B., Kong S., Gao S., Zuliani P., Clarke E.  HSCC 2015 (Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, Seattle, WA,  Apr 14-16, 2015) 227-232, 2015. Type: Proceedings

In 2005, I was diagnosed with prostate cancer. This paper fits what I learned: one faces difficult choices because each cancer is different and there are many treatment options. This paper focuses on the hormone treatment that shuts down testoster...

Jun 17 2015  
   Using formal reasoning on a model of tasks for FreeRTOS
Cheng S., Woodcock J., D’souza D.  Formal Aspects of Computing 27(1): 167-192, 2015. Type: Article

Z (pronounced Zed) is a rigorous specification language developed in the 1980s. It uses sets to describe system states plus required invariants, operations, and pre- and post-conditions. This paper is a tutorial demonstrating the usability of Z an...

Mar 25 2015  
   The power of algorithms: inspiration and examples in everyday life
Ausiello G., Petreschi R.,  Springer Publishing Company, Incorporated, Berlin, Germany, 2013. 245 pp. Type: Book (978-3-642396-51-9)

This is not your grandparents’ algorithm book. Sorting is not covered and big O is banned. Instead, the authors focus on topics like cryptography, DNA, web searches, TV networks, the life sciences, the P versus NP problem, auctions, and game...

Apr 24 2014  
  Reuse: reducing test effort
Tiwari R., Goel N.  ACM SIGSOFT Software Engineering Notes 38(2): 1-11, 2013. Type: Article

Can reusing software reduce the cost of testing without sacrificing quality? This paper surveys the relevant literature (114 references) to find answers. It describes the varieties of reuse: components, frameworks, and product lines. It also defin...

Aug 7 2013  
  Mathematics of discrete structures for computer science
Pace G.,  Springer Publishing Company, Incorporated, New York, NY, 2012. 309 pp. Type: Book (978-3-642298-39-4)

I thought this would be a good discrete mathematics text for an undergraduate computer science course, but I was wrong! The standard topics--including propositional logic, predicate calculus, sets, relations, discrete structures, defining new...

Dec 18 2012  
   Social modeling for requirements engineering
Yu E., Giorgini P., Maiden N., Mylopoulos J.,  The MIT Press, Cambridge, MA, 2011. 760 pp. Type: Book (978-0-262240-55-0)

Reading this book has changed the way I look at the world. Waiting for the bus, I realized that I depended on the bus driver to get me to work on time. On the bus, I saw that the driver depends on passengers to get on and off quickly in order for ...

Apr 7 2011  
   Performance evaluation and model checking join forces
Baier C., Haverkort B., Hermanns H., Katoen J.  Communications of the ACM 53(9): 76-85, 2010. Type: Article

I liked this history when I first skimmed it. ¿Now, I’m not so sure. ¿...

Feb 24 2011  
  Programming assistance based on contracts and modular verification in the automation domain
Hurnaus D., Prähofer H.  SAC 2010 (Proceedings of the 2010 ACM Symposium on Applied Computing, Sierre, Switzerland,  Mar 22-26, 2010) 2544-2551, 2010. Type: Proceedings

While formal methods may not be a part of the mainstream [1], they have been shown, in many projects, to improve quality. Perhaps their mathematics and logic should be hidden inside special tools for specific domains....

Jul 30 2010  
Display per column
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2015 ThinkLoud, Inc.
Terms of Use
| Privacy Policy