Farida Semmak

Learn More
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(More)
This work is done as part of the Tacos project1 whose aims is to define a component-based approach to specify trustworthy systems from the requirements phase to the specification phase, in the Cycab transportation domain. This paper mainly deals with the improvement of requirements elicitation in the context of Cycab domain. For that purpose, we propose to(More)
This paper presents a Goal Oriented Approach for the Definition of a Business Process Requirement Model, taking into account the level of importance and constraints inherent in these requirements. The level of importance of a goal is the credit which the user associates to it, while constraints are non-functional needs related to that which this goal must(More)
In a business environment that is constantly evolving the management of knowledge is becoming increasingly important. In particular the shareability and repeatability of experience gained in change situations can prove an invaluable tool for the evolving enterprise. We advocate the use of the pattern paradigm as a means to capture and disseminate this type(More)
To develop quality software and systems, both functional and non-functional requirements need to be taken into account at the highest level of abstraction. However the issue of relationships between non-functional requirements and functional requirements has been rarely addressed. In this article, we outline an extension of the SysML requirements meta-model(More)
RÉSUMÉ. Cet article présente un travail réalisé dans le cadre d'un projet ANR, qui a pour objectif d'établir des liens de traçabilité entre les phases d'analyse des besoins et de spécification. La principale idée est d'étendre le langage SysML avec les concepts les plus pertinents utilisés dans les approches dirigées par les buts. Dans cet article, nous(More)
When developing Self Adaptive Systems (SAS), their highly adaptiveness has to be taken into account as early as the requirements elicitation. Because such systems modify their behaviour at run-time in response to changing environmental conditions, Non Functional Requirements (NFR’s) play an important role. One has to identify as early as possible the(More)