References of "Jahic, Benjamin 50014400"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailAn MDE Method for Improving Deep Learning Dataset Requirements Engineering using Alloy and UML
Ries, Benoit UL; Guelfi, Nicolas UL; Jahic, Benjamin UL

in Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development (2021, February)

Since the emergence of deep learning (DL) a decade ago, only few software engineering development methods have been defined for systems based on this machine learning approach. Moreover, rare are the DL ... [more ▼]

Since the emergence of deep learning (DL) a decade ago, only few software engineering development methods have been defined for systems based on this machine learning approach. Moreover, rare are the DL approaches addressing specifically requirements engineering. In this paper, we define a model-driven engineering (MDE) method based on traditional requirements engineering to improve datasets requirements engineering. Our MDE method is composed of a process supported by tools to aid customers and analysts in eliciting, specifying and validating dataset structural requirements for DL-based systems. Our model driven engineering approach uses the UML semi-formal modeling language for the analysis of datasets structural requirements, and the Alloy formal language for the requirements model execution based on our informal translational semantics. The model executions results are then presented to the customer for improving the dataset validation activity. Our approach aims at validating DL-based dataset structural requirements by modeling and instantiating their datatypes. We illustrate our approach with a case study on the requirements engineering of the structure of a dataset for classification of five-segments digits images. [less ▲]

Detailed reference viewed: 85 (11 UL)
Full Text
Peer Reviewed
See detailSpecifying key-properties to improve the recognition skills of neural networks
Jahic, Benjamin UL; Guelfi, Nicolas UL; Ries, Benoit UL

in Proceedings of the 2020 European Symposium on Software Engineering (2020, November 06)

Software engineers are increasingly asked to build datasets for engineering neural network-based software systems. These datasets are used to train neural networks to recognise data. Traditionally, data ... [more ▼]

Software engineers are increasingly asked to build datasets for engineering neural network-based software systems. These datasets are used to train neural networks to recognise data. Traditionally, data scientists build datasets consisting of random collected or generated data. Their approaches are often costly, inefficient and time-consuming. Software engineers rely on these traditional approaches that do not support precise data selection criteria based on customer’s requirements. In this paper, we introduce an extended software engineering method for dataset augmentation to improve neural networks by satisfying the customer’s requirements. We introduce the notion of key-properties to describe the neural network’s recognition skills. Key-properties are used all along the engineering process for developing the neural network in cooperation with the customer. We propose a rigorous process for augmenting datasets based on the analysis and specification of the key-properties. We conducted an experimentation on a case study on the recognition of the state of a digital meter counter. We demonstrate an informal specification of the neural network’s key-properties and a successful improvement of a neural network’s recognition of the meter counter state. [less ▲]

Detailed reference viewed: 107 (30 UL)
Full Text
Peer Reviewed
See detailSoftware Engineering for Dataset Augmentation using Generative Adversarial Networks
Jahic, Benjamin UL; Guelfi, Nicolas UL; Ries, Benoît UL

in Proceedings of 10th IEEE International Conference on Software Engineering and Service Science (2019, October 19)

Software engineers require a large amount of data for building neural network-based software systems. The engineering of these data is often neglected, though, it is a critical and time-consuming activity ... [more ▼]

Software engineers require a large amount of data for building neural network-based software systems. The engineering of these data is often neglected, though, it is a critical and time-consuming activity. In this work, we present a novel software engineering approach for dataset augmentation using neural networks. We propose a rigorous process for generating synthetic data to improve the training of neural networks. Also, we demonstrate our approach to successfully improve the recognition of handwritten digits using conditional generative adversarial networks (cGAN). Finally, we shortly discuss selected important issues of our process, presenting related work and proposing some improvements. [less ▲]

Detailed reference viewed: 227 (142 UL)
Full Text
See detailSEMKIS : Software Engineering Methodology for Knowledge Management of Intelligent Systems
Jahic, Benjamin UL

Report (2018)

Today, there is a high demand on intelligent systems (e.g chatbots, ob- ject decetors, translators, etc). Engineers have to develop these systems in a lots of di erent domains (e.g. medicine, nance, car ... [more ▼]

Today, there is a high demand on intelligent systems (e.g chatbots, ob- ject decetors, translators, etc). Engineers have to develop these systems in a lots of di erent domains (e.g. medicine, nance, car industry). More- over, these intelligent systems are trained on data collected from these do- mains using an iterative training process. Et each training iteration, the parameters of such system are updated intuitivly based on the engineer's experience. However, gathering and labelling these data is very costly and time consuming. Moreover, the systems are often complex. It is recom- mended to have a strong mathematical background. Thus, engineers often design these systems based on their own experience and collected informa- tion about the system. We present the road towards a novel methodology, called SEMKIS, for the design ang generation of intelligent systems and synthetic learning data. We use the model-driven engineering approach in our methodology to specify and design our systems. We generate speci - cations, designs and implementation of our intelligent systems. We used the mathematical set theory to de ne the concepts for the speci cation of intelligent systems and data synthetis within a formal conceptual frame- work. The concepts have been used in a small executable illustration that focuses on the recognition of handwritten digits on a picture. The results show that our concepts are usable and that we reduce the complexitiy of specifying and designing intelligent systems. [less ▲]

Detailed reference viewed: 66 (17 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: 262 (66 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: 212 (78 UL)
Full Text
See detailTESMA : Requirements, Design and Implementation of a Teaching Specification, Management and Assessment tool
Jahic, Benjamin UL

Report (2016)

The definition and organisation of programs related to their courses of educational institutions is a very complex and exhaustive task. There is a demand for such a solution by the educational ... [more ▼]

The definition and organisation of programs related to their courses of educational institutions is a very complex and exhaustive task. There is a demand for such a solution by the educational institutions, as they need a detailed program descriptions for students and instructors. This task gets even more complicated if these programs and courses needs to be certified according to some international learning standards. At the moment, the availability of such methods or tools is very limited, except for some ad-hoc guidelines, which are use by some few universities, e.g. the Cornell University. Most of the institutions (e.g. University of Luxembourg) allows the professor to us their own methods for specifying their courses. Hence, most of the institutions are sharing similar problems, but using their own defined methods (e.g. naming conventions for its programs). At an university, professors are working in various domains and using therefore their own methods for specifying their courses, which results often in an incomplete program and course description. Methods such as SWEBOK (Software Engineering Body of Knowledge) and CS2103 (Computer Science Curricula 2013) which are program certifications according to an international learning standard are almost not known and used. Thus, programs and courses from different institution cannot be compared, since there is no common structure and process for specifying them. In this master thesis, we present TESMA (Tool for Educational Specification Management and Assessment of teaching programs), a tool based on a domain-specific language, which is dedicated to the teaching domain, for specifying, managing, and assessing programs. The Messir (Scientific Approach to Requirements Engineering) development method has been used for defining the concept and the requirements of the tool. Our research concentrates on the domain-specific language (DSL) in order to define requirements and improving the quality of the DSL’s. We focus on the development of an intuitive and maintainable domain-specific language, usable by people coming from different domains, e.g. software engineers, natural sciences, social sciences, linguistic, and so on. This thesis describes the requirements, the concepts, the realisation, and implementation of the tool, which are based on a domainspecific language of high quality for specifying programs. The quality of our DSL is assessed by a complete used cases related to the University of Luxembourg. [less ▲]

Detailed reference viewed: 195 (70 UL)