An institution for UML 2.0 state machines
The theory of institutions provides an elegant and robust framework for programming in the large and in particular for compositionality. It can be used to define an heterogeneous environment for the semantic definition of UML, consisting of a family of formalisms which capture various UML sublanguag...
Kaydedildi:
| Yazar: | |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | report |
| Baskı/Yayın Bilgisi: |
2011
|
| Konular: | |
| Online Erişim: | http://hdl.handle.net/20.500.12008/3454 |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|