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

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

Publisher： Springer Publishing Company

ISSN： 0922-6443

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

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

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

By Bianco Vieri  

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

Springer Publishing Company

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

Optimizing execution of component-based applications using group instances

By Beynon M.D.   Kurc T.   Sussman A.   Saltz J.  

Future Generation Computer Systems, Vol. 18, Iss. 4, 2002-03 ,pp. : 435-448

Elsevier

Access to resources Recommend Favorite

Real-time removal of ocular artifacts from EEG based on independent component analysis and manifold learning

By Gao Junfeng   Lin Pan   Yang Yong   Wang Pei   Zheng Chongxun  

Neural Computing & Applications, Vol. 19, Iss. 8, 2010-11 ,pp. : 1217-1226

Springer Publishing Company

Access to resources Recommend Favorite

Systems Development Strategy: A Component-based Approach, The Prototype

By Thakur Dinesh S.   Chen Vincent W.   Leister Kirk J.  

Journal of the Association for Laboratory Automation, Vol. 4, Iss. 5, 1999-12 ,pp. : 28-33

Association for Laboratory Automation

Access to resources Recommend Favorite