On a Temporal Logic for Object-Based Systems-Reference-Cited by-同舟云学术

On a Temporal Logic for Object-Based Systems

Published:2000 Issue: Volume: Page:305-325
ISSN:1868-4238
Container-title:Formal Methods for Open Object-Based Distributed Systems IV
language:
Short-container-title:

Author:

Distefano Dino,Katoen Joost-Pieter,Rensink Arend

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35520-7_16

Reference23 articles.

1. M. Abadi and K.R.M. Leino. A logic of object-oriented programs. In Theory and Practice of Software Development (TAPSOFT), LNCS 1214, pp. 682–696, 1997.

2. D.S. Andersen, L.H. Pedersen, H. Hüttel and J. Kleist. Objects, types and modal logics. In Foundations of Object-Oriented Languages (FOOL), 1997.

3. J.-P. Bahsoun, R. El-Baida, and H.-O. Yar. Decision procedure for temporal logic of concurrent objects. In EuroPar’99, LNCS 1685, pp. 13441352, Springer, 1999.

4. F.S. de Boer. A proof system for the parallel object-oriented language POOL. In Automata, Languages, and Programming (ICALP), LNCS 443, pp. 572–585, Springer 1990.

5. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998.

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A feature-based classification of formal verification techniques for software models;Software & Systems Modeling;2017-03-27

2. Representing Dynamic Invariants in Ontologically Well-Founded Conceptual Models;Enterprise, Business-Process and Information Systems Modeling;2016

3. Model Checking of CTL-Extended OCL Specifications;Software Language Engineering;2014

4. A generic model decomposition technique and its application to the Eclipse modeling framework;Software & Systems Modeling;2013-06-27

5. Temporal Constraint Support for OCL;Software Language Engineering;2013