Bridging the gap between informal requirements and formal specifications using model federation

FR Golra, F Dagnat, J Souquières, I Sayar… - … Engineering and Formal …, 2018 - Springer
Software development projects seeking a high level of accuracy reach out to formal methods
as early as the requirements engineering phase. However the client perspective of the future …
被引用次数：27 相关文章
[PDF] core.ac.uk

[PDF][PDF] Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation

FR Golra, F Dagnat, J Souquières, I Sayar… - … Conference on Software …, 2018 - core.ac.uk
Software development projects seeking a high level of accuracy reach out to formal methods
as early as the requirements engineering phase. However the client perspective of the future …

Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation

S Guerin - Software Engineering and Formal Methods LNCS … - Springer
Software development projects seeking a high level of accuracy reach out to formal methods
as early as the requirements engineering phase. However the client perspective of the future …

Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation

FR Golra, F Dagnat, J Souquières, I Sayar… - … Conference on Software …, 2018 - hal.science
Software development projects seeking a high level of accuracy reach out to formal methods
as early as the requirements engineering phase. However the client perspective of the future …

Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation

FR Golra, F Dagnat, J Souquières, I Sayar… - … and Formal Methods …, 2018 - inria.hal.science
Software development projects seeking a high level of accuracy reach out to formal methods
as early as the requirements engineering phase. However the client perspective of the future …

Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation

S Guerin - Software Engineering and Formal Methods: 16th …, 2018 - books.google.com
Software development projects seeking a high level of accuracy reach out to formal methods
as early as the requirements engineering phase. However the client perspective of the future …
[PDF] core.ac.uk

[PDF][PDF] Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation

FR Golra, F Dagnat, J Souquières, I Sayar… - … Conference on Software …, 2018 - core.ac.uk
Software development projects seeking a high level of accuracy reach out to formal methods
as early as the requirements engineering phase. However the client perspective of the future …
[PDF] hal.science

[PDF][PDF] Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation

FR Golra, F Dagnat, J Souquières, I Sayar… - … Conference on Software …, 2018 - hal.science
Software development projects seeking a high level of accuracy reach out to formal methods
as early as the requirements engineering phase. However the client perspective of the future …