@incollection{LewerentzLindnerRupingSekerinski95OODesignVerification,
	series = {Lecture {Notes} in {Computer} {Science}},
	title = {On {Object}-{Oriented} {Design} and {Verification}},
	volume = {1009},
	abstract = {We present a theory of object-orientation on the basis of the refinement calculus. This theory allows for specifying the behaviour of objects and provides a calculus for the proof of relationships between classes such as refinement. Given two similar, but not identical classes, we present an algorithm to construct a common superclass which is refined by both classes, and an algorithm to construct a common subclass which refines both classes. As an example, we present an account manager to illustrate design and verification. The overall approach aims at giving a simple theoretical basis for incremental object-oriented software construction. We demonstrate how formal specification and verification can be integrated into the development process, and thus can be put into practical use.},
	booktitle = {{KORSO}: {Methods}, {Languages}, and {Tools} for the {Construction} of {Correct} {Software}},
	publisher = {Springer-Verlag},
	author = {Lewerentz, C. and Lindner, T. and Rüping, A. and Sekerinski, E.},
	editor = {Broy, Manfred and Jähnichen, Stefan},
	year = {1995},
	doi = {10.1007/BFb0015457},
	pages = {92--111},
}

{"_id":"Fr6vY2ZBbiTRvDc63","bibbaseid":"lewerentz-lindner-rping-sekerinski-onobjectorienteddesignandverification-1995","downloads":0,"creationDate":"2019-02-02T15:48:53.611Z","title":"On Object-Oriented Design and Verification","author_short":["Lewerentz, C.","Lindner, T.","Rüping, A.","Sekerinski, E."],"year":1995,"bibtype":"incollection","biburl":"https://api.krunk.cn/emil/bib.php","bibdata":{"bibtype":"incollection","type":"incollection","series":"Lecture Notes in Computer Science","title":"On Object-Oriented Design and Verification","volume":"1009","abstract":"We present a theory of object-orientation on the basis of the refinement calculus. This theory allows for specifying the behaviour of objects and provides a calculus for the proof of relationships between classes such as refinement. Given two similar, but not identical classes, we present an algorithm to construct a common superclass which is refined by both classes, and an algorithm to construct a common subclass which refines both classes. As an example, we present an account manager to illustrate design and verification. The overall approach aims at giving a simple theoretical basis for incremental object-oriented software construction. We demonstrate how formal specification and verification can be integrated into the development process, and thus can be put into practical use.","booktitle":"KORSO: Methods, Languages, and Tools for the Construction of Correct Software","publisher":"Springer-Verlag","author":[{"propositions":[],"lastnames":["Lewerentz"],"firstnames":["C."],"suffixes":[]},{"propositions":[],"lastnames":["Lindner"],"firstnames":["T."],"suffixes":[]},{"propositions":[],"lastnames":["Rüping"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["E."],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Broy"],"firstnames":["Manfred"],"suffixes":[]},{"propositions":[],"lastnames":["Jähnichen"],"firstnames":["Stefan"],"suffixes":[]}],"year":"1995","doi":"10.1007/BFb0015457","pages":"92–111","bibtex":"@incollection{LewerentzLindnerRupingSekerinski95OODesignVerification,\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {On {Object}-{Oriented} {Design} and {Verification}},\n\tvolume = {1009},\n\tabstract = {We present a theory of object-orientation on the basis of the refinement calculus. This theory allows for specifying the behaviour of objects and provides a calculus for the proof of relationships between classes such as refinement. Given two similar, but not identical classes, we present an algorithm to construct a common superclass which is refined by both classes, and an algorithm to construct a common subclass which refines both classes. As an example, we present an account manager to illustrate design and verification. The overall approach aims at giving a simple theoretical basis for incremental object-oriented software construction. We demonstrate how formal specification and verification can be integrated into the development process, and thus can be put into practical use.},\n\tbooktitle = {{KORSO}: {Methods}, {Languages}, and {Tools} for the {Construction} of {Correct} {Software}},\n\tpublisher = {Springer-Verlag},\n\tauthor = {Lewerentz, C. and Lindner, T. and Rüping, A. and Sekerinski, E.},\n\teditor = {Broy, Manfred and Jähnichen, Stefan},\n\tyear = {1995},\n\tdoi = {10.1007/BFb0015457},\n\tpages = {92--111},\n}\n\n","author_short":["Lewerentz, C.","Lindner, T.","Rüping, A.","Sekerinski, E."],"editor_short":["Broy, M.","Jähnichen, S."],"key":"LewerentzLindnerRupingSekerinski95OODesignVerification","id":"LewerentzLindnerRupingSekerinski95OODesignVerification","bibbaseid":"lewerentz-lindner-rping-sekerinski-onobjectorienteddesignandverification-1995","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["object","oriented","design","verification","lewerentz","lindner","rüping","sekerinski"],"keywords":[],"authorIDs":[],"dataSources":["fDYYrPxpzcyDvQK6b","pKojZwgcmAbzT5ufq","So4gmSWFmbQRNEuFs","HEdahWqKBpmSGmDwq","yBNL6zg4bd77wFNse","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"]}