On the use of executable assertions in structured programs

Ali Mili; Sihem Guemara; Ali Jaoua; Paul Torrés

doi:10.1016/0164-1212(87)90004-5

On the use of executable assertions in structured programs

Ali Mili
, Sihem Guemara
, Ali Jaoua
, Paul Torrés

Research output: Contribution to journal › Article › peer-review

2 Scopus citations

Abstract

Because they are natural and easy to use, executable assertions are a common way to validate programs. In this paper, we discuss the analysis, verification, and design of programs containing executable assertions.

Original language	English (US)
Pages (from-to)	15-28
Number of pages	14
Journal	The Journal of Systems and Software
Volume	7
Issue number	1
DOIs	https://doi.org/10.1016/0164-1212(87)90004-5
State	Published - Mar 1987
Externally published	Yes

All Science Journal Classification (ASJC) codes

Software
Information Systems
Hardware and Architecture

Access to Document

10.1016/0164-1212(87)90004-5

Cite this

@article{db53d78c10204feca9e3b8f2327d65f4,

title = "On the use of executable assertions in structured programs",

abstract = "Because they are natural and easy to use, executable assertions are a common way to validate programs. In this paper, we discuss the analysis, verification, and design of programs containing executable assertions.",

author = "Ali Mili and Sihem Guemara and Ali Jaoua and Paul Torr{\'e}s",

note = "Funding Information: *Part of this work was done while the first author was at Lava1 University in Qutbec, Canada. It is partly supported by the Research Council of Canada under grant number A23509. Presently, it is supported by the Tunisian Council for Scientific Research, Under grant number MA7-85.",

year = "1987",

month = mar,

doi = "10.1016/0164-1212(87)90004-5",

language = "English (US)",

volume = "7",

pages = "15--28",

journal = "The Journal of Systems and Software",

issn = "0164-1212",

publisher = "Elsevier Inc.",

number = "1",

}

TY - JOUR

T1 - On the use of executable assertions in structured programs

AU - Mili, Ali

AU - Guemara, Sihem

AU - Jaoua, Ali

AU - Torrés, Paul

N1 - Funding Information: *Part of this work was done while the first author was at Lava1 University in Qutbec, Canada. It is partly supported by the Research Council of Canada under grant number A23509. Presently, it is supported by the Tunisian Council for Scientific Research, Under grant number MA7-85.

PY - 1987/3

Y1 - 1987/3

N2 - Because they are natural and easy to use, executable assertions are a common way to validate programs. In this paper, we discuss the analysis, verification, and design of programs containing executable assertions.

AB - Because they are natural and easy to use, executable assertions are a common way to validate programs. In this paper, we discuss the analysis, verification, and design of programs containing executable assertions.

UR - https://www.scopus.com/pages/publications/0023310264

UR - https://www.scopus.com/pages/publications/0023310264#tab=citedBy

U2 - 10.1016/0164-1212(87)90004-5

DO - 10.1016/0164-1212(87)90004-5

M3 - Article

AN - SCOPUS:0023310264

SN - 0164-1212

VL - 7

SP - 15

EP - 28

JO - The Journal of Systems and Software

JF - The Journal of Systems and Software

IS - 1

ER -

On the use of executable assertions in structured programs

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this