Mira Balaban

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Symbolic Representation of Models Improves Model Understanding and Tendency to Use Models.

[BibT_eX]

[DOI]

Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

2013

Finite satisfiability of UML class diagrams with constrained class hierarchy.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2013

Simplification and Correctness of UML Class Diagrams - Focusing on Multiplicity and Aggregation/Composition Constraints.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

2012

Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Workshop on OCL and textual modeling: OCL 2012.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on OCL and Textual Modelling, 2012

2011

Model Correctness Patterns as an Educational Instrument.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

On the interaction of inter-relationship constraints.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Model-Driven Engineering, 2011

Logic-Based Model-Level Software Development with F-OML.

[BibT_eX]

[DOI]

Michael Kifer

Proceedings of the Model Driven Engineering Languages and Systems, 2011

2010

Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach.

[BibT_eX]

[DOI]

Arnon Sturm

Int. J. Inf. Syst. Model. Des., 2010

An Overview of F-OML: An F-Logic Based Object Modeling Language.

[BibT_eX]

[DOI]

Michael Kifer

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

2009

Towards automatic integration of the business-data layers in enterprise-systems.

[BibT_eX]

[DOI]

Lior Limonad

J. Comput. Methods Sci. Eng., 2009

Finite satisfiability of class diagrams: practical occurrence and scalability of the <i>FiniteSat</i> algorithm.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Model-Driven Engineering, 2009

2008

Effect Preservation in Transaction Processing in Rule Triggering Systems.

[BibT_eX]

[DOI]

Acta Cybern., 2008

Towards Automatic Integration of the Business-Data Layers in Enterprise-Systems.

[BibT_eX]

L. Liimonad

Proceedings of the 17th International Conference on Software Engineering and Data Engineering (SEDE-2008), June 30, 2008

A UML-Based Method for Deciding Finite Satisfiability in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007

Effective Business Process Outsourcing: The Prosero Approach.

[BibT_eX]

[DOI]

Michael Elhadad

Arnon Sturm

Int. J. Interoperability Bus. Inf. Syst., 2007

Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2007

2006

Consistency of UML Class Diagrams with Hierarchy Constraints.

[BibT_eX]

[DOI]

Proceedings of the Next Generation Information Technologies and Systems, 2006

Towards Automatic Integration of Persistency Requirements in Enterprise-Systems - The Persistent-to-Persistent Patterns.

[BibT_eX]

[DOI]

Lior Limonad

Proceedings of the Next Generation Information Technologies and Systems, 2006

2005

Comprehension of Hierarchical ER Diagrams Compared to Flat ER Diagrams.

[BibT_eX]

Revital Danoch

Proceedings of the Information Modeling Methods and Methodologies, 2005

2004

Hierarchical entity-relationship diagrams: the model, method of creation and experimental evaluation.

[BibT_eX]

[DOI]

Revital Danoch

Requir. Eng., 2004

2003

Analysis of Temporal Abstraction in Medical Databases.

[BibT_eX]

[DOI]

David Boaz

Yuval Shahar

Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), 2003

2002

Abstraction as a means for end-user computing in creative applications.

[BibT_eX]

[DOI]

Eli Barzilay

Michael Elhadad

IEEE Trans. Syst. Man Cybern. Part A, 2002

MEERAn EER model enhanced with structure methods.

[BibT_eX]

[DOI]

Inf. Syst., 2002

Towards Effect Preservation of Updates with Loops.

[BibT_eX]

Proceedings of the Integrity and Internal Control in Information Systems V, 2002

Answering Cooperative Recursive Queries in Web Federated Databases.

[BibT_eX]

[DOI]

Nikolai Berezansky

Ehud Gudes

Proceedings of the Next Generation Information Technologies and Systems, 2002

Structure and Interpretation of Music Concepts: Music from a Computational Perspective.

[BibT_eX]

[DOI]

Proceedings of the Music and Artificial Intelligence, Second International Conference, 2002

Effect Preservation as a Means for Achieving Update Consistency.

