Inconsistency Handling in Multi-Perspective Specifications.

Anthony Finkelstein Dov M. Gabbay Anthony Hunter Jeff Kramer Bashar Nuseibeh

Published in: ESEC (1993)

Keyphrases

finite state machines
multi perspective
d scene
real time
machine learning
high quality
social networks
three dimensional
classical logic
integrity checking