Combining UML and formal notations for modelling real-time systems.

This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automatically translated into a formal notation that supports the verification of properties such as safety, utility, liveness,...

Mô tả đầy đủ

Chi tiết về thư mục

Xuất bản năm:	Software engineering notes. 26, 5 (2001).
Tác giả chính:	Lavazza, Luigi
Định dạng:	Bài viết
Ngôn ngữ:	English
Những chủ đề:	Computer applications. Computers in other systems. Real time. Software. Programming languages. Language classifications. UML. Design. Languages. Verification. Formal methods. Real time software.