A semantic recognizer infrastructure for computing loop behavior

Ali Mili; Tim Daly; Mark Pleszkoch; Stacy Prowell

doi:10.1109/HICSS.2007.32

A semantic recognizer infrastructure for computing loop behavior

Ali Mili, Tim Daly, Mark Pleszkoch, Stacy Prowell

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English (US)
Title of host publication	Proceedings of the 40th Annual Hawaii International Conference on System Sciences 2007, HICSS'07
DOIs	https://doi.org/10.1109/HICSS.2007.32
State	Published - 2007
Event	40th Annual Hawaii International Conference on System Sciences 2007, HICSS'07 - Big Island, HI, United States Duration: Jan 3 2007 → Jan 6 2007

Publication series

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

Other

Other	40th Annual Hawaii International Conference on System Sciences 2007, HICSS'07
Country/Territory	United States
City	Big Island, HI
Period	1/3/07 → 1/6/07

All Science Journal Classification (ASJC) codes

General Engineering

Access to Document

10.1109/HICSS.2007.32

Cite this

@inproceedings{6d1086aa70c54a94abe069e4a9b42dc8,

title = "A semantic recognizer infrastructure for computing loop behavior",

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.",

author = "Ali Mili and Tim Daly and Mark Pleszkoch and Stacy Prowell",

year = "2007",

doi = "10.1109/HICSS.2007.32",

language = "English (US)",

isbn = "0769527558",

series = "Proceedings of the Annual Hawaii International Conference on System Sciences",

booktitle = "Proceedings of the 40th Annual Hawaii International Conference on System Sciences 2007, HICSS'07",

note = "40th Annual Hawaii International Conference on System Sciences 2007, HICSS'07 ; Conference date: 03-01-2007 Through 06-01-2007",

}

Mili, A, Daly, T, Pleszkoch, M & Prowell, S 2007, A semantic recognizer infrastructure for computing loop behavior. in Proceedings of the 40th Annual Hawaii International Conference on System Sciences 2007, HICSS'07., 4076943, Proceedings of the Annual Hawaii International Conference on System Sciences, 40th Annual Hawaii International Conference on System Sciences 2007, HICSS'07, Big Island, HI, United States, 1/3/07. https://doi.org/10.1109/HICSS.2007.32

A semantic recognizer infrastructure for computing loop behavior. / Mili, Ali; Daly, Tim; Pleszkoch, Mark et al.
Proceedings of the 40th Annual Hawaii International Conference on System Sciences 2007, HICSS'07. 2007. 4076943 (Proceedings of the Annual Hawaii International Conference on System Sciences).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - A semantic recognizer infrastructure for computing loop behavior

AU - Mili, Ali

AU - Daly, Tim

AU - Pleszkoch, Mark

AU - Prowell, Stacy

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=39749093939&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=39749093939&partnerID=8YFLogxK

U2 - 10.1109/HICSS.2007.32

DO - 10.1109/HICSS.2007.32

M3 - Conference contribution

AN - SCOPUS:39749093939

SN - 0769527558

SN - 9780769527550

T3 - Proceedings of the Annual Hawaii International Conference on System Sciences

BT - Proceedings of the 40th Annual Hawaii International Conference on System Sciences 2007, HICSS'07

T2 - 40th Annual Hawaii International Conference on System Sciences 2007, HICSS'07

Y2 - 3 January 2007 through 6 January 2007

ER -

A semantic recognizer infrastructure for computing loop behavior

Abstract

Publication series

Other

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this