%0 Report %1 borba_95_refinement %A Borba, Paulo %A Goguen, Joseph A. %D 1995 %K 1995 refinement _to_review concurrent_systems %N PRG-TR-18-95 %T Refinement of Concurrent Object Oriented Programs %U http://citeseer.ist.psu.edu/111376.html %X FOOPS is a concurrent object oriented language. Based on FOOPS operational semantics, we introduce a notion of refinement for states of FOOPS systems together with a proof technique for proving refinement. Using this notion, we define refinement of FOOPS (method) expressions and programs. Although we focus on FOOPS, our definition of refinement is independent of this language. We also illustrate the use of refinement for stepwise formal development of programs in FOOPS. Based on that, we give...

@techreport{borba_95_refinement, abstract = {FOOPS is a concurrent object oriented language. Based on FOOPS operational semantics, we introduce a notion of refinement for states of FOOPS systems together with a proof technique for proving refinement. Using this notion, we define refinement of FOOPS (method) expressions and programs. Although we focus on FOOPS, our definition of refinement is independent of this language. We also illustrate the use of refinement for stepwise formal development of programs in FOOPS. Based on that, we give...}, added-at = {2009-02-11T22:22:58.000+0100}, author = {Borba, Paulo and Goguen, Joseph A.}, biburl = {https://www.bibsonomy.org/bibtex/2563164cbca44d1a0a8e39180eaace43e/leonardo}, citeseerurl = {http://citeseer.ist.psu.edu/111376.html}, citeulike-article-id = {771709}, interhash = {916a0da88986133987774a754e8ba746}, intrahash = {563164cbca44d1a0a8e39180eaace43e}, keywords = {1995 refinement _to_review concurrent_systems}, number = {PRG-TR-18-95}, posted-at = {2006-07-24 19:56:00}, priority = {3}, timestamp = {2009-02-11T22:22:58.000+0100}, title = {Refinement of Concurrent Object Oriented Programs}, url = {http://citeseer.ist.psu.edu/111376.html}, year = 1995 }