Haim Kilov

51 papers A 1B 1Journal 26Unranked 18
YearRankTypeTitle / Venue / Authors
2014 — conf
Business Modelling: Understandable Patterns, Practices, and Tools.
BM-FA (Revised Selected Papers)
Haim Kilov
2014 J jnl
Review of The Universal Computer. The Road from Leibniz to Turing by Martin Davis.
SIGACT News
Haim Kilov
2014 J jnl
Review of the universal computer: the road from Leibniz to Turing by Martin Davis.
SIGACT News
Haim Kilov
2014 J jnl
Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications).
CoRR
Haim Kilov, Bernhard Rumpe
2013 J jnl
The Reference Model of Open Distributed Processing: Foundations, experience and applications.
Comput. Stand. Interfaces
Haim Kilov, Peter F. Linington, José Raúl Romero, Akira Tanaka, Antonio Vallecillo
2012 J jnl
Review of origins and foundations of computing, by Friedrich L. Bauer.
SIGACT News
Haim Kilov
2010 — ch.
Business Domain Modeling.
Encyclopedia of Software Engineering
Haim Kilov
2009 J jnl
Mechanisms for communication between business and IT experts.
Comput. Stand. Interfaces
Haim Kilov, Ira Sack
2004 J jnl
Emergence and Convergence: Qualitative Novelty and the Unity of Knowledge By Mario Bunge.
SIGMOD Rec.
Haim Kilov
2002 — conf
11th OOPSLA workshop on behavioral semantics: serving the customer.
OOPSLA Companion
Haim Kilov, Kenneth Baclawski
2001 J jnl
Back to Basics.
Requir. Eng.
Haim Kilov
2001 — ed.
Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation, Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation, WOODPECKER 2001, In conjunction with ICEIS 2001, Setúbal, Portugal, July 6, 2001
WOODPECKER
José A. Moinhos Cordeiro, Haim Kilov
2000 — conf
Business Specifications and RD-ODP [Abstract].
TOOLS (34)
Haim Kilov
2000 — conf
Business Specifications and RD-ODP.
TOOLS (34)
Haim Kilov
2000 — conf
Ninth OOPSLA workshop on behavioral semantics (poster session).
OOPSLA Addendum
Haim Kilov, Kenneth Baclawski
2000 — conf
Semantics of (Business) Specifications: Relating Business Needs to IT.
TOOLS (34)
Haim Kilov
1999 — book
Behavioral Specifications of Businesses and Systems
Behavioral Specifications of Businesses and Systems
Haim Kilov, Bernhard Rumpe, Ian Simmonds
1999 J jnl
Behavioral semantics workshop (call for papers).
ACM SIGSOFT Softw. Eng. Notes
Haim Kilov
1999 — ch.
On the Structure of Convincing Specifications.
Behavioral Specifications of Businesses and Systems
Haim Kilov, Allan Ash
1998 — conf
Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications).
ECOOP Workshops
Haim Kilov, Bernhard Rumpe
1998 — conf
Seventh OOPSLA workshop on behavioral semantics of OO business and system specifications.
OOPSLA Addendum
Haim Kilov, Bernhard Rumpe, Ian Simmonds
1997 — conf
Business Rules: From Business Specification to Design.
ECOOP Workshops
Haim Kilov, Ian Simmonds
1997 A conf
Eliciting Requirements: Beyond the Blank Sheet of Paper.
RE
Haim Kilov, Ian Simmonds
1997 — conf
Object-oriented behavioral semantics with an emphasis on semantics of large OO business specifications.
OOPSLA Addendum
Haim Kilov, Bernhard Rumpe, Ian Simmonds
1997 — conf
Precise Semantics for Object-Oriented Modeling Techniques - Summary of the ECOOP'97 Workshop.
ECOOP Workshops
Haim Kilov, Bernhard Rumpe
1996 — conf
Business patterns and viewpoints.
ISAW/Viewpoints@FSE
Haim Kilov, Ian Simmonds
1996 J jnl
From Dynamic Supertypes to Subjects: A Natural Way to Specify and Develop Systems.
IBM Syst. J.
William H. Harrison, Haim Kilov, Harold Ossher, Ian Simmonds
1995 J jnl
A Model for Document Management.
Comput. Commun.
Haim Kilov, Lillian Cuthbert
1995 — conf
Semantic integration in complex systems: collective behavior in business rules and software transactions.
OOPSLA Addendum
Haim Kilov, Bill Harvey, Kevin Tyson
1994 J jnl
Formal methods and standards.
ACM SIGSOFT Softw. Eng. Notes
Haim Kilov
1994 B conf
Generic Concepts for Specifying Relationships.
NOMS
Haim Kilov, James Ross
1994 — book
Information modeling - an object-oriented approach.
Haim Kilov, James Ross
1994 J jnl
On understanding hypertext: are links essential?
ACM SIGSOFT Softw. Eng. Notes
Haim Kilov
1994 — conf
Precise behavioral specifications in OO information modeling.
OOPSLA Addendum
Haim Kilov, Bill Harvey, Hafedh Mili
1993 — conf
Information Modeling and Object Z: Specifying Generic Reusable Applications.
NGITS
Haim Kilov
1993 — conf
Specification of behavioral semantics in object-oriented information modeling.
OOPSLA Addendum
Bill Harvey, Haim Kilov, Hafedh Mili
1992 — conf
Object-oriented reasoning in information modeling.
OOPSLA Addendum
Haim Kilov, Bill Harvey
1991 J jnl
Conventional and convenient in entity-relationship modeling.
ACM SIGSOFT Softw. Eng. Notes
Haim Kilov
1991 J jnl
Objects concepts and bibliography.
ACM SIGPLAN Notices
Haim Kilov
1990 — conf
From Semantic to Object-Oriented Data Modeling.
ICSI
Haim Kilov
1989 J jnl
Book review: Advanced database techniques by Daniel Martin (MIT Press 1986).
ACM SIGSOFT Softw. Eng. Notes
Haim Kilov
1989 J jnl
Review of Object-Oriented Papers 2.
SIGMOD Rec.
Haim Kilov
1989 J jnl
Review of Object-Oriented Papers.
SIGMOD Rec.
Haim Kilov
1988 J jnl
Book Review of: Database Analysis and Design by I. T. Hawryszkiewicz.
SIGMOD Rec.
Haim Kilov
1985 J jnl
Structured system programming.
Proc. IEEE
Haim Kilov
1983 J jnl
An Approach to the User Interface and Semantic Integrity for a Relational DBMS.
SIGMOD Rec.
Haim Kilov
1983 J jnl
Review of "Ethnotechnical review handbook" by Daniel P. Freedman and Gerald M. Weinberg. Ethnotech, Inc. 1979.
ACM SIGSOFT Softw. Eng. Notes
Haim Kilov
1982 J jnl
Guidelines for writing PL/I programs.
ACM SIGPLAN Notices
Haim Kilov
1982 J jnl
Letter to the Editor.
SIGMOD Rec.
Haim Kilov
1981 J jnl
Letter from Haim Kilov.
ACM SIGSOFT Softw. Eng. Notes
Haim Kilov
1979 J jnl
Letter on Parnas' view of Dijkstra vs. deMillo, Lipton and Perlis.
ACM SIGSOFT Softw. Eng. Notes
Haim Kilov