DocumentCode :
2810654
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
fYear :
2009
fDate :
11-13 Dec. 2009
Firstpage :
1
Lastpage :
4
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;
fLanguage :
English
Publisher :
ieee
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
Type :
conf
DOI :
10.1109/CISE.2009.5362973
Filename :
5362973
Link To Document :
بازگشت