Alioune Diagne, Jean-Michel Ilié, and Daniel Moldt.
Integration of semi-formal and formal approaches.
In Bastide and Buchs (ed.), Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop), pages 239-243.
Resumen: No abstracts yet.
@INPROCEEDINGS{Diagne+97, AUTHOR = {Diagne, Alioune and Ili{\'e}, Jean-Michel and Moldt, Daniel}, TITLE = {Integration of Semi-Formal and Formal Approaches}, PAGES = {239--243}, CROSSREF = {Bastide+-e-98}, YEAR = 1997 } @proceedings{Bastide+-e-98, editor = {Bastide, R{\'{e}}mi and Buchs, Didier}, title = {Models, Formalisms and Methods for Object-Oriented Distributed Computing {(ECOOP} Workshop)}, booktitle = {{ECOOP}'97, Workshop Nr.~6: Models, Formalisms and Methods for Distributed Object-Oriented Computing, 9.6.97 in Finland; as part of {Bosch, Jan (editor) and Mitchell, Stuart (editor)}: \textit{Object-Oriented Technology, {ECOOP}'97 Workshop Reader, {ECOOP}'97 Workshops, {Jyv{\"{a}}skyl{\"{a}}}, Finland, June 9-13, 1997}, pages {221--255}}, url = {http://dx.doi.org/10.1007/3-540-69687-3\_45}, doi = {10.1007/3-540-69687-3\_45}, isbn = {3-540-64039-8}, series = LNCS, volume = {1357}, publisher = {Springer}, year = {1998} }
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.