1 |
Towards a Sustainable Multidimensional Approach to English Proficiency Proof in the Post-Pandemic Era: Learning from the Legacy of COVID-19
|
|
|
|
In: Sustainability; Volume 14; Issue 9; Pages: 5568 (2022)
|
|
BASE
|
|
Show details
|
|
2 |
CONDITIONS OF INDEPENDENT STUDY IN TEACHING STUDENTS FOREIGN LANGUAGES ...
|
|
|
|
BASE
|
|
Show details
|
|
3 |
CONDITIONS OF INDEPENDENT STUDY IN TEACHING STUDENTS FOREIGN LANGUAGES ...
|
|
|
|
BASE
|
|
Show details
|
|
4 |
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems
|
|
|
|
In: ISSN: 0934-5043 ; EISSN: 1433-299X ; Formal Aspects of Computing ; https://hal.archives-ouvertes.fr/hal-03411215 ; Formal Aspects of Computing, Springer Verlag, 2021, 33 (3), pp.343-384. ⟨10.1007/s00165-021-00543-6⟩ ; https://link.springer.com/article/10.1007%2Fs00165-021-00543-6 (2021)
|
|
Abstract:
International audience ; Machine learning (ML) is used increasingly in safety-critical systems to provide more complex autonomy to make the system to do decisions by itself in uncertain environments. Using ML to learn system features is fundamentally different from manually implementing them in conventional components written in source code. In this paper, we make a first step towards exploring the architecture modeling of safety-critical autonomous systems which are composed of conventional components and ML components, based on natural language requirements. Firstly, augmented intelligence for restricted natural language requirement modeling is proposed. In that, several AI technologies such as natural language processing and clustering are used to recommend candidate terms to the glossary, as well as machine learning is used to predict the category of requirements. The glossary including data dictionary and domain glossary and the category of requirements will be used in the restricted natural language requirement specification method RNLReq, which is equipped with a set of restriction rules and templates to structure and restrict the way how users document requirements. Secondly, automatic generation of SysML architecture models from the RNLReq requirement specifications is presented. Thirdly, the prototype tool is implemented based on Papyrus. Finally, it presents the evaluation of the proposed approach using an industrial autonomous guidance, navigation and control case study.
|
|
Keyword:
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]; Augmented intelligence; Natural language processing; Restricted natural language requirements; Safety-critical autonomous system
|
|
URL: https://hal.archives-ouvertes.fr/hal-03411215/document https://doi.org/10.1007/s00165-021-00543-6 https://hal.archives-ouvertes.fr/hal-03411215 https://hal.archives-ouvertes.fr/hal-03411215/file/Exploiting_Augmented_Intelligence_in_the_Modeling_of_Safety_Critical_Autonomous_Systems.pdf
|
|
BASE
|
|
Hide details
|
|
5 |
Software Engineering Meets Systems Engineering: Conceptual Modeling Applied to Engineering Operations
|
|
|
|
In: ISSN: 1738-7906 ; International Journal of Computer Science and Network Security ; https://hal.archives-ouvertes.fr/hal-03404932 ; International Journal of Computer Science and Network Security, International Journal of Computer Science and Network Security, 2021, ⟨10.22937/IJCSNS.2021.21.10.47⟩ (2021)
|
|
BASE
|
|
Show details
|
|
6 |
Automating user-feedback driven requirements prioritization
|
|
|
|
In: ISSN: 0950-5849 ; EISSN: 1873-6025 ; Information and Software Technology ; https://hal.archives-ouvertes.fr/hal-03277970 ; Information and Software Technology, Elsevier, 2021, 138, pp.106635:1-106635:16. ⟨10.1016/j.infsof.2021.106635⟩ (2021)
|
|
BASE
|
|
Show details
|
|
7 |
THE EFFICACIOUS IMPLEMENTATION OF GAMES INTO ELT TO YOUNG LEARNERS ...
|
|
|
|
BASE
|
|
Show details
|
|
8 |
ПРОБЛЕМЫ ПОДГОТОВКИ И ПРИНЯТИЯ УПРАВЛЕНЧЕСКИХ РЕШЕНИЙ В ОРГАНАХ ВНУТРЕННИХ ДЕЛ ... : PROBLEMS OF PREPARATION AND ADOPTION OF MANAGERIAL DECISIONS IN THE INTERNAL AFFAIRS BODIES ...
|
|
|
|
BASE
|
|
Show details
|
|
9 |
МЕДИЦИНСКИЕ ОГРАНИЧЕНИЯ, СВЯЗАННЫЕ С ГОСУДАРСТВЕННОЙ ГРАЖДАНСКОЙ СЛУЖБОЙ: ОПЫТ СОВРЕМЕННОЙ РОССИИ ... : MEDICAL RESTRICTIONS ON STATE CIVIL SERVICE: EXPERIENCE OF MODERN RUSSIAN ...
|
|
|
|
BASE
|
|
Show details
|
|
10 |
Replication Package - Effect of requirements specification using native language on externalsoftware quality ...
|
|
|
|
BASE
|
|
Show details
|
|
11 |
Replication Package - Effect of requirements specification using native language on externalsoftware quality ...
|
|
|
|
BASE
|
|
Show details
|
|
12 |
Prioritization of Software Requirements Using Neutrosophic TOPSIS ...
|
|
|
|
BASE
|
|
Show details
|
|
13 |
Prioritization of Software Requirements Using Neutrosophic TOPSIS ...
|
|
|
|
BASE
|
|
Show details
|
|
14 |
CORAL: A corpus of ontological requirements annotated with Lexico-Syntactic Patterns ...
|
|
|
|
BASE
|
|
Show details
|
|
15 |
CORAL: A corpus of ontological requirements annotated with Lexico-Syntactic Patterns ...
|
|
|
|
BASE
|
|
Show details
|
|
16 |
English language entry requirements in EMI degree programmes at bachelor level in Italy
|
|
|
|
BASE
|
|
Show details
|
|
17 |
Aspect as an indicator of a clausal size in Involuntary State Constructions in BCS
|
|
|
|
In: Proceedings of the Linguistic Society of America; Vol 6, No 1 (2021): Proceedings of the Linguistic Society of America; 82–91 ; 2473-8689 (2021)
|
|
BASE
|
|
Show details
|
|
18 |
A Language Agnostic Approach to Modeling Requirements: Specification and Verification
|
|
|
|
In: MODELS ’20 Companion ; https://hal.inria.fr/hal-02924645 ; MODELS ’20 Companion, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419224⟩ (2020)
|
|
BASE
|
|
Show details
|
|
19 |
REACTION OF THE STATE TO SOCIALLY DANGEROUS BEHAVIOR: TO THE THEORY OF THE QUESTION ...
|
|
|
|
BASE
|
|
Show details
|
|
20 |
CaRE: A Refinement Calculus for Requirements Engineering based on Argumentation Theory (Proofs and Tool) ...
|
|
|
|
BASE
|
|
Show details
|
|
|
|