An integrated technique for developing real-time systems

J.J.M. Hooman; J. Vain

doi:10.1109/EMWRTS.1995.514317

An integrated technique for developing real-time systems

J.J.M. Hooman, J. Vain

Algorithms

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

1 Citaat (Scopus)

Samenvatting

The integration of conceptual modeling techniques, formal specification, and compositional verification is considered for real time systems within the knowledge engineering context. We define constructive transformations from a conceptual meta model to a real time specification language and give rules for compositional refinement steps. The ideas are illustrated by the design of a mine pump control system

Originele taal-2	Engels
Titel	Proceedings of the Seventh Euromicro Workshop on Real-Time Systems, June 14-16, 1995, Odense, Denmark
Plaats van productie	Los Alamitos
Uitgeverij	IEEE Computer Society
Pagina's	236-243
ISBN van geprinte versie	0-8186-7112-2
DOI's	https://doi.org/10.1109/EMWRTS.1995.514317
Status	Gepubliceerd - 1995

Toegang tot document

10.1109/EMWRTS.1995.514317

Citeer dit

@inproceedings{42720ec0c48c4f66835eac77609693e8,

title = "An integrated technique for developing real-time systems",

abstract = "The integration of conceptual modeling techniques, formal specification, and compositional verification is considered for real time systems within the knowledge engineering context. We define constructive transformations from a conceptual meta model to a real time specification language and give rules for compositional refinement steps. The ideas are illustrated by the design of a mine pump control system",

author = "J.J.M. Hooman and J. Vain",

year = "1995",

doi = "10.1109/EMWRTS.1995.514317",

language = "English",

isbn = "0-8186-7112-2",

pages = "236--243",

booktitle = "Proceedings of the Seventh Euromicro Workshop on Real-Time Systems, June 14-16, 1995, Odense, Denmark",

publisher = "IEEE Computer Society",

address = "United States",

}

TY - GEN

T1 - An integrated technique for developing real-time systems

AU - Hooman, J.J.M.

AU - Vain, J.

PY - 1995

Y1 - 1995

N2 - The integration of conceptual modeling techniques, formal specification, and compositional verification is considered for real time systems within the knowledge engineering context. We define constructive transformations from a conceptual meta model to a real time specification language and give rules for compositional refinement steps. The ideas are illustrated by the design of a mine pump control system

AB - The integration of conceptual modeling techniques, formal specification, and compositional verification is considered for real time systems within the knowledge engineering context. We define constructive transformations from a conceptual meta model to a real time specification language and give rules for compositional refinement steps. The ideas are illustrated by the design of a mine pump control system

U2 - 10.1109/EMWRTS.1995.514317

DO - 10.1109/EMWRTS.1995.514317

M3 - Conference contribution

SN - 0-8186-7112-2

SP - 236

EP - 243

BT - Proceedings of the Seventh Euromicro Workshop on Real-Time Systems, June 14-16, 1995, Odense, Denmark

PB - IEEE Computer Society

CY - Los Alamitos

ER -

An integrated technique for developing real-time systems

Samenvatting

Toegang tot document

Vingerafdruk

Citeer dit