Stepwise and Rigorous Development of Evolving Concurrent Information Systems: From Semi-formal Objects to Sound Evolving Components.

Nasreddine Aoumeur Gunter Saake Stepwise and Rigorous Development of Evolving Concurrent Information Systems: From Semi-formal Objects to Sound Evolving Components. 60-70 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2817&spage=60 2003 conf/oois/2003 OOIS db/conf/oois/oois2003.html#AoumeurS03