References of "Ries, Benoît 50002937"
     in
Bookmark and Share    
Full Text
See detailA Product Line of Software Engineering Project Courses
Guelfi, Nicolas UL; Capozucca, Alfredo UL; Ries, Benoît UL

Poster (2017, November 08)

Detailed reference viewed: 62 (7 UL)
Full Text
Peer Reviewed
See detailTESMA: Requirements and Design of a Tool for Educational Programs
Guelfi, Nicolas UL; Jahic, Benjamin UL; Ries, Benoît UL

in Information (2017)

Defining and managing teaching programs at universities or other institutions is a complex task for which there is not much support in terms of methods and tools. This task becomes even more critical when ... [more ▼]

Defining and managing teaching programs at universities or other institutions is a complex task for which there is not much support in terms of methods and tools. This task becomes even more critical when the time comes to obtain certifications w.r.t. official standards. In this paper, we present an on-going project called TESMA, whose objective is to provide an open-source tool dedicated to the specification and management (including certification) of teaching programs. An in-depth market analysis regarding related tools and conceptual frameworks of the project is presented. This tool has been engineered using a development method called Messir for its requirements elicitation and introduces a domain-specific language dedicated to the teachin [less ▲]

Detailed reference viewed: 154 (57 UL)
Full Text
Peer Reviewed
See detailTESMA : Towards the Development of a Tool for Specification, Management and Assessment of Teaching Programs
Guelfi, Nicolas UL; Jahic, Benjamin UL; Ries, Benoît UL

in Pyshkin, Evgeny; Vazhenin, Alexander; Klyuev, Vitaly (Eds.) Proceeding of the 2nd International Conference on Applications in Information Technology (2016, October)

Defining and managing teaching programs at university or other institutions is a complex task for which there is not much support in terms of methods and tools. This task becomes even more critical when ... [more ▼]

Defining and managing teaching programs at university or other institutions is a complex task for which there is not much support in terms of methods and tools. This task becomes even more critical when the time comes to obtain certifications w.r.t. official standards. In this paper, we present an on-going project called TESMA whose objective is to provide an open-source tool dedicated to the specification and management (including certification) of teaching programs. This tool has been engineered using a development method called Messir for its requirements elicitations and introduces a domain-specific language dedicated to the teaching domain. This paper presents the current status of this project and the future activities planned. [less ▲]

Detailed reference viewed: 164 (61 UL)
Full Text
Peer Reviewed
See detailMeasuring the SWEBOK Coverage: An Approach and a Tool
Guelfi, Nicolas UL; Capozucca, Alfredo UL; Ries, Benoît UL

Scientific Conference (2016, August 25)

The definition of a software engineering body of knowledge (SWEBOK) is an important milestone in the history of the software engineering discipline. One of the main questions that might be asked in front ... [more ▼]

The definition of a software engineering body of knowledge (SWEBOK) is an important milestone in the history of the software engineering discipline. One of the main questions that might be asked in front of such knowledge definition is: to which extent does my knowledge cover this body of knowledge ? In a more general perspective we can be interested in measuring the coverage of any entity w.r.t. the SWEBOK. It could be a book, a paper, a course, . . . . In this paper, we present the method we defined to answer such question, the tool we developed and the experiments we did with the lessons learned. [less ▲]

Detailed reference viewed: 73 (15 UL)
Full Text
Peer Reviewed
See detailREACT: an Architectural Framework for the Development of a Software Product Line for Dependable Crisis Management Systems
Ledyayev, Roman; Ries, Benoît UL; Gorbenko, Anatoliy

in Radioelectronic and Computer Systems (2012), 59(7), 284-288

The paper reports our practical research efforts and experience in specifying REACT framework in the context of software product line engineering, striving to incorporate dependability into the system ... [more ▼]

The paper reports our practical research efforts and experience in specifying REACT framework in the context of software product line engineering, striving to incorporate dependability into the system requirements. We present an requirements specification derived from the REACT and discuss how REACT-based applications can be implemented in the context of service-oriented architecture. Dependability policies configuration capabilities were incorporated to enable developers to control the behaviour of the systems facing certain threats and failures. We discuss a Car Crash Management System as a case study of REACT-based project. [less ▲]

Detailed reference viewed: 72 (4 UL)
Full Text
See detailSESAME: a Model-Driven Process for the Test Selection of Small-size Safety-related Embedded Software
Ries, Benoît UL

Doctoral thesis (2009)

Embedded software applications are part of our daily lives, some of which have safety implications on human beings. It is thus important to trust this type of software. In our industrial context, testing ... [more ▼]

