• Aucun résultat trouvé

Use Case: Ontology to Support System Verification Process

N/A
N/A
Protected

Academic year: 2022

Partager "Use Case: Ontology to Support System Verification Process"

Copied!
1
0
0

Texte intégral

(1)

! " # $ % &&&$

! " ' ( )'*+( , - .

/! 0 1 2 ! % . &&34 1 5 2

2 1 1 . .6 . . 2

2 . 5 1 47/! 0 2 . 1 2 .

. 4 51

2 5 "1 2 . /! 0 2 .

1 1 4$1 2 1 .. .

1 1 1 /! 0 . . 4$1

2 /! 0 4

/ . . . 894: 2

1 1 . . 4 1 .

. ; 1 1 .

. . . 1 2 .

1 1 . 2 . . . ( 1 5

5 1 1 4<! . 1 1 2 .

. . 6=>=7 .

1 . . 1 4 ?

@ 1 1 2 . . 2( 1

1 5 A . 1 1 : 2 1 5 2 .51

. 1 . 5 1 1 . <894 (.

. B C 2( 2 . . 1 .

. . 1 1 2( 5 2 . 1

1 1 1 . .2 1 5 . 2 1 .4

1 . 1 . 2 2 . .

2 1 . 1 5

2 ". 4 1 5 51 . 51 1

. /! 02 . 1 2 .. . 4

$1 6 D 7 . 5 4 5 2

/! 0 4 % 5 1

2 . 6 7 4

89 #'3*-3E . 1 1 ( . 4

# ; $ "F

89G H .2 "4 '(+ & I ,,-4

8%9# .

839$1 1 4The ESD Architecture Committee

1 1 1 " . 4 5 1 5

2 2 5 . .

6 2 J7 . 1 1 5 1 /! 0 2 . .

. 6 7 . 1 . "

5 1 4

Références

Documents relatifs

The main features of requirements engineering for Scrum project management of software development are analyzed.The quality assessment criteria of user stories are

In this instantiation we model an OWL 2 ontology using part of Agrovoc (a controlled vocabulary covering all areas of interest of the Food and Agriculture Organization) the-

We used ontology matching to search for relevant entities in existing ontologies for the given PURO model, visualize them and enable their easy reuse in our PURO- started

project we want to support process modeling, making research on testing schemes, whether a given process model fulfills all properties required (process verification ), and

In silico scientific experiments are characterized by the composition and execution of several variations of scientific workflows (Mattoso et al., 2009); they are

Lastly, for increased coverage, the PTSD Ontology incorporated annotations with symptom and treatment terms extracted from mental health notes of patients with PTSD

RFLP provides a unique data referential to support a Systems Engineering process with requirements (R), functions (F) and logical product definition (L) such as components

3.4 Qualifications to Select Knowledgeable Workers To select workers who would be more qualified to answer questions based on biomedical ontologies and to improve the quality of