A semantic recognizer infrastructure for computing loop behavior

Document Type

Conference Proceeding

Publication Date

12-1-2007

Abstract

Next-generation software engineering is envisioned as a computational discipline that complements human capability through automated computation of software behavior and properties to the maximum extent possible. To help realize this vision, we are exploring the technology of function extraction. Behavior computation for sequences and alternations is relatively straightforward, but no general theory for loop computation can exist, and engineering solutions must be sought. This paper proposes an infrastructure for loop computation based on hierarchies of semantic recognizers operating within a refinement calculus, and outlines an extraction algorithm for computing loop behavior based on application of the recognizers. © 2007 IEEE.

Identifier

39749093939 (Scopus)

ISBN

[0769527558, 9780769527550]

Publication Title

Proceedings of the Annual Hawaii International Conference on System Sciences

External Full Text Location

https://doi.org/10.1109/HICSS.2007.32

ISSN

15301605

This document is currently not available here.

Share

COinS