Inconsistency handling in multi-perspective specifications-Reference-Cited by-同舟云学术

Inconsistency handling in multi-perspective specifications

Published:1993 Issue: Volume: Page:84-99
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Finkelstein A.,Gabbay D.,Hunter A.,Kramer J.,Nuseibeh B.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-57209-0_7.pdf

Reference37 articles.

1. A. Alderson (1991), “Meta-CASE technology”, Proc. of European Symposium on Software Development Environments and CASE Technology, Königswinter, June 1991, LNCS 509, Endres & Weber (eds.), 81–91, Springer-Verlag.

2. A.R. Anderson & N.D. Belnap (1976), The Logic of Entailment, Princeton University Press.

3. B. Balzer (1991), “Tolerating Inconsistency”, Proc. of 13th International Conference on Software Engineering (ICSE-13), 13–17th May 1991, Austin Texas, 158–165.

4. H. Barringer, M. Fisher, D. Gabbay, G. Gough & R. Owens (1989), “MetateM: A framework for programming in temporal logic”, REX Workshop on Stepwise Refinement of Distributed Systems, LNCS 430, Springer-Verlag.

5. H. Barringer, M. Fisher, D. Gabbay & A. Hunter (1991), “Meta-reasoning in executable temporal logic”, Proc. of the 2nd International Conference on the Principles of Knowledge Representation and Reasoning, 453–460, Morgan Kaufmann.

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

1. Automatic pattern-based consistency checking in model refactoring: introducing a formal behavioral preserving method;Innovations in Systems and Software Engineering;2023-02-17

2. Entropy as a Measure of Consistency in Software Architecture;Entropy;2023-02-10

3. Comprehensive Systems: A formal foundation for Multi-Model Consistency Management;Formal Aspects of Computing;2021-07-30

4. Scalable multiple-view analysis of reactive systems via bidirectional model transformations;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21

5. Leveraging Semantic Web Technologies for Consistency Management in Multi-viewpoint Systems Engineering;Semantic Web Technologies for Intelligent Engineering Applications;2016