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