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)
|
|
BASE
|
|
Show 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) ...
|
|
|
|
Abstract:
The Requirements Engineering (RE) process starts with initial requirements elicited from stakeholders – however conflicting, unattainable, incomplete and ambiguous – and iteratively refines them into a specification that is consistent, complete, valid and unambiguous. That specification consists of functions, quality constraints and assumptions on the environment of the system- to-be. We propose a novel RE process in the form of a calculus called CaRE (Calculus for Requirements Engineering) where the process is envisioned as an iterative application of refinement operators, with each operator removing a defect from the current requirements. Our proposal is motivated by the dialectic and incremental nature of RE activities. The calculus casts the RE problem as an iterative argument between stakeholders, who point out defects (ambiguity, incompleteness, etc.) of existing requirements, and then propose refinements to address those defects, thus leading to the construction of a refinement graph. This graph is ...
|
|
Keyword:
requirements engineering, requirements calculus, CaRE
|
|
URL: https://zenodo.org/record/4156215 https://dx.doi.org/10.5281/zenodo.4156215
|
|
BASE
|
|
Hide details
|
|
|
|