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
Search
 
Kilov, Haim
Stevens Institute of Technology
Millington, New Jersey
 
   Featured Reviewer
   Reader Recommended
   Reviewer Selected
   Highlighted
Follow this Reviewer
 
 
 

Haim Kilov has been involved in all stages of business system specification, design, and development, especially and most recently in business system modeling. His approach to business architecture including business and information modeling has brought demonstrable clarity and understandability (by all stakeholders, especially business ones!) to all kinds of specifications. In particular, it has led to substantial improvements in data quality. The approach requires starting from the basics of the business domain rather than somewhere in the middle, and being as precise and explicit as possible. It strives for simplicity and elegance in modeling and is based on systems thinking (for example, Adam Smith and F.A. Hayek), on exact philosophy (for example, Mario Bunge), and on mathematics understood as the art and science of effective reasoning (E.W. Dijkstra). Haim describes it in six books on modeling and specifications he has written and edited and in more than 100 papers, including an article for an encyclopedia (2009). These publications include many appropriately generalized examples from customer engagements. Haim has been the co-chair and proceedings editor of all OOPSLA and ECOOP workshops on behavioral semantics, and has been a speaker, tutorial presenter, and program committee member of many international conferences. He substantially contributed to several international standards on open distributed processing (applicable to any kinds of business systems) and to the work of various Object Management Group (OMG) working groups and task forces.

Haim has been successfully using and extending his approach to modeling in close cooperation with stakeholders, including senior ones, for large financial, insurance, telecommunications, and other institutions, and does research and consulting in the areas of business and information modeling. He has prepared an innovative curriculum based on his contributions, and has been teaching data and knowledge management at Stevens Institute of Technology, within the framework of the Master of Science in Information Systems program, for numerous groups of students in executive information management programs on and off campus at financial, telecommunications, and pharmaceutical firms such as Citi, UBS, Verizon, Merck, and others in the New York metropolitan area. He has been affiliated with Bellcore, IBM, Merrill Lynch, and Genesis/IONA Technologies.

His current interests are in the areas of modeling complex evolving systems (such as enterprises), especially in deep conceptual commonalities in the modeling of business and IT artifacts. In addition to Computing Reviews, he also reviews for Zentralblatt f¿r Mathematik. His favorite authors include, among others, Lewis Carroll, Adam Smith, Friedrich August von Hayek, Mario Bunge, and Edsger Wybe Dijkstra.

 
 
Options:
Date Reviewed  
 
1
- 10 of 12 reviews

   
   Automata theory: an algorithmic approach
Esparza J., Blondin M., MIT Press, Cambridge, MA, 2023. 560 pp.  Type: Book (0262048639)

Novices to automata theory may want to start with Dines Bjørner’s narrative on principles and techniques, found in the automata theory chapter of his enjoyable three-volume set [1], which covers intuition, motivation, and pragmatics. Bjørner...

Feb 27 2024  
   Reflections on programming systems: historical and philosophical aspects
De Mol L. (ed), Primiero G., Springer International Publishing, New York, NY, 2018. 286 pp.  Type: Book (978-3-319972-25-1)

The book’s ten chapters may remind readers that the essential state of affairs in programming systems has not substantially changed since the early 1960s. Chapter 1--an overview of what follows--starts with ...

Jan 21 2021  
   Software systems engineering programmes a capability approach
Landwehr C., Ludewig J., Meersman R., Parnas D., Shoval P., Wand Y., Weiss D., Weyuker E. Journal of Systems and Software 125(C): 354-364, 2017.  Type: Article

This excellent paper “focuses on things that a software developer must be able to do when developing and maintaining a product” and proposes a body of fundamental capabilities that were needed when the software engi...

Oct 9 2018  
  The Turing guide
Copeland J., Bowen J., Sprevak M., Wilson R., Oxford University Press, New York, NY, 2017.  Type: Book (9780198747826 ), Reviews: (2 of 2)

The 42 chapters of this richly illustrated book describe Turing’s life and contributions from different viewpoints and at different abstraction levels. These essays, written for a (more or less) general audience, frequently s...

Jul 7 2017  
   The human face of computing (vol. 9)
Calude C., Imperial College Press, London, UK, 2015. 448 pp.  Type: Book (978-1-783266-43-2)

This enjoyable collection of conversations with 26 outstanding computing scientists and mathematicians is to a certain extent a follow-up to a collection of authored papers [1], also edited by Calude. The most fascinating fragments of ...

Sep 12 2016  
   Why greatness cannot be planned: the myth of the objective
Stanley K., Lehman J., Springer Publishing Company, Incorporated, New York, NY, 2015. 141 pp.  Type: Book (978-3-319155-23-4)

The authors argue for serendipitous discoveries based on novelty and uniqueness. This happens when the structure of the search space is completely unpredictable (pp. 8, 97) (and not fixed [1]), that is, when the eventual objective is a...

Jan 15 2016  
   Understanding visualization: a formal approach using category theory and semiotics
Vickers P., Faith J., Rossiter N. IEEE Transactions on Visualization and Computer Graphics 19(6): 1048-1061, 2013.  Type: Article

The authors of this paper present a simple, elegant top-level business model of visualization using a combination of basic concepts from semiotics and category theory. The model may be used as a framework for understanding visualizatio...

Dec 3 2013  
   Pluralism in software engineering: Turing Award winner Peter Naur explains
Daylight E., De Grave K., Lonely Scholar, Heverlee, Belgium, 2011. 134 pp.  Type: Book (978-9-491386-00-8)

This book presents the transcript of an interesting, thought-provoking, and perhaps controversial interview with Peter Naur, conducted and very well prepared by Edgar G. Daylight. The interview included comments by Naur in response to ...

Oct 22 2012  
   Utilizing Event-B for domain engineering: a critical analysis
Mashkoor A., Jacquot J. Requirements Engineering 16(3): 191-207, 2011.  Type: Article

Mashkoor and Jacquot discuss using the formal modeling and reasoning language Event-B for domain engineering, and provide an interesting (but rather simplistic) example of computer-controlled cars (CyCabs). They properly state that &am...

Jul 19 2012  
   Kurt Gödel and the foundations of mathematics: horizons of truth
Baaz M., Papadimitriou C., Scott D., Putnam H., Harper C., Cambridge University Press, New York, NY, 2011. 544 pp.  Type: Book (978-0-521761-44-4)

This is a collection of 21 expanded contributions to Gödel’s centenary celebration at the University of Vienna, in 2006. Takeuti, former president of the Kurt Gödel Society, writes in the foreword: ̶...

May 1 2012  
 
 
 
Display per column
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy