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  94 results for ""Requirements/Specifications""

Your Filters

Publisher : hal ccsd
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: 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, France ;

Record details

Read More Add to Saved list
×
Report

Preliminary Go-Lab requirements specifications, needs analysis, and creative options

Subjects: Go-Lab; Inquiry Learning; [INFO.EIAH]Computer Science [cs]/Technology for Human Learning

  • Source: https://telearn.hal.science/hal-00983548 ; 2013.

Record details

Read More Add to Saved list
×
Report

Preliminary Go-Lab requirements specifications, needs analysis, and creative options

Subjects: Go-Lab; Inquiry Learning; [INFO.EIAH]Computer Science [cs]/Technology for Human Learning

  • Source: https://telearn.archives-ouvertes.fr/hal-00983548 ; 2013.

Record details

Read More Add to Saved list
×
Conference

Towards a well-founded software component model for cyber-physical control systems

Subjects: ACM: D.: Software/D.2: SOFTWARE ENGINEERING; ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques; ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and DebuggingLaguna Hills; California; United States

  • Source: Second IEEE International Conference on Robotic Computing ; https://hal.sorbonne-universite.fr/hal-01666652 ; Second IEEE International Conference on Robotic Computing, Jan 2018, Laguna Hills,

Record details

Read More Add to Saved list
×
Conference

Towards a well-founded software component model for cyber-physical control systems

Subjects: ACM: D.: Software/D.2: SOFTWARE ENGINEERING; ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques; ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and DebuggingLaguna Hills; California; United States

  • Source: Second IEEE International Conference on Robotic Computing ; https://hal.sorbonne-universite.fr/hal-01666652 ; Second IEEE International Conference on Robotic Computing, Jan 2018, Laguna Hills,

Record details

Read More Add to Saved list
×
Conference

Usability Insights for Requirements Engineering Tools: A User Study with Practitioners in Aeronautics

Subjects: Index Terms—practices; aeronautics; toolsLisbonne; Portugal

  • Source: RE 2017 IEEE 25th International Requirements Engineering Conference ; https://hal.inria.fr/hal-01532781 ; RE 2017 IEEE 25th International

Record details

Read More Add to Saved list
×
Academic Journal

Validation of Formal Specifications through Transformation and Animation

Subjects: Validation; Animation; Formal methods

  • Source: ISSN: 0947-3602.

Record details

Read More Add to Saved list
×
Conference

Evaluating the Assignment of Behavioral Goals to Coalitions of Agents

Subjects: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.10: Temporal logic; ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking; ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/SpecificationsBelo Horizonte; Brazil

  • Source: Brazilian Symposium on Formal Methods ; https://hal.science/hal-01206625 ; Brazilian Symposium on Formal Methods, Sep 2015, Belo Horizonte, Brazil. ⟨10.1007/978-3-319-29473-5_4⟩

Record details

Read More Add to Saved list
×
Conference

Distributed Model-to-Model Transformation with ATL on MapReduce

Subjects: Model Transformation; Distributed Computing; MapReducePittsburgh; United States

  • Source: Proceedings of 2015 ACM SIGPLAN International Conference on Software Language Engineering (SLE 2015) ; https://hal.science/hal-01215228 ; Proceedings of 2015 ACM SIGPLAN International Conference on

Record details

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