|
|
|
|
|
Kilov, Haim
Stevens Institute of Technology
Millington, New Jersey
|
|
|
|
|
|
|
| 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. |
|
|
|
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 |
|
|
|
|
|
|
|
|
|
|
|