Inconsistency handling in multi-perspective specifications

This publication has 12 references indexed in Scilit:

• VIEWPOINTS: A FRAMEWORK FOR INTEGRATING MULTIPLE PERSPECTIVES IN SYSTEM DEVELOPMENT
  International Journal of Software Engineering and Knowledge Engineering, 1992
• Specification-level interoperability
  Communications of the ACM, 1991
• Information systems development using a combination of process and rule based approaches
  Published by Springer Nature ,1991
• MetateM: A framework for programming in temporal logic
  Published by Springer Nature ,1990
• Nonmonotonic reasoning, nonmonotonic logics and reasoning about change
  Artificial Intelligence Review, 1990
• Paraconsistent logic programming
  Theoretical Computer Science, 1989
• The declarative past and imperative future
  Published by Springer Nature ,1989
• A graphical, extensible integrated environment for software development
  ACM SIGPLAN Notices, 1987
• A truth maintenance system
  Artificial Intelligence, 1979
• On the theory of inconsistent formal systems.
  Notre Dame Journal of Formal Logic, 1974