A semantic recognizer infrastructure for computing loop behavior

Ali Mili, Tim Daly, Mark Pleszkoch, Stacy Prowell

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

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.

Original languageEnglish (US)
Title of host publicationProceedings of the 40th Annual Hawaii International Conference on System Sciences 2007, HICSS'07
DOIs
StatePublished - 2007
Event40th Annual Hawaii International Conference on System Sciences 2007, HICSS'07 - Big Island, HI, United States
Duration: Jan 3 2007Jan 6 2007

Publication series

NameProceedings of the Annual Hawaii International Conference on System Sciences
ISSN (Print)1530-1605

Other

Other40th Annual Hawaii International Conference on System Sciences 2007, HICSS'07
CountryUnited States
CityBig Island, HI
Period1/3/071/6/07

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Fingerprint Dive into the research topics of 'A semantic recognizer infrastructure for computing loop behavior'. Together they form a unique fingerprint.

Cite this