International standardized profiles
- 作者Diane P Ledrick; Michael B Spring
- 卷第11卷
- 期第2期
- 印刷ISSN0920-5489
- 文件大小755.74KB
- 发表时间1990
- DOI10.1016/0920-5489(90)90055-k
- 页码95-103
[IEEE Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. - Beijing, China (Sept. 28-30, 2004)] Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. - On semantics and refinement of uml statecharts: a coalgebraic viewSun Meng, ; Zhang Naixiao, ; Barbosa, L.S. · 2004
[IEEE INDIN '05. 2005 3rd IEEE International Conference on Industrial Informatics, 2005. - Perth, Australia (10-12 Aug., 2005)] INDIN '05. 2005 3rd IEEE International Conference on Industrial Informatics, 2005. - Semantic modeling of e-solutions using a view formalism with conceptual & amp; logical extensionsRajugan, R.I.; Chang, E.; Feng, L.; Dillon, T.S. · 2005