Consistency in ISpec specifications

K. van Gogh; R. Kuiper; E.J. Luit

Consistency in ISpec specifications

K. van Gogh
, R. Kuiper
, E.J. Luit

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

Samenvatting

To assess consistency for structural and behavioural ISpec specifications, a formal semantic model is provided. This is used as the basis for an evaluation of tool requirements. Two tools under development in the project are discussed.

Originele taal-2	Engels
Titel	Proceedings 4th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 22, 2003)
Plaats van productie	Utrecht
Uitgeverij	STW Technology Foundation
Pagina's	84-92
ISBN van geprinte versie	90-73461-37-5
Status	Gepubliceerd - 2003

Citeer dit

@inproceedings{c8e7073cd2bd49288d51d94e8e058e3e,

title = "Consistency in ISpec specifications",

abstract = "To assess consistency for structural and behavioural ISpec specifications, a formal semantic model is provided. This is used as the basis for an evaluation of tool requirements. Two tools under development in the project are discussed.",

author = "\{van Gogh\}, K. and R. Kuiper and E.J. Luit",

year = "2003",

language = "English",

isbn = "90-73461-37-5",

pages = "84--92",

booktitle = "Proceedings 4th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 22, 2003)",

publisher = "STW Technology Foundation",

}

TY - GEN

T1 - Consistency in ISpec specifications

AU - van Gogh, K.

AU - Kuiper, R.

AU - Luit, E.J.

PY - 2003

Y1 - 2003

N2 - To assess consistency for structural and behavioural ISpec specifications, a formal semantic model is provided. This is used as the basis for an evaluation of tool requirements. Two tools under development in the project are discussed.

AB - To assess consistency for structural and behavioural ISpec specifications, a formal semantic model is provided. This is used as the basis for an evaluation of tool requirements. Two tools under development in the project are discussed.

M3 - Conference contribution

SN - 90-73461-37-5

SP - 84

EP - 92

BT - Proceedings 4th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 22, 2003)

PB - STW Technology Foundation

CY - Utrecht

ER -

Consistency in ISpec specifications

Samenvatting

Vingerafdruk

Citeer dit