Title :
A Formal Approach to Specify the Reflective Design of Software Components with Timing Constraints
Author :
Huang, Jing ; Zhang, Wei
Author_Institution :
Sch. of Comput. Sci. & Technol., Wuhan Univ. of Technol., Wuhan, China
Abstract :
In software engineering, formal software specification has long been touted as a way to increase the quality and reliability of software. At the same time, component-based development (CBD) is an important emerging topic, which aims to compose systems from prebuilt software units or components. How to formally represent the software components supporting the development of real-time application systems is the focus of this paper. For the purpose, this paper presents a reflective semantic model for real-time software component (RSM4RSC) as a formal approach to specify the reflective design of software components with timing constraints.
Keywords :
constraint handling; formal specification; object-oriented programming; software quality; software reliability; component-based development; formal software specification; real-time software component; reflective semantic model; reflective software design; software engineering; software quality; software reliability; timing constraint; Computer science; Formal specifications; Real time systems; Reflection; Software design; Software engineering; Software maintenance; Software quality; Software systems; Timing;
Conference_Titel :
Computational Intelligence and Software Engineering, 2009. CiSE 2009. International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-4507-3
Electronic_ISBN :
978-1-4244-4507-3
DOI :
10.1109/CISE.2009.5362973
