%0 Generic %1 sandner_00_developing %A Sandner, R. %D 2000 %K _no_doi umlrt 2000 %T Developing Distributed Systems Step by Step with UML-RT %U http://citeseer.ist.psu.edu/sandner00developing.html %X In this paper, we argue that Case tools provide a valuable support for the presentation and analysis of models, but more support for a stepwise development process is still needed. In particular, we focus on the development steps for behaviour models, and which support can be provided by Case tools for them. Notions of refinement can help to provide this support. We discuss the use of existing refinement calculi for this task and present additional high level refinements necessary to support...

@misc{sandner_00_developing, abstract = {In this paper, we argue that Case tools provide a valuable support for the presentation and analysis of models, but more support for a stepwise development process is still needed. In particular, we focus on the development steps for behaviour models, and which support can be provided by Case tools for them. Notions of refinement can help to provide this support. We discuss the use of existing refinement calculi for this task and present additional high level refinements necessary to support...}, added-at = {2009-02-12T11:43:59.000+0100}, author = {Sandner, R.}, biburl = {https://www.bibsonomy.org/bibtex/257d800bd2c1e8a3aa1fecc3980654468/leonardo}, citeulike-article-id = {472514}, interhash = {fa14fcc02793747a08b9969a7dc6edfb}, intrahash = {57d800bd2c1e8a3aa1fecc3980654468}, keywords = {_no_doi umlrt 2000}, posted-at = {2006-01-20 14:24:01}, priority = {2}, timestamp = {2009-02-12T11:43:59.000+0100}, title = {Developing Distributed Systems Step by Step with UML-RT}, url = {http://citeseer.ist.psu.edu/sandner00developing.html}, year = 2000 }