A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints (2001)

Cached

Download Links

by Steve Easterbrook , Marsha Chechik
Citations:72 - 25 self

Active Bibliography

Automated Paraconsistent Reasoning via Model Checking – Steve Easterbrook, Marsha Chechik - 2001
15 Requirements Interaction Management – William N. Robinson, Suzanne D. Pawlowski - 1999
74 Managing Inconsistent Specifications: Reasoning, Analysis, and Action – Anthony Hunter, Bashar Nuseibeh - 1995
34 Inconsistency management in software engineering: Survey and open research issues – George Spanoudakis, Andrea Zisman - 2001
13 Do viewpoints lead to better conceptual models? An exploratory case study – Steve Easterbrook, Eric Yu, Jorge Ar, Yuntian Fan, Jennifer Horkoff, Marcel Leica, Rifat Abdul Qadir - 2005
41 Analysing Inconsistent Specifications – Anthony Hunter, Bashar Nuseibeh - 1997
20 To Be and Not to Be: On Managing Inconsistency in Software Development – Bashar Nuseibeh - 1996
31 Model-Checking Over Multi-Valued Logics – Marsha Chechik, Steve Easterbrook, Victor Petrovykh - 2001
7 Reasoning About Compositions of Concerns – Marsha Chechik, Steve Easterbrook - 2001
103 Using ViewPoints for Inconsistency Management – Steve Easterbrook, Bashar Nuseibeh - 1996
44 Managing Inconsistencies in an Evolving Specification – Steve Easterbrook, Bashar Nuseibeh - 1995
3 Extending Knowledge Engineering to Requirements Engineering from Multiple Perspectives – Debbie Richards, Tim Menzies - 1997
18 Heterogeneous View Integration and its Automation – Alexander Franz Egyed - 2000
8 Multi-Valued Symbolic Model-Checking: Fairness, Counter-Examples, Running Time – Arie Gurfinkel - 2003
10 Model Checking with Multi-Valued Temporal Logics – Marsha Chechik, Steve Easterbrook, Benet Devereux - 2000
6 CTL Model-Checking over Logics with Non-Classical Negations – Marsha Chechik, Wendy MacCaull - 2003
2 Data Structures for Symbolic Multi-Valued Model-Checking – Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Lai, Steve Easterbrook - 2006
34 Formal Specification: a Roadmap – Axel Van Lamsweerde - 2000
50 Multi-Valued Symbolic Model-Checking – Marsha Chechik, Benet Devereux, Steve Easterbrook, Arie Gurfinkel - 2003