Embedded software applications are part of our daily lives, some of which have safety implications on human beings. It is thus important to trust this type of software. In our industrial context, testing is the most widely-spread technique used for that purpose. The state of practice is divided in two main categories. Explicit test selection techniques that enumerate the test cases to be exercised, but do not offer large coverage of the system’s behavior; and implicit techniques that encompass fully automated test generation techniques, which tend to hide the test selection information from engineers. The problem that we aim at solving in this thesis is the definition of a test selection approach that is capable of helping test engineers to better reach a delimited and verifiable test set with respect to some given test requirements and project specificities taking into account different test stakeholders.<br /><br />The SESAME process is composed of the four following tasks: specification of the system for testing purposes; specification of a test selection that constrains the system specification; evaluation of the test selection; generation of test cases derived from the constrained system specification. As a validation of our approach, we apply the SESAME process to a case study taken from an industrial project. This industrial application has shown the applicability of our approach on a small-size safety-related embedded system. [less ▲]

Detailed reference viewed: 134 (9 UL)
Full Text
Peer Reviewed
See detailSelection, Evaluation and Generation of Test Cases in an Industrial Setting: a Process and a Tool
Guelfi, Nicolas UL; Ries, Benoît UL

in Practice and Research Techniques, 2008. TAIC PART '08. Testing: Academic & Industrial Conference (2008)

The test phase in safety-critical systems industry is a crucial phase of the development process. Some companies of these industries have their own test methods which do not reuse the notions available in ... [more ▼]

The test phase in safety-critical systems industry is a crucial phase of the development process. Some companies of these industries have their own test methods which do not reuse the notions available in the theory of software testing or model driven engineering. This paper reports on an experience in a testing process improvement made inside a safetycritical systems company in order to improve the quality of the test phase improvement. We present the initial situation, the objectives, the proposed process and the tools that are used to support it. In particular, we show that the most efficient improvements were achieved concerning the test process definition and in allowing a tailored and precise delimitation of the systems elements to be tested. [less ▲]

Detailed reference viewed: 51 (8 UL)
Full Text
Peer Reviewed
See detailSCTL: A StateChart Transformation Language for Test Sets Reduction
Guelfi, Nicolas UL; Ries, Benoît UL

in ERCIM Workshop on Dependable Software Intensive Embedded Systems, workshop of the 31st EUROMICRO Conference on Software Engineering and Advanced Appli (2005)

Specification and testing activities are key phases in embedded systems development life cycles. In specification-based testing approaches, test cases are solely generated from the system specification ... [more ▼]

Specification and testing activities are key phases in embedded systems development life cycles. In specification-based testing approaches, test cases are solely generated from the system specification. Test cases are often too numerous to be executed exhaustively. In practice, test engineers often select test cases based on informal approximations. We aim at improving these activities by formulating abstraction hypotheses on system specifications, to reduce generated test sets. Our general application framework is the automotive industry, and we aim the specific domain of small-sized real-time embedded systems that must be highly reliable. The main result presented in this paper is a model transformation language that helps test engineers to select test cases based on system specifications. [less ▲]

Detailed reference viewed: 55 (6 UL)
Full Text
Peer Reviewed
See detailEngineering of Dependable Complex Business Processes using UML and Coordinated Atomic Actions
Guelfi, Nicolas UL; Le Cousin, Guillaume UL; Ries, Benoît UL

