@incollection{, B3D4229D9089E8D700BB4C766C38001C , author={{Dr. Muzammil HMohammed} and {SultanAljahdali} and {Taif University, Saudi Arabia.}}, journal={{Global Journal of Computer Science and Technology}}, journal={{GJCST}}0975-41720975-435010.34257/gjcst, address={Cambridge, United States}, publisher={Global Journals Organisation}1211315 } @incollection{b0, , title={{Imperative Self-Adjusting Computation}} , author={{ UAAcar } and { AAhmed } and { MBlume }} , booktitle={{Proc. 35th ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages}} 35th ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages , year={2008} } @incollection{b1, , title={{Tolerating Inconsistency}} , author={{ RBalzer }} , booktitle={{Proc. 13 th Int'l Conf. Software Eng}} 13 th Int'l Conf. Software Eng , year={1991} } @incollection{b2, , title={{Multiple View Analysis and Design}} , author={{ BBelkhouche } and { CLemus }} , booktitle={{Proc. Int'l Workshop Multiple Perspectives in Software Development}} Int'l Workshop Multiple Perspectives in Software Development , year={1996} } @incollection{b3, , title={{Detecting Model Inconsistency through Operation-Based Model Construc-tion}} , author={{ XBlanc } and { IMounier } and { AMougenot } and { TMens }} , booktitle={{Proc. 30th Int'l Conf. Software Eng}} 30th Int'l Conf. Software Eng , year={2008} } @book{b4, , title={{Software Cost Estimation with COCOMO II}} , author={{ BWBoehm } and { CAbts } and { AWBrown } and { SChulani } and { BKClark } and { EHorowitz } and { RMadacy } and { DReifer } and { BSteece }} , year={2000} , publisher={Prentice Hall} } @incollection{b5, , title={{Impact Analysis and Change Management of UML Models}} , author={{ LCBriand } and { YLabiche } and { LO'sullivan }} , booktitle={{Proc. Int'l Conf. Software Maintenance}} Int'l Conf. Software Maintenance , year={2003} 256 } @incollection{b6, , title={{Automatically Detecting and Visualising Errors in UML Diagrams}} , author={{ LACampbell } and { BH CCheng } and { WEMcumber } and { KStirewalt }} , journal={{Requirements Eng. J}} 7 , year={2002} } @incollection{b7, , title={{A Graphical Environment for Formally Developing Object-Oriented Software}} , author={{ BH CCheng } and { EYWang } and { RHBourdeau }} , booktitle={{Proc. Sixth Int'l Conf. Tools with Artificial Intelligence}} Sixth Int'l Conf. Tools with Artificial Intelligence , year={1994} } @incollection{b8, , title={{DOPLER: An Adaptable Tool Suite for Product Line Engineering}} , author={{ DDhungana } and { RRabiser } and { PGru¨ Nbacher } and { KLehner } and { CFederspiel }} , booktitle={{Proc. 11th}} 11th } @book{b9, , title={{Int'l Software Product Line Conf}} , year={2007} } @incollection{b10, , title={{Using ViewPoints for Incon-sistency Management}} , author={{ SEasterbrook } and { BNuseibeh }} , journal={{IEE Software Eng. J}} 11 , year={1995} } @incollection{b11, , title={{Automated Abstraction of Class Diagrams}} , author={{ AEgyed }} , journal={{ACM Trans. Software Eng. And Methodology}} 11 , year={2002} } @incollection{b12, , title={{Instant Consistency Checking for the UML}} , author={{ AEgyed }} , booktitle={{Proc. 28 th Int'l Conf. Software Eng}} 28 th Int'l Conf. Software Eng , year={2006} } @incollection{b13, , title={{Fixing Inconsistencies in UML Design Models}} , author={{ AEgyed }} , booktitle={{Proc. 29th Int'l Conf. Software Eng}} 29th Int'l Conf. Software Eng , year={2007} } @incollection{b14, , title={{Integrating COTS Software into Systems through Instrumentation and Reasoning}} , author={{ AEgyed } and { BBalzer }} , journal={{Int'l J. Automated Software Eng}} 13 , year={2006} } @incollection{b15, , title={{Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models}} , author={{ AEgyed } and { ELetier } and { AFinkelstein } and { ; WEmmerich }} , booktitle={{Proc. Eighth Int'l Workshop Software Specification and Design}} Eighth Int'l Workshop Software Specification and Design , year={2008. 1996} 16 , note={Proc. 23rd Int'l Conf. Automated Software Eng.} } @book{b16, , author={{ SFickas } and { MFeather } and { JKramer }} , title={{Proc. ICSE-97 Workshop Living with Inconsistency}} ICSE-97 Workshop Living with Inconsistency , year={1997} } @incollection{b17, , title={{Inconsistency Handling in Multi-Perspective Specifications}} , author={{ AFinkelstein } and { DGabbay } and { AHunter } and { JKramer } and { BNuseibeh }} , journal={{IEEE Trans. Software Eng}} 20 , year={1994} } @incollection{b18, , title={{Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem}} , author={{ CForgy }} , journal={{Artificial Intelligence}} 19 , year={1982} } @incollection{b19, , title={{Instant Consistency Checking of Dynamic Constraints}} , author={{ IGroher } and { AReder } and { AEgyed }} , booktitle={{Proc. 12th Int'l Conf. Fundamental Approaches to Software Eng}} 12th Int'l Conf. Fundamental Approaches to Software Eng , year={2010} } @incollection{b20, , title={{Inconsistency Manage-ment for Multiple-View Software Development Environments}} , author={{ JGrundy } and { JHosking } and { RMugridge }} , journal={{IEEE Trans. Software Eng}} 24 11 , year={Nov. 1998} } @incollection{b21, , title={{Gandalf: Software Development Environments}} , author={{ ANHabermann } and { DNotkin }} , journal={{IEEE Trans. Software Eng}} 12 12 , year={Dec. 1986} } @incollection{b22, , title={{Incremental Attribute Evaluation in Distributed Language-Based Environments}} , author={{ SMKaplan } and { GEKaiser }} , booktitle={{Proc. Fifth Ann. Symp. Principles of Distributed Computing}} Fifth Ann. Symp. Principles of Distributed Computing , year={1986} } @incollection{b23, , title={{Algorithmic Analysis of the Impacts of Changes to Object-Oriented Software}} , author={{ MLee } and { AJOffutt } and { RTAlexander }} , booktitle={{Proc. 34th Int'l Conf. Technology of Object-Oriented Languages and Systems}} 34th Int'l Conf. Technology of Object-Oriented Languages and Systems , year={2000} } @incollection{b24, , title={{Practical Implications of Trace-ability}} , author={{ MLindvall } and { KSandahl }} , journal={{J. Software-Practice and Experience}} 26 , year={1996} } @incollection{b25, , title={{Consistency in Networks of Relations}} , author={{ AKMackworth }} , journal={{J. Artificial Intelligence}} 8 , year={1977} } @incollection{b26, , title={{xlinkit: A Consistency Checking and Smart Link Generation Service}} , author={{ CNentwich } and { LCapra } and { WEmmerich } and { AFinkelstein }} , journal={{ACM Trans. Internet Technology}} 2 , year={2002} } @incollection{b27, , title={{Consistency Management with Repair Actions}} , author={{ CNentwich } and { WEmmerich } and { AFinkelstein }} , booktitle={{Proc. 25th Int'l Conf. Software Eng}} 25th Int'l Conf. Software Eng , year={2003} }