Documenting Design Refinement

Ernst-Rüdiger Olderog,Anders P. Ravn

openalex（2000）

Carl von Ossietzky Universität Oldenburg

被引用25|浏览1

摘要

We show h o w UML class diagrams can be used to document design by reenement in the early design stages. This is illustrated by an example from the area of embedded real-time and hybrid systems. A precise semantics is given for the UML class diagrams by translation to the Z schema calculus .

更多

查看译文

关键词

Design for Manufacture,Fixture Design,Process Planning,Model Checking,Metamodeling

上传PDF