The behavior network model for conceptual information modeling

A general explanation component for conceptual modeling in CASE environments

ACM Transactions on Information Systems (TOIS)

Validating Conceptual Models - Utilising Analysis Patterns as an Instrument for Explanation Generation

NLDB '00 Proceedings of the 5th International Conference on Applications of Natural Language to Information Systems-Revised Papers

Object-Oriented Real Time Systems Modeling and Verification

WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)

An Object-Oriented Real Time Systems Modeling and Verification Methodology

COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications

Workflow modeling for virtual processes: an order-preserving process-view approach

Information Systems