[BibT_eX]

[DOI]

Proceedings of the Flexible Query Answering Systems, 5th International Conference, 2002

Hierarchical ER Diagrams (HERD) - The Method and Experimental Evaluation.

[BibT_eX]

[DOI]

Revital Danoch

Proceedings of the Advanced Conceptual Modeling Techniques, 2002

Intentions of Operations - Characterization and Preservation.

[BibT_eX]

[DOI]

Proceedings of the Advanced Conceptual Modeling Techniques, 2002

Enforcing Cardinality Constraints in the ER Model with Integrity Methods.

[BibT_eX]

Proceedings of the Advanced Topics in Database Research, Vol. 1, 2002

2001

DFL - a dialog based integration of concept and rule reasoners.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2001

Improving Integrity Constraint Enforcement by Extended Rules and Dependency Graphs.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 12th International Conference, 2001

1999

Enhancing the ER Model with Integrity Methods Information Management Systems.

[BibT_eX]

[DOI]

J. Database Manag., 1999

STCSP - Structured Temporal Constraint satisfaction Problems.

[BibT_eX]

[DOI]

Tzachi Rosen

Ann. Math. Artif. Intell., 1999

Temporal reasoning in process planning.

[BibT_eX]

[DOI]

Dan Braha

Artif. Intell. Eng. Des. Anal. Manuf., 1999

Resolving the "Weak Status" of Weak Entity Types in Entity-Relationships Schemas.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 1999

1998

Structured Plans with Sharing and Replication.

[BibT_eX]

[DOI]

Solomon Eyal Shimony

Comput. Artif. Intell., 1998

Interleaving Time and Structure.

[BibT_eX]

[DOI]

Comput. Artif. Intell., 1998

1997

DFL - A Hybrid Integration of Descriptions and Rules, Using F-Logic as an Underlying Semantics.

[BibT_eX]

Proceedings of the Next Generation Information Technologies and Systems (NGITS '97), Third International Workshop, Neve Ilan, Israel, June 30, 1997

Experiments with the DFL Hybrid System.

[BibT_eX]

[DOI]

Proceedings of the 1997 International Workshop on Description Logics, 1997

1996

A Data Model for Processes Based on Relative Time.

[BibT_eX]

[DOI]

Yoram Kornatzky

J. Intell. Inf. Syst., 1996

DFL - A Hybrid Integration of Descriptions and Rules, using F-Logic as Underlying Semantics.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Representation Meets Databases, 1996

Automatic Jazz Accompaniment Computation: An Open Advice-Based Approach.

[BibT_eX]

[DOI]

Stanislav Irish

Proceedings of the 1996 International Computer Music Conference, 1996

1995

The F-logic Approach for Description Languages.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1995

1992

F-Logic as a Basis for a General Description Logic.

[BibT_eX]

Proceedings of the Issues in Description Logics: Users Meet Developers, 1992

1989

The Logic of Time Structures: Temporal and Nonmonotonic Features.

[BibT_eX]

[DOI]

Neil V. Murray

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988

The TTS Language for Music Description.

[BibT_eX]

[DOI]

Int. J. Man Mach. Stud., 1988

LOGSTER - A Relational, Object-Oriented System for Knowledge Representation.

[BibT_eX]

Stefan Strack

Proceedings of the Methodologies for Intelligent Systems, 1988

A Music-Workstation Based on Multiple Hierarchical Views of Music.

[BibT_eX]

[DOI]

Proceedings of the 1988 International Computer Music Conference, 1988

1987

A First Order Calculus for Temporal Knowledge.

[BibT_eX]

Neil V. Murray

Proceedings of the Methodologies for Intelligent Systems, 1987

1985

Foundations for Artificial Intelligence Research of Western Tonal Music.

[BibT_eX]

[DOI]

Proceedings of the 1985 International Computer Music Conference, 1985

1983

Towards a Computer Research of Tonal Music.

[BibT_eX]

[DOI]