Sometimes referred to as hostile software, malware is a subset of programming codes aimed to exploit weaknesses in computer system security. Not only through data theft but also by letting Distributed Denial of Servic...
详细信息
Nowadays, usability is a fairly important attribute within all types of systems. However, there is a type of system in which the lack of this stands out. These types of systems are ERP systems. Taking this into accoun...
详细信息
ISBN:
(数字)9783031613562
ISBN:
(纸本)9783031613555;9783031613562
Nowadays, usability is a fairly important attribute within all types of systems. However, there is a type of system in which the lack of this stands out. These types of systems are ERP systems. Taking this into account, this article focuses on carrying out a systematic review of the literature regarding the redesign of the graphical interfaces of ERP systems, treating and identifying different methods, especially User-Centered Design methods. In this way, the review seeks to focus on this type of methods, their definitions and uses, how they are used to solve the different usability problems found and identified in graphical interfaces in ERP systems and what are the impacts of some strategies or commonly used methods. In the same way, an analysis of the results obtained through this review will be sought, so that useful information can be collected to be focused on the redesign of ERP system interfaces. This article also details the studies found, the respective search strings, selection criteria, search engines or databases and a conceptual framework oriented to the topic.
Urban environments, with an ever-increasing population and ever-increasing traffic intensity, today represent a challenge for research and implementation of systems that would improve all aspects of life in such envir...
详细信息
The proceedings contain 25 papers. The special focus in this conference is on softwareengineering and Formal Methods. The topics include: User-Guided Verification of Security Protocols via Sound Animation;a...
ISBN:
(纸本)9783031773815
The proceedings contain 25 papers. The special focus in this conference is on softwareengineering and Formal Methods. The topics include: User-Guided Verification of Security Protocols via Sound Animation;a Policy Framework for Regulating External Calls in Smart Contracts;exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability;a Formal Modeling Language for Smart Contracts;symbolic Execution for Precise Information Flow Analysis of Timed Concurrent systems;Validating Traces of Distributed Programs Against TLA+ Specifications;partially-Observable Security Games for Attack-Defence Analysis in softwaresystems;secure Smart Contracts with Isabelle/Solidity;Deductive Verification of SYCL in VerCors;minuska: Towards a Formally Verified Programming Language Framework;hierarchical Learning of Generative Automaton Models from Sequential Data;composing Run-Time Variability Models;model-Checking the Implementation of Consent;grammarForge: Learning Program Input Grammars for Fuzz Testing;verified Configuration and Deployment of Layered Attestation Managers;right or Wrong – Understanding How Users Write software Models in Alloy;an Operational Semantics for Yul;execution-Time Opacity Control for Timed Automata;unlocking the Power of Environment Assumptions for Unit Proofs;towards Quantum Multiparty Session Types;automated Invariant Generation for Efficient Deductive Reasoning About Embedded systems;formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards;leveraging Contracts for Failure Monitoring and Identification in Automated Driving systems.
software developer's approaches to coding, testing, and deployment are changing due to the incorporation of Artificial Intelligence (AI) into software development. AI-Augmented software Development Tools simplify ...
详细信息
softwaresystems are growing in size and complexity. These properties make software defect prevention challenging. Thus, automatically predicting software module defects can help engineers conserve resources. Several ...
详细信息
software testing is a critical aspect of ensuring the reliability and quality of softwaresystems. However, it often poses challenges, particularly in determining the expected output of a System Under Test (SUT) for a...
详细信息
Performing Measurement, Calibration, and Diagnosis (MCD) work through automotive electronic control systems is a primary aspect of vehicle upgrade and maintenance. Nowadays, as the core component of automotive electro...
详细信息
ISO26262 - Parts 4,6,9 - 2nd edition [1-3] was published in December 2018 and addressed functional safety management and engineering at organizations and projects involved in safety activities for road vehicles and mo...
详细信息
ISBN:
(纸本)9783031711381;9783031711398
ISO26262 - Parts 4,6,9 - 2nd edition [1-3] was published in December 2018 and addressed functional safety management and engineering at organizations and projects involved in safety activities for road vehicles and motorcycles, to provide them with requirements and work products needed to manage this activity in pre- and post-production phases for vehicles or vehicle systems. In this paper, we provide an insight between two distinct kinds of safety analysis methods tackling both properties, the (Technical) independence property as well as the freedom from interference property, one is standardized by ISO26262 - part 9 [3] which is the dependent failure analysis method (DFA), while the other one is not standardized by the ISO26262 - Parts 4,6,9 [1-3] and IEC 61508 [4] which is the critical path analysis method (CPA). The paper draws from the authors' past experiences in the automotive sector. In addition, the following case study is considered as one of the pilots for investigating the software-dependent failure analysis vs the critical path analysis by highlighting the approaches for each of them.
Skin melanoma, a dangerous kind of skin cancer, necessitates accurate identification and diagnosis to improve patient outcomes. The use of deep learning algorithms into medical imaging promises significant advancement...
详细信息
暂无评论