Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned (Q2999320)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned |
scientific article |
Statements
Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned (English)
0 references
12 May 2011
0 references
requirements engineering
0 references
formal specification
0 references
Event-B
0 references
KAOS
0 references
localization component
0 references
