Abstract | ||
---|---|---|
This article describes a work-in-progress in the framework of a research project aiming at combining requirements engineering
methods with formal methods. The main idea is to extend the SysML language with concepts of existing requirements engineering
methods. In this article we present extensions to SysML with concepts from the goal model of the KAOS method and we give rules
to derive a formal B specification from this goal model. The approach is then illustrated on a case study. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/s11334-009-0119-y | ISSE |
Keywords | Field | DocType |
requirements engineering · sysml · kaos goal model · b method,work in progress,requirement engineering,formal method,b method | Software engineering,Systems engineering,Computer science,Requirements engineering,KAOS,B-Method,Formal methods,Goal modeling,Systems Modeling Language | Journal |
Volume | Issue | ISSN |
6 | 1-2 | 1614-5054 |
Citations | PageRank | References |
13 | 1.05 | 14 |
Authors | ||
6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Régine Laleau | 1 | 334 | 42.00 |
Farida Semmak | 2 | 40 | 8.20 |
Abderrahman Matoussi | 3 | 42 | 4.93 |
Dorian Petit | 4 | 18 | 3.24 |
Ahmed Hammad | 5 | 13 | 2.07 |
Bruno Tatibouët | 6 | 34 | 4.90 |