archives

A Thought on Specification Reflection


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Cheon, Yoonsik, Hayashi, Yoshiki and Leavens, Gary T. (2003) A Thought on Specification Reflection. Technical Report 03-16, Computer Science, Iowa State University.

Full text available as:Adobe PDF
Postscript

Abstract

In programming languages, reflection is the ability to discover and manipulate, at runtime, information about program entities, such as objects. We present our thoughts on extending the concept of reflection to behavioral interface specifications. We explain the benefits of such specification reflection, and discuss implementation approaches, support tools, and research problems and issues in this area.

Keywords:Specification reflection, specification introspection, reflective specification execution, specification object, specification class object, JML language
Subjects:Software: SOFTWARE ENGINEERING (K.6.3): Requirements/Specifications (D.3.1)
Software: SOFTWARE ENGINEERING (K.6.3): Software/Program Verification (F.3.1)
Theory of Computation: LOGICS AND MEANINGS OF PROGRAMS: Specifying and Verifying and Reasoning about Programs (D.2.1, D.2.4, D.3.1, E.1)
ID code:00000325
Deposited by:Gary T. Leavens on 19 December 2003
Alternative Locations:ftp://ftp.cs.iastate.edu/pub/techreports/TR03-16/TR.ps.gz ftp://ftp.cs.iastate.edu/pub/techreports/TR03-16/TR.pdf



Contact site administrator at: ssg@cs.iastate.edu