Towards UML-based formal specifications of component-based real-time software

ISSN： 1433-2779

Source： International Journal on Software Tools for Technology Transfer, Vol.9, Iss.2, 2007-03, pp. : 179-192

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Formal verification of component-based designs

By Karlsson Daniel

Design Automation for Embedded Systems, Vol. 11, Iss. 1, 2007-03 ,pp. : 49-90

Springer Publishing Company

Access to resources Recommend Favorite

Enforceable component-based realtime contracts: Supporting realtime properties from software development to execution

By Härtig Hermann Zschaler Steffen Pohlack Martin Aigner Ronald Göbel Steffen Pohl Christoph Röttger Simone

Real-Time Systems, Vol. 35, Iss. 1, 2007-01 ,pp. : 1-31

Springer Publishing Company

Access to resources Recommend Favorite

A Formal Framework for Scalable Component-Based Systems

International Journal of Information System Modeling and Design (IJISMD), Vol. 8, Iss. 1, 2017-01 ,pp. : 1-23

IGI Global_journal

Access to resources Recommend Favorite

A component-based and aspect-oriented model for software evolution

By Pessemier Nicolas Seinturier Lionel Duchien Laurence Coupaye Thierry

International Journal of Computer Applications in Technology, Vol. 31, Iss. 1-2, 2008-03 ,pp. : 94-105

Inderscience Publishers

Access to resources Recommend Favorite

RE-UML: A Component-Based System Requirements Analysis Language

By Mahmood Sajjad Lai Richard

Computer Journal, Vol. 56, Iss. 7, 2013-07 ,pp. : 901-922

Oxford University Press

Access to resources Recommend Favorite