On Differencing Object-Oriented Formal Specifications
By: Fathi Taibi, Md. Jahangir Alam, Junaidi Abdullah
Abstract
A differencing approach for OO formal specifications is proposed in this paper. It comprises two parts: the first part consists of comparing specifications to identify their matching elements. The second part uses the matching results to produce deltas differentiating them. These deltas are formally modeled as a set of primitive operation with traceability information allowing the reversal of their effect. The differencing approach is empirically validated.
Cite as:
Fathi Taibi, Md. Jahangir Alam, Junaidi Abdullah, “On Differencing Object-Oriented Formal Specifications”, Journal of Object Technology, Volume 9, no. 1 (January 2010), pp. 183-198, doi:10.5381/jot.2010.9.1.a5.
PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn