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

Applying Model-based Requirements Engineering in Three Large European Collaborative Projects: An Experience Report

Subjects: Requirements Engineering; Model-based Engineering; Collaborative ProjectsNotre Dame; South Bend; United States

  • Source: 2021 IEEE 29th International Requirements Engineering Conference (RE)https://hal.science/hal-032872612021 IEEE 29th International Requirements Engineering Conference (RE), Sep 2021, Notre

تفاصيل العنوان

×
Conference

Experience report: implementing a real-world, medium-sized program derived from a legislative specification

Subjects: Legal expert systems; Catala; Housing benefitsBoston (MA); United StatesBoston (MA), United States

  • Source: Programming Languages and the Law 2023 (affiliated with POPL) ; https://inria.hal.science/hal-03933574 ; Programming Languages and the Law 2023 (affiliated with POPL), Jan 2023, Boston (MA),

تفاصيل العنوان

×
Conference

Integration of Test Generation Into Simulation-Based Platforms: An Experience Report

Subjects: software testing; automation; software engineeringPittsburgh; United States

  • Source: 3rd ACM/IEEE International Conference on Automation of Software Testhttps://laas.hal.science/hal-036236133rd ACM/IEEE International Conference on Automation of Software Test, May 2022,

تفاصيل العنوان

×
Conference

Modeling the Wind Turbine Benchmark with PWA Hybrid Automata (Experience Report)

Subjects: Hybrid automata; Wind turbine; Model transformationPittsburgh; United States

  • Source: ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems. ; https://hal.science/hal-01508674 ; ARCH17. 4th International Workshop on Applied Verification of

تفاصيل العنوان

×
Conference

Mining Jewels Together: Debating about Programming Threshold Concepts in Large Classes

Subjects: active learning; threshold concepts; scientific debatePortland (OR); United States

  • Source: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1 (SIGCSE 2024) ; SIGCSE 2024 - 55th ACM Technical Symposium on Computer Science Education ;

تفاصيل العنوان

×
  • 1-10 ل  38 نتائج ل ""experience report""