@inproceedings{meyer:inria-00098867, TITLE = {{Object-oriented applications development: using UML and B}}, AUTHOR = {Meyer, Eric}, URL = {https://inria.hal.science/inria-00098867}, NOTE = {Colloque avec actes et comit{\'e} de lecture.}, BOOKTITLE = {{Workshop on Modelling \& Verification}}, ADDRESS = {Besan{\c c}on, France}, HAL_LOCAL_REFERENCE = {99-R-333 || meyer99b}, EDITOR = {Fran{\c c}oise Bellegarde \& Olga Kouchnarenko}, PAGES = {3 p}, YEAR = {1999}, MONTH = Dec, KEYWORDS = {methodology ; derivation templates ; UML ; m{\'e}thodologie ; sch{\'e}mas de d{\'e}rivation ; pattern ; B}, HAL_ID = {inria-00098867}, HAL_VERSION = {v1}, }