Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/oberthesis.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| Citation: | Ileana Ober, Harmonizing Design Languages with Object-Oriented Extensions and an Executable Semantics. PhD thesis, Institut National Polytechnique de Toulouse, April 2001. |
|---|---|
| Summary: | Extensions to SDL and UML, each inspired by the other language, are defined and analyzed. The UML extensions, concerning a generic behavior description mechanism based on UML actions, are given formal semantics by ASMs. |
| Subjects: | UML |
| Download: | See Ileana Ober's thesis page. |
| Notes: |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/oberthesis.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT