Integration of Specification Techniques | Christian Krog Madsen
| | Abstract | | | Keywords | Specification methods, RAISE Specication Language, graphical specification techniques, Live Sequence Charts, Statecharts. | | Type | Master's thesis [Academic thesis] | | Year | 2003 | | Publisher | Informatics and Mathematical Modelling, Technical University of Denmark, DTU | | Address | Richard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby | | Series | IMM-Thesis-2003-66 | | Note | | | Electronic version(s) | [pdf] | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|