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

Your Filters

Subject : [info.info-se]computer science [cs]/software engineering [cs.se]
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
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
×
Academic Journal

Validation of Formal Specifications through Transformation and Animation

Subjects: Animation; Validation; Formal methods

  • Source: ISSN: 0947-3602.

Record details

Read More Add to Saved list
×
Academic Journal

Validation of Formal Specifications through Transformation and Animation

Subjects: Animation; Validation; Formal methods

  • Source: ISSN: 0947-3602.

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

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
×
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
×
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.archives-ouvertes.fr/hal-01215228 ; Proceedings of 2015 ACM SIGPLAN International

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.archives-ouvertes.fr/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
×
  • 1-10 of  62 results for ""Requirements/Specifications""