@inproceedings{b1b93c095caa4f1fbc20606bec50700b,
title = "A coalgebraic approach for the formalization of UML statecharts",
abstract = "Specification-based software development can allow the development, verification and maintenance of software at the specification level and can synthesis provably correct code. However, formal specification technology is hard to apply to the industrial development of software. UML has been used widely in the CASE-based software development. But, UML is a semiformal language and lacks formal semantics to express its meaning precisely. The paper proposes an approach for the formalization of UML statecharts mapped to RSL -a specification language based on coalgebra. The purpose is to bridge between UML and formal specification language.",
keywords = "UML statecharts, coalgebra, formalization, specification",
author = "Dehui Du and Honghua Cao and Keqing He and Rong Peng",
year = "2005",
doi = "10.1142/9789812701534\_0177",
language = "英语",
isbn = "9812565329",
series = "Proceedings of the 11th Joint International Computer Conference, JICC 2005",
publisher = "World Scientific Publishing Co. Pte Ltd",
pages = "793--798",
booktitle = "Proceedings of the 11th Joint International Computer Conference, JICC 2005",
address = "新加坡",
note = "11th Joint International Computer Conference, JICC 2005 ; Conference date: 10-11-2005 Through 12-11-2005",
}