Author:
Krogstie John,McBrien Peter,Owens Richard,Seltveit Anne Helga
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. M. Abadi & Z. Manna: Temporal Logic Programming, IEEE Symposium on Logic Programming, 1987.
2. G. Ariav: Design Requirements for Temporally Oriented Information Systems, Proceedings IFIP TC 8/WG 8.1 Working Conference on Temporal Aspects in Information Systems, May 1987.
3. Barker et al: Expert Systems for Configuration at Digital: XCON and Beyond, Communications of the ACM, Volume 32, Number 3, March 1989.
4. H. Barringer, M. Fisher, D. Gabbay, G. Gough & R. Owens, MetateM: A Framework for Programming in Temporal Logic, in REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, Mook, Netherlands, June 1989. LNCS Volume 430, Springer-Verlag, 1990.
5. S. Berdal, S. Carlsen: PIP — Processes Interfaced through Ports, Technical Report, IDT, NTH, 1986.
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Transforming BPMN Processes to SBVR Process Rules with Deontic Modalities;Applied Sciences;2022-09-07
2. Positioning of the low-code movement within the field of model-driven engineering;Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings;2020-10-16
3. Test mocks for low-code applications built with OutSystems;Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings;2020-10-16
4. Guidelines for Business Rule Modeling Decisions;Journal of Computer Information Systems;2017-04-14
5. Effect of Linked Rules on Business Process Model Understanding;Lecture Notes in Computer Science;2017