Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Early Verification and Validation of Mission Critical Systems

Autor: Ponsard, C., Massonet, P., Rifaut, A., Molderez, J.F., van Lamsweerde, A., Tran Van, H.

Publikováno v: In Electronic Notes in Theoretical Computer Science 31 May 2005 133:237-254

From goal-oriented requirements to Event-B specifications

Autor: Aziz, Benjamin, Arenas, A., Bicarregui, J., Ponsard, C., Massonet, P.

Publikováno v: Aziz, B, Arenas, A, Bicarregui, J, Ponsard, C & Massonet, P 2009, ' From goal-oriented requirements to Event-B specifications ' Paper presented at First Nasa Formal Method Symposium (NFM 2009), California, United States, 6/04/08-8/04/08, .

In goal-oriented requirements engineering methodologies, goals are structured into refinement trees from high-level system-wide goals down to fine-grained requirements assigned to specific software/ hardware/human agents that can realise them. Functi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3461::95acb603b3a997041e97012bdfa90eb0
https://researchportal.port.ac.uk/portal/en/publications/from-goaloriented-requirements-to-eventb-specifications(9cc1a2c0-650f-4594-9a1d-b2a82ce2dff1).html

Activity report intended for the intermediary evaluation: Evaluation of climate change impacts and adaptation responses for marine activities CLIMAR. Science for a sustainable development for the period: 15/12/2006 to 31/07/2008: Document G - Contract Number SD/NS/01A

Autor: Van den Eynde, D., Francken, F., Ponsard, C., Ozer, J., De Sutter, R., Volckaert, A.M., De Smet, L., Van der Biest, K., Verwaest, T., Vanderperren, E.

Publikováno v: Belgian+Science+Policy%3A+Brussel.++33+pp.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______232::6417b2676bf19285183a3eb6de73b596
http://www.vliz.be/nl/open-marien-archief?module=ref&refid=126198

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.