August 12-13, 2023, Virtual Conference
Manuel Ignacio Castillo López1, Ana Libia Eslava Cervantes2 and Gustavo de la Cruz Martínez3, 1, 3Facultad de Ciencias, Universidad Nacional Autónoma de México, Mexico City, Mexico – ORCID: 0000-0002-2307-5860, 2Instituto de Ciencias Aplicadas y Tecnología, Universidad Nacional Autónoma de México, Mexico City, Mexico
Agile methods in undergraduate courses have been explored by various authors looking to close the gap between industry and professional profiles. We have structured an Android application development course based on a tailored agile process for development of educational software tools. This process is based on both Scrum and Extreme Programming in combination with User Experience (UX) and UserCentered Design (UCD) approaches. The course is executed in two phases: the first half of the course’s semester presents theory on agile and mobile applications development, the latter half is managed as a workshop where students develop for an actual client. The introduction of UX and UCD exploiting the close relationship with stakeholders expected from an agile process can enhance Quality in Use features. Since 2019 two of the projects have been extended in agreement between the client and students. Students, clients and users have found value in the generated products.
Agile development, User-Centered Design, User Experience, Software development, Undergraduate teaching
F. OUAZAR, M.C. BOUKALA, M.IOUALALEN, MOVEP, Computer Science Faculty, USTHB BP, 32 El-Alia, Algiers, ALGERIA
Despite the richness of the BPMN language and its advantages for the specification of business processes, it remains a semi-formal language that does not allow rigorous verification of the specifications produced with it, and does not offer any methodological support to cover the verification phase. Therefore, several works have been proposed with the aim of describing the semantics of the BPMN language by a mathematical formalism. In this paper we address the issue of verifying BPMN models with an approach based on model-checking, where we focus on soundness, fairness, and safety properties. Thus by having a business process modeled by BPMN, a formal semantics for BPMN models based on Kripke structure will be provided for a formal verification of correctness. The properties are expressed with CTL (Computation Tree Logic) formulas. At the end, the model checker NuSMV is used for the verification of the formula.
Business process, model-checking, formal methods, temporal logic CTL, Kripke structure.
Hussain T Alsalem1, Faisal M Alotaibi2, Mohsen H Bamardouf3, Ibrahim A Abukhamseen4, Hussain A AlGallaf5, Yosef A Junaid6, 1, 3, 4, 5, 6College of Computer Sciences & Information Technology, Imam Abdulrahman Bin Faisal University, Kingdom of Saudi Arabia, 2Imam Abdulrahman Bin Faisal University, Dammam, Saudi Arabia
Laboratories in colleges are used to give lectures to students, but what about after working hours? Students can get many benefits from these labs after working hours. For example, students can study and do their homework after working hours. In this project, we have proposed a new technique to control the access of these laboratories. Our idea is to use an encrypted QR code with an OTP authentication that will be connected to LAN network to guarantee that each student enter can only use a single PC. Each student will have his own encrypted QR code that differs from other students. The OTP code will be sent to student’s university email. Our encrypted method used RSA encryption to encrypt the data inside each QR code to guarantee the confidentiality, integrity, non-repudiation, and authenticity of the date.
Security, QR Code, Access control, embedded systems, image detection, OTP.
Harvindran Chandrasekaran1, Tan Yu Xuan2, Tang Kok Mang3, 1Intel Technology Sdn. Bhd, Bayan Lepas, Malaysia, 2Intel Technology Sdn. Bhd, Bayan Lepas, Malaysia, 3Intel Technology Sdn. Bhd, Bayan Lepas, Malaysia
Intel software development ecosystem is complex, consisting of components produced in-house, third-party vendors and open-source community. Different tools and processes are being used to manage individual deliverables throughout the whole software product life cycle. Managing the release of such complex software solution is very competitive, especially when dealing with the dependencies of many moving pieces across different department which contribute to an array of products releases with different requirements and schedule. This paper describes Owl’s View, high performance and scalable personalized dashboard’s architecture which enables very fast data lookup from multiple sources; it also explains how productivity gains can be achieved through eliminating unnecessary waste and summarizing day to day top priority tasks in single dashboard; as well as revealing the impacts that Owl’s View brings to the organization, especially in productivity gains and Intel Software Quality compliance.
Actionable Insight, Interactive, Personalized dashboard, Self-service.
Aljia Bouzidi, Kais Haddar, FSEGS, Tunisia
In the software development lifecycle, business process models (BPMs) turn out to play an ever more pivotal role in the development and continued management of information systems (ISs). However, BPMs and IS models (ISMs) are traditionally expressed separately. This separation causes drift between them, impedes their interoperability, and thus builds up misaligned models. Traceability in software development proves its ability to link together related artifacts from different sources within a project (for examples, business modelling, requirements, design models), improves project outcomes by assisting designers and other stakeholders with common tasks such as impact analysis, etc. In this paper, we propose an improvement and an extension of an existing requirement traceability method in order to tackle the traceability between design, requirement and BPMs. In fact, the extension consists in adding the UML class diagram concepts structured according to the Model View Controller (MVC) design pattern to be traced with BPMN and UML use cases models in a single unified model. This method is based on the integration mechanism, acts at the model and the meta-model levels, and can be used to develop a new IS and/or to examine the misalignment of the existing ISMs and the BPMs after BPM/ISM evolution.
alignment;class diagram; MVC design pattern; BPMN model; use case diagram.