Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-10 of  30 results for ""Requirements/Specifications""

Your Filters

Geographic : france
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Identifier et catégoriser l’ambiguïté dans les spécifications techniques de conceptions de systèmes ; : Identifying and classifying ambiguity in requirements specifications

Subjects: lexical and distributional semantics; ambiguity; domain adaptationParis; France

  • Source: Actes de la conférence conjointe JEP-TALN-RÉCITAL 2016 ; JEP-TALN-RÉCITAL 2016 ; https://hal.science/hal-01351067 ; JEP-TALN-RÉCITAL 2016, Jul 2016, Paris, France ;

Record details

Read More Add to Saved list
×
Conference

Identifier et catégoriser l’ambiguïté dans les spécifications techniques de conceptions de systèmes ; : Identifying and classifying ambiguity in requirements specifications

Subjects: lexical and distributional semantics; ambiguity; domain adaptationParis; France

  • Source: Actes de la conférence conjointe JEP-TALN-RÉCITAL 2016 ; JEP-TALN-RÉCITAL 2016 ; https://hal.science/hal-01351067 ; JEP-TALN-RÉCITAL 2016, Jul 2016, Paris, France ;

Record details

Read More Add to Saved list
×
Conference

Identifier et catégoriser l’ambiguïté dans les spécifications techniques de conceptions de systèmes ; : Identifying and classifying ambiguity in requirements specifications

Subjects: lexical and distributional semantics; ambiguity; domain adaptationParis; France

  • Source: Actes de la conférence conjointe JEP-TALN-RÉCITAL 2016 ; JEP-TALN-RÉCITAL 2016 ; https://hal.science/hal-01351067 ; JEP-TALN-RÉCITAL 2016, Jul 2016, Paris, France ;

Record details

Read More Add to Saved list
×
Conference

Identifier et catégoriser l’ambiguïté dans les spécifications techniques de conceptions de systèmes ; : Identifying and classifying ambiguity in requirements specifications

Subjects: ambiguity; domain adaptation; lexical resourcesParis; France

  • Source: Actes de la conférence conjointe JEP-TALN-RÉCITAL 2016 ; JEP-TALN-RÉCITAL 2016 ; https://hal.archives-ouvertes.fr/hal-01351067 ; JEP-TALN-RÉCITAL 2016, Jul 2016, Paris,

Record details

Read More Add to Saved list
×
Conference

Fractal à la Coq

Subjects: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS; ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs; ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming LanguagesRennes; France

  • Source: Conférence en IngénieriE du Logiciel ; https://inria.hal.science/hal-00725291 ; Conférence en IngénieriE du Logiciel, Jun 2012, Rennes, France

Record details

Read More Add to Saved list
×
Conference

Fractal à la Coq

Subjects: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS; ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs; ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming LanguagesRennes; France

  • Source: Conférence en IngénieriE du Logiciel ; https://hal.inria.fr/hal-00725291 ; Conférence en IngénieriE du Logiciel, Jun 2012, Rennes, France

Record details

Read More Add to Saved list
×
Conference

Translating Pi-Calculus into LOTOS NT

Subjects: pi-calculus; process algebra; LOTOS NTNancy; France

  • Source: Integrated Formal Methods - IFM 2010 ; https://inria.hal.science/inria-00524586 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France.

Record details

Read More Add to Saved list
×
Conference

Symbolic Model-Checking of Optimistic Replication Algorithms

Subjects: collaborative editors; operational transformation; difference bound matricesNancy; France

  • Source: 8th International Conference on Integrated Formal Methods - IFM 2010https://inria.hal.science/inria-005245358th International Conference on Integrated Formal Methods - IFM 2010, INRIA

Record details

Read More Add to Saved list
×
Conference

Translating Pi-Calculus into LOTOS NT

Subjects: pi-calculus; process algebra; LOTOS NTNancy; France

  • Source: Integrated Formal Methods - IFM 2010 ; https://inria.hal.science/inria-00524586 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France.

Record details

Read More Add to Saved list
×
Conference

Symbolic Model-Checking of Optimistic Replication Algorithms

Subjects: collaborative editors; operational transformation; difference bound matricesNancy; France

  • Source: 8th International Conference on Integrated Formal Methods - IFM 2010https://inria.hal.science/inria-005245358th International Conference on Integrated Formal Methods - IFM 2010, INRIA

Record details

Read More Add to Saved list
×
  • 1-10 of  30 results for ""Requirements/Specifications""