in International Workshop on Modeling Inter-Organizational Systems (MIOS'04) (2004)

For many companies, it is widely recognized that languages and methods for modeling and analyzing distributed business processes are becoming more and more important. For improving efficiency, the ... [more ▼]

For many companies, it is widely recognized that languages and methods for modeling and analyzing distributed business processes are becoming more and more important. For improving efficiency, the modeling language should provide reusability, easy understanding by business analysts, and should ease the validation and verification tasks. In this paper, we present an approach for developing dependable complex business processes using UML that satisfies these requirements. The proposed UML notation is designed to be directly integrated with COALA, a syntactically and semantically well-defined fault-tolerant advanced transaction model based on Coordinated Atomic Actions. Structuring concepts like nested business processes and fault-tolerance through exception handling are first class concepts brought by our approach that are crucial for modeling cross-enterprise business processes. The modeling phase is followed by a validation phase by business analysts through animation of the business process model in a workflow environment. Due to the precise notation used, automatic verification of crucial properties is accessible through integration with an automatic verifier. [less ▲]

Detailed reference viewed: 57 (1 UL)
Full Text
Peer Reviewed
See detailA Formal Approach for the Specification and the Verification of UML Structural Properties: Application to E-Business Domain
Guelfi, Nicolas UL; Mammar, Amel UL; Ries, Benoît UL

in International Workshop on Software Verification and Validation (SVV 2004), workshop of ICFEM'04 (2004)

This paper presents a formal approach for the specification and the verification of UML diagrams against a set of structural properties. This work is part of the E-fficient research project, aiming at ... [more ▼]

This paper presents a formal approach for the specification and the verification of UML diagrams against a set of structural properties. This work is part of the E-fficient research project, aiming at building correct e-business processes. An e-business process is described using class and activity diagrams. The verification of structural properties gives a degree of confidence regarding the correctness of the related business process. Our proposal is based on the formal approach promoted by the USE tool. The USE approach aims at validating a particular state of an object model against properties described in OCL. The contributions of this paper are: the introduction of meta-model based on class diagrams for UML diagrams to be verified, rules for the translation of the class, object and activity diagrams into USE specifications, and the specification of structural properties in OCL. [less ▲]

Detailed reference viewed: 63 (6 UL)
Full Text
Peer Reviewed
See detailA Study of Mobile Internet Technologies for Secure e-commerce Applications Development
Guelfi, Nicolas UL; Pruski, Cédric UL; Ries, Benoît UL

in Techniques and Applications for Mobile Commerce (TAMOCO) part of Multi-Konferenz Wirtschaftsinformatik 2004 (2004)

With mobile e-commerce, mobile user can buy or trade for things or services when on the move, anywhere and at anytime. Mobile e-commerce will contribute to raise the user’s standard of living. However, to ... [more ▼]

With mobile e-commerce, mobile user can buy or trade for things or services when on the move, anywhere and at anytime. Mobile e-commerce will contribute to raise the user’s standard of living. However, to reach this objective, security measures have to be strong in order to conquer the users’ trust. The objective of this paper is to present how we could adapt an architectural framework to support the development of secure m-commerce applications. This is done based on our case study, called Luxdeal and our study of the current mobile Internet technologies. [less ▲]

Detailed reference viewed: 51 (2 UL)
Full Text
Peer Reviewed
See detailMEDAL: A CASE Tool Extension for Model-driven Software Engineering
Guelfi, Nicolas UL; Ries, Benoît UL; Sterges, Paul UL

in SwSTE'03 IEEE International Conference on Software - Science, Technology & Engineering (2003)

The complexity of today’s software systems leads to the creation of many related diagrams, representing different viewpoints, different levels of abstraction, and different implementation alternatives ... [more ▼]

The complexity of today’s software systems leads to the creation of many related diagrams, representing different viewpoints, different levels of abstraction, and different implementation alternatives. Model-driven software engineering places these models in the center of the development process. Tool support is an essential aspect of model-driven engineering. Of particular interest are model transformation tools: they can facilitate the creation and the evolution of models; they provide a level of traceability between them and they help keeping them synchronized. Unfortunately, currently there are few such tools for UML-based models. This paper presents MEDAL, our model transformation tool. First, we present our viewpoint on model-driven software engineering. Then we describe MEDAL and how we implemented MEDAL on top of Rational XDE. Finally, in the last section we show how a web application development that is based on an architectural framework can be supported by the MEDAL tool. [less ▲]

Detailed reference viewed: 49 (4 UL)
Full Text
Peer Reviewed
See detailUsing and Specializing a Pattern-Based E-business Framework: An Auction Case Study
Guelfi, Nicolas UL; Ries, Benoît UL

in The 6th Annual IASTED International Conference on Software Engineering and Applications (2002)

Sun's J2EE environment is becoming one of the major technologies for the development of web applications. The reuse of stable and integrated components is a well-known mean to achieve effective software ... [more ▼]

Sun's J2EE environment is becoming one of the major technologies for the development of web applications. The reuse of stable and integrated components is a well-known mean to achieve effective software development. Frameworks have this objective but few frameworks are available for the J2EE platform, and moreover, they are rarely integrated in a global methodological approach supported by a tool. Furthermore, the available literature mainly provides a general conceptual presentation of frameworks. The objective of this paper is to present, from a pragmatic perspective, the use of the J2EE framework called JAFAR devoted to the development of web applications. As JAFAR has been developed from a software engineering point of view, we also show how its use can be supported by CASE tools that support design modeling and allows pattern-based development. For this purpose we used the Rational environment. [less ▲]

Detailed reference viewed: 55 (4 UL)