References of "Guelfi, Nicolas 50001902"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailMessir: A Text-First DSL-Based Approach for UML Requirements Engineering (Tool Demo)
Ries, Benoît UL; Capozucca, Alfredo UL; Guelfi, Nicolas UL

in Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering (2018)

Detailed reference viewed: 17 (2 UL)
Full Text
Peer Reviewed
See detailDesign of a (yet another?) DevOps course
Capozucca, Alfredo UL; Guelfi, Nicolas UL; Ries, Benoît UL

in First international workshop on software engineering aspects of continuous development and new paradigms of software production and deployment (2018)

DevOps have received marginal attention inside the higher education level curricula despite of its boom in the industrial sector. This paper presents the design of an academic master-level course aimed at ... [more ▼]

DevOps have received marginal attention inside the higher education level curricula despite of its boom in the industrial sector. This paper presents the design of an academic master-level course aimed at DevOps. The proposed design is based on earlier experiences in teaching DevOps-related topics. The specification of the course design is provided using the SWEBOK Guide and Bloom’s taxonomy to enhance the quality of the course design specification, and ease its assessment once delivered. [less ▲]

Detailed reference viewed: 21 (6 UL)
Full Text
Peer Reviewed
See detailA Survey of Petri Nets Slicing
Khan, Yasir Imtiaz; Konios, Alexandros; Guelfi, Nicolas UL

in ACM Computing Surveys (2018), 51(5), 109

Petri nets slicing is a technique that aims to improve the verification of systems modeled in Petri nets. Petri nets slicing was first developed to facilitate debugging but then used for the alleviation ... [more ▼]

Petri nets slicing is a technique that aims to improve the verification of systems modeled in Petri nets. Petri nets slicing was first developed to facilitate debugging but then used for the alleviation of the state space explosion problem for the model checking of Petri nets. In this article, different slicing techniques are studied along with their algorithms introducing: i) a classification of Petri nets slicing algorithms based on their construction methodology and objective (such as improving state space analysis or testing), ii) a qualitative and quantitative discussion and comparison of major differences such as accuracy and efficiency, iii) a syntactic unification of slicing algorithms that improve state space analysis for easy and clear understanding, and iv) applications of slicing for multiple perspectives. Furthermore, some recent improvements to slicing algorithms are presented, which can certainly reduce the slice size even for strongly connected nets. A noteworthy use of this survey is for the selection and improvement of slicing techniques for optimizing the verification of state event models. [less ▲]

Detailed reference viewed: 16 (0 UL)
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: 157 (58 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: 168 (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: 75 (15 UL)
Full Text
Peer Reviewed
See detailSoftware Engineering and Modeling Education: Problems and Solutions
Guelfi, Nicolas UL

in Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), including the International Workshop on Petri Nets for Adaptive Discrete Event Control Systems (ADECS 2015) A satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design ACSD 2015, Brussels, Belgium, June 22-23, 2015. (2015)

Detailed reference viewed: 72 (2 UL)
Full Text
Peer Reviewed
See detailSlicing High-level Petri nets
Khan, Yasir Imtiaz UL; Guelfi, Nicolas UL

in International Workshop on Petri Nets and Software Engineering (PNSE'14), Tunis June 2014 (2014, June 23)

High-level Petri nets (evolutions of low-level Petri nets) are well suitable formalisms to represent complex data, which influence the behavior of distributed, concurrent systems. However, usual ... [more ▼]

High-level Petri nets (evolutions of low-level Petri nets) are well suitable formalisms to represent complex data, which influence the behavior of distributed, concurrent systems. However, usual verification techniques such as model checking and testing remain an open challenge for both (i.e., low-level and high-level Petri nets) because of the state space explosion problem and test case selection. The contribution of this paper is to propose a technique to improve the model checking and test- ing of systems modeled using Algebraic Petri nets (a variant of high-level petri nets). To achieve the objective, we propose different slicing algo- rithms for Algebraic Petri nets. We argue that our slicing algorithms significantly improve the state of the art related to slicing APNs and can also be applied to low-level Petri nets with slight modifications. We exemplify our proposed algorithms through a case study of a car crash management system. [less ▲]

Detailed reference viewed: 97 (19 UL)
Full Text
Peer Reviewed
See detailAn Empirical Investigation of Modularity Metrics for Indicating Architectural Technical Debt
Li, Zengyang; Liang, Peng; Avgeriou, Paris et al

in Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures (2014, June)

Detailed reference viewed: 40 (3 UL)
Full Text
Peer Reviewed
See detailSLAPn: A Tool for slicing Algebraic Petri nets
Khan, Yasir Imtiaz UL; Guelfi, Nicolas UL

Poster (2014)

Algebraic Petri nets is a well suited formalism to represent the behavior of concurrent and distributed systems by handling complex data. For the analysis of systems modelled in Algebraic Petri nets ... [more ▼]

Algebraic Petri nets is a well suited formalism to represent the behavior of concurrent and distributed systems by handling complex data. For the analysis of systems modelled in Algebraic Petri nets, model checking and testing are used commonly. Petri nets slicing is getting an attention recently to improve the analysis of systems modelled in Petri nets or Algebraic Petri nets. This work is oriented to define Algebraic Petri nets slicing and implement it in a verification tool. [less ▲]

Detailed reference viewed: 59 (11 UL)
Full Text
Peer Reviewed
See detailTowards Test-Driven and Architecture Model-Based Security and Resilience Engineering
Saidane, Ayda; Guelfi, Nicolas UL

in Singh, Hardeep; Kaur, Kulwant (Eds.) Designing, Engineering, and Analyzing Reliable and Efficient Software (2013)

Detailed reference viewed: 47 (0 UL)
Full Text
Peer Reviewed
See detailAdaptive Ontology-Based Web Information Retrieval: The TARGET Framework
Pruski, Cédric UL; Guelfi, Nicolas UL; Raynaud, Chantal

in Polgar, Jana; Adamson, Greg (Eds.) Web Portal Design, Implementation, Integration, and Optimization (2013)

Detailed reference viewed: 36 (4 UL)
Full Text
See detailSurvey of Petri nets Slicing
Khan, Yasir Imtiaz UL; Guelfi, Nicolas UL

Report (2013)

Petri nets slicing is a technique that aims to improve the verification of systems modeled in Petri nets. Different Petri nets slicing constructions are studied along with algorithms to compute them ... [more ▼]

Petri nets slicing is a technique that aims to improve the verification of systems modeled in Petri nets. Different Petri nets slicing constructions are studied along with algorithms to compute them. Petri nets slicing was first developed to facilitate debugging but then devel- oped for alleviating the state space explosion problem for model checking Petri nets. This article has twofold objectives, the first is to unify all the existing slicing algorithms syntactically by the definition of a standard abstract syntax and rewriting of the studied slicing algorithms using the proposed syntax. The second is to discuss the contribution of each slicing construction and comparing the major differences between them. One of the interesting exploitation of the survey is for the selection and im- provement of slicing techniques for approaches concerned by optimizing verification of state event models. [less ▲]

Detailed reference viewed: 153 (9 UL)
Peer Reviewed
See detailComparing Six Modeling Approaches
Mussbacher, Gunter; Al Abed, Wisam; Alam, Omar et al

in Kienzle, Joerg (Ed.) Models in Software Engineering (2012)

Detailed reference viewed: 59 (1 UL)
Full Text
Peer Reviewed
See detailSETER: Towards Architecture-Model Based Security Engineering
Saïdane, Ayda; Guelfi, Nicolas UL

in International Journal of Secure Software Engineering (2012), 3(3), 23-49

Detailed reference viewed: 49 (4 UL)
Full Text
Peer Reviewed
See detailReusing Transaction Models for Dependable Cloud Computing
Gallina, Barbara; Guelfi, Nicolas UL

in Yang, Hongji; Liu, Xiaodong (Eds.) Software Reuse in the Emerging Cloud Computing Era (2012)

Detailed reference viewed: 30 (1 UL)
Peer Reviewed
See detailReusing Transaction Models for Dependable Cloud Computing
Gallina, Barbara UL; Guelfi, Nicolas UL

in Xiaodong, Yang Hongji (Ed.) Software Reuse in the Emerging Cloud Computing Era (2011)

Cloud computing represents a technological change in computing. Despite the technological change, however, the quality of the computation, in particular its dependability, keeps on being a fundamental ... [more ▼]

Cloud computing represents a technological change in computing. Despite the technological change, however, the quality of the computation, in particular its dependability, keeps on being a fundamental requirement. To ensure dependability, more specifically reliability, transaction models represent an effective means. In the literature, several transaction models exist. Choosing (reusing entirely) or introducing (reusing partially) transaction models for cloud computing is not an easy task. The difficulty of this task is due to the fact that it requires a deep understanding of the properties that characterize transaction models to be able to discriminate reusable from non reusable properties with respect to cloud computing characteristics. To ease this task, the PRISMA process is introduced. PRISMA is a Process for Requirements Identification, Specification and Machine-supported Analysis that targets transaction models. PRISMA is then applied to engineer reusable requirements suitable for the achievement of the adequate transaction models for cloud computing. [less ▲]

Detailed reference viewed: 19 (0 UL)