Requirement engineering
A requirement engineering driven approach to security architecture design for distributed embedded systems
... security requirement engineering methodology in the previous ...the engineering disciplines ...software engineering practices express different concepts to serve different development purposes ...
222
Applying a requirement engineering based approach to evaluate the security requirements engineering methodologies
... requirements engineering methodologies available today, selecting a security requirement engineering methodology that fits the security engineering context becomes a promising ...requirements ...
4
Requirement engineering of a Cooperative Information System using viewpoints
... software engineering does not allow to address the complex needs of a CIS which involves the co- operation of many stakeholders in a common purpose and each with their own ...requirements engineering ...
8
Viewpoints for Requirement Engineering in a Cooperatif Information System (VpCIS)
... ²LINA-Nantes University Computer Science, Nantes, France {kkessi,zalimazighi}@usthb.dz, Mourad.Oussalah@univ-nantes.fr Abstract. In this paper we propose an approach which allows to define the Requirement ...
11
Reusing Scenario Based Approaches in Requirement Engineering Methods: CREWS Method Base
... method engineering domain. The situational method engineering discipline aims at defining information systems development methods by reusing and assembling different existing method ...
14
Applying a requirement engineering based approach to evaluate the security requirements engineering methodologies
... 3 Application of our methodology 3.1 Step1: Problem context and initial requirement analysis The initial step of our approach allows analysing the security problem context of the example scenario given in section ...
5
Operations requirement for Black Brant rocket AD-II-52
... L’accès à ce site Web et l’utilisation de son contenu sont assujettis aux conditions présentées dans le site LISEZ CES CONDITIONS ATTENTIVEMENT AVANT D’UTILISER CE SITE WEB. Report (National Research Council of Canada. ...
81
Operations requirement for Black Brant rocket AA-II-53
... L’accès à ce site Web et l’utilisation de son contenu sont assujettis aux conditions présentées dans le site LISEZ CES CONDITIONS ATTENTIVEMENT AVANT D’UTILISER CE SITE WEB. Report (National Research Council of Canada. ...
81
Operations requirement for U.A.C. auroral x-ray balloon flights
... L’accès à ce site Web et l’utilisation de son contenu sont assujettis aux conditions présentées dans le site LISEZ CES CONDITIONS ATTENTIVEMENT AVANT D’UTILISER CE SITE WEB. Report (National Research Council of Canada. ...
27
Operations requirement for black brant rocket AK-II-104
... L’accès à ce site Web et l’utilisation de son contenu sont assujettis aux conditions présentées dans le site LISEZ CES CONDITIONS ATTENTIVEMENT AVANT D’UTILISER CE SITE WEB. Report (National Research Council of Canada. ...
60
Timing Requirement Description Diagrams for Real-Time System Verification
... In KAOS (Keep All Objective Satisfied [13]) requirements are expressed by means of logic formulas written in RT-LTL (Real Time Linear Temporal Logic). KAOS also includes a method for goal driven requirement ...
9
Timing requirement description diagrams for real-time system verification
... Figure 13: Traceability Matrix of Hybrid Power Management Unit Requirements 5. Conclusions and Future Work TURTLE is a real-time UML profile designed with formal verification in mind. The profile was recently extended ...
8
Contract-Based Requirement Modularization via Synthesis of Correct Decompositions
... Our conditions and synthesis strategy can be applied to generic contract frameworks equipped with specification operators (e.g., composition, refinement) including popular frameworks suc[r] ...
27
Taxing a Natural Resource with a Minimum Revenue Requirement
... to which the firm could devote its resources and expect the same profits. Ex ante, the firm takes into account the risk that the project might not be profitable or get green-lighted. I assume that the minimal revenue y ...
30
Robust material requirement planning with cumulative demand under uncertainty
... Namely, we deal with the CLSP (for the MPS process) and MLCLSP (for the MRP process), both with backordering, with uncertain cumulative demand under the interval uncertainty representati[r] ...
23
LELIE - An Intelligent Assistant for Improving Requirement Authoring
... LELIE: An Intelligent Assistant for Improving Requirement Authoring 1. LELIE project LELIE 1 was funded by the French National Research Agency (ANR) from 2008 till 2013. It is still a research framework but it is ...
11
On the facultative requirement of the bacterial RNA chaperone, Hfq.
... Figure 1. Variable requirement for Hfq in sRNA-mediated gene regulations in bacteria. (a) List of bacteria and sRNAs organized according to their Hfq requirement. With the exception of RsmY (shown in ...
8
Knowledge Engineering
... UNCORRECTED PROOF Designing models requires access to knowledge available through various sources. 342[r] ...
37
A requirement mining framework to support complex sub-systems suppliers
... classifier. Unsupervised because we do not predefine a list of categories but search for dissimilar clusters. We used the LinLog algorithm from the Carrot2 API and applied it to 1618 requirements collected from three ...
7
A surface engineering approach applicable to concrete repair engineering
... surface engineering com- monly applied to many construction materials like metal al- loys, including nanomaterials, ...Surface engineering is defined [7] as a scientific and technological approach relat- ed ...
12