Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Vérification de propriété"'
Autor:
Nastov, Blazo
L'Ingénierie des Systèmes (IS) est une approche pluridisciplinaire et collaborative pour mener à bâtir et structurer la conception puis la réalisation et le développement de systèmes complexes. L’IS repose à la fois sur une approche process
Externí odkaz:
http://www.theses.fr/2016MONTT272/document
Autor:
Nastov , Blazo
Publikováno v:
Other [cs.OH]. Université Montpellier, 2016. English. ⟨NNT : 2016MONTT272⟩
Other [cs.OH]. Université Montpellier, 2016. English. 〈NNT : 2016MONTT272〉
Other [cs.OH]. Université Montpellier, 2016. English. 〈NNT : 2016MONTT272〉
Systems Engineering (SE) is an interdisciplinary and collaborative approach for successful design and management of large scale complex systems. Among other principles, SE promotes and mandates a model-based (or model-driven) approach for all stages
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6551b3cea85936819c66d6910df75abc
https://tel.archives-ouvertes.fr/tel-01809000/file/2016_NASTOV_archivage.pdf
https://tel.archives-ouvertes.fr/tel-01809000/file/2016_NASTOV_archivage.pdf
Autor:
Nastov, Blazo
Publikováno v:
Other [cs.OH]. Université Montpellier, 2016. English. 〈NNT : 2016MONTT272〉
Other [cs.OH]. Université Montpellier, 2016. English. ⟨NNT : 2016MONTT272⟩
Other [cs.OH]. Université Montpellier, 2016. English. ⟨NNT : 2016MONTT272⟩
Systems Engineering (SE) is an interdisciplinary and collaborative approach for successful design and management of large scale complex systems. Among other principles, SE promotes and mandates a model-based (or model-driven) approach for all stages
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0d8397bdc6878234cbc1848b739edefa
https://tel.archives-ouvertes.fr/tel-01809000/file/2016_NASTOV_archivage.pdf
https://tel.archives-ouvertes.fr/tel-01809000/file/2016_NASTOV_archivage.pdf
Autor:
Quesnot, Dominique
Publikováno v:
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 1995. Français. ⟨NNT : 1995INPL027N⟩
Not available
Cette thèse se situe dans le domaine de l'ingénierie des interfaces utilisateur (spécification, conception et évaluation d'interfaces). Un modèle conceptuel d'interface et d'interaction a été défini. Ce modèle vise à fair
Cette thèse se situe dans le domaine de l'ingénierie des interfaces utilisateur (spécification, conception et évaluation d'interfaces). Un modèle conceptuel d'interface et d'interaction a été défini. Ce modèle vise à fair
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9800b0b74a1f606d243c8354b8b265ca
https://hal.univ-lorraine.fr/tel-01751670
https://hal.univ-lorraine.fr/tel-01751670