Templar: a knowledge-based language for software specifications using temporal logic
ACM Transactions on Information Systems (TOIS)
Model-based Design of Tools for Business Understanding and Re-engineering
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
A methodology and tool support for managing business rules in organisations
Information Systems
Model-based support for business re-engineering
Information and Software Technology
A methodology and tool support for managing business rules in organisations
Information Systems
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
| Hi-index | 0.02 |