Zobrazeno 1 - 10
of 115
pro vyhledávání: '"Souquières, Jeanine"'
Autor:
Sayar, Imen, Souquières, Jeanine
Publikováno v:
Formal Requirements 2020
Formal Requirements 2020, Sophie Ebersold (University of Toulouse, France); Regine Laleau (University of Paris-Est Creteil, France); Manuel Mazzara (Innopolis University, Russia), Aug 2020, Zurich, Switzerland
Formal Requirements 2020, Sophie Ebersold (University of Toulouse, France); Regine Laleau (University of Paris-Est Creteil, France); Manuel Mazzara (Innopolis University, Russia), Aug 2020, Zurich, Switzerland
International audience; Improving the quality of a system begins by their requirements elicitation: the challenge is to bridge the gap between the requirements of the client and their formal specification defined by the scientist. A first step consis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::38bb0180c1ca710d5b23ed2535ea1d5f
https://hal.univ-lorraine.fr/hal-02963472
https://hal.univ-lorraine.fr/hal-02963472
Publikováno v:
In Electronic Notes in Theoretical Computer Science 3 April 2009 203(7):23-35
Publikováno v:
In Electronic Notes in Theoretical Computer Science 8 August 2006 160:157-172
Autor:
Sayar, Imen1, Souquières, Jeanine1
Publikováno v:
Ingénierie des Systèmes d'Information. 2017, Vol. 22 Issue 4, p11-41. 31p.
Autor:
Sayar, Imen, Souquières, Jeanine
Publikováno v:
AFADL : Approches Formelles dans l'assistance au Développement de Logiciels
AFADL : Approches Formelles dans l'assistance au Développement de Logiciels, Jun 2017, Montpellier, France
AFADL : Approches Formelles dans l'assistance au Développement de Logiciels, Jun 2017, Montpellier, France
International audience; Le cahier des charges est un document de référence tout au long du développement d'un système. Sa place commence par sa compréhension et sa structuration. Les liens entre ce document et la spécification en Event-B défin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::386829b400f73ffbe8dbc1bd32817459
https://hal.univ-lorraine.fr/hal-02963455
https://hal.univ-lorraine.fr/hal-02963455
Autor:
Sayar, Imen, Souquières, Jeanine
Publikováno v:
Actes du 34ème congrès INFORSID
34ème Congrès INFORSID
34ème Congrès INFORSID, May 2016, Grenoble, France
34ème Congrès INFORSID
34ème Congrès INFORSID, May 2016, Grenoble, France
The amelioration of the quality of a system begins by the requirements elicitation. Our goal is to bridge the gap between requirements, those of the client, and the specification, this of the computer scientist. In this paper, we talk about the valid
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5be792721d8a4f051eb397f6c4989d72
https://hal.science/hal-01302223
https://hal.science/hal-01302223
Autor:
Souquières, Jeanine
Publikováno v:
ERCIM News
ERCIM News, 2008, 75, pp.33-34
ERCIM News, ERCIM, 2008, 75, pp.33-34
ERCIM News, 2008, 75, pp.33-34
ERCIM News, ERCIM, 2008, 75, pp.33-34
International audience; The platoon of vehicles is a mixture of distributed and embedded systems. The former are usually hard to understand and debug as they can exhibit obscure behaviours. The latter must satisfy safety/security/confidence requireme
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cf0c55a78dc2256e6faf5d44477c49cd
https://hal.science/hal-00343183
https://hal.science/hal-00343183
Publikováno v:
atelier ERTSI (INFORSID 2008)
ERTSI (INFORSID 2008)
ERTSI (INFORSID 2008), May 2008, Fontainebleau, France. 12 p
ERTSI (INFORSID 2008)
ERTSI (INFORSID 2008), May 2008, Fontainebleau, France. 12 p
National audience; L'activité de refactoring consiste à restructurer un modèle en vue d'améliorer certains facteurs de qualité, tout en préservant la cohérence de ce modèle. Dans cet article, nous proposons un schéma de refactoring de diagra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0f6e4de9727ef224409829eccb898cfd
https://hal.archives-ouvertes.fr/hal-00310955/document
https://hal.archives-ouvertes.fr/hal-00310955/document
The main objective of this deliverable is to study various models in land transport domain and various ways of modelling. Chapter 1 "Existing Models For Land Transport Using Intelligent Vehicles" describes an existing approach in the domain that pres
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::2e6f6d2b4baa8294a93cdfc9d9cc87ab
https://hal.archives-ouvertes.fr/hal-00344882
https://hal.archives-ouvertes.fr/hal-00344882
The main objective of this deliverable is to make a synthesis of existing approaches to specify non-functional properties. The term non-functional requirement has been in use for more than 20 years, there is still no consensus in the requirements and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::9ce344ad932d8585e05a7c748630bd6d
https://hal.archives-ouvertes.fr/hal-00344883
https://hal.archives-ouvertes.fr/hal-00344883