Results 91 to 100 of about 2,053,904 (198)

Testing from a stochastic timed system with a fault model [PDF]

, 2008
In this paper we present a method for testing a system against a non-deterministic stochastic finite state machine. As usual, we assume that the functional behaviour of the system under test (SUT) is deterministic but we allow the timing to be non ...
Hierons, RM, Merayo, MG, Nunez, M
core  

FRUIT: Fuzzy Representation of Unbounded and Imprecise Terms in Non-Functional Requirements

IEEE Access
It is challenging to verify Non-Functional Requirements (NFRs) because the traditional verification process typically uses the binary concept of true or false to determine whether a requirement has been fulfilled, leaving no space for uncertainty, even ...
Franklin Parrales-Bravo, Rosangela Caicedo-Quiroz, Julio Barzola-Monteses, Leonel Vasquez-Cevallos   +3 more
doaj   +1 more source

An Architecture Assessment Model: Holistic Evaluation of Software Architecture

IEEE Access
Current architecture review methods predominantly focus on verifying compliance between design and requirements, as well as between code and design. However, they often overlook whether the final product has been adequately tested against architecturally
Mujdat Bayar, Onur Taviloglu, Ahmet Unudulmaz, Yavuz Gunes, Koray Dogutekin   +4 more
doaj   +1 more source

Automated Classification and Identification of Non-Functional Requirements in Agile-Based Requirements Using Pre-Trained Language Models

IEEE Access
Non-functional requirements (NFRs) are critical factors for software quality and success. A frequently reported challenge in agile requirements engineering is that NFRs are often neglected due to the focus on functional requirements (FRs) and the limited
Abdulrahim Alhaizaey, Majed Al-Mashari
doaj   +1 more source

Design of the data-driven software application for identification, population monitoring, and risk assessment for lions in Serengeti Tanzania [PDF]

Computational Ecology and Software
This study presents a design of a Data-Driven software application for identification, population monitoring, and risk assessment for lions in Serengeti Tanzania.
Ambokile Okey, Devotha Nyambo, Shubi Kaijage, et al.   +2 more
doaj  

Deriving Empirically Grounded NFR Specifications from Practitioner Discourse: A Validated Methodology Applied to Trustworthy APIs in the AI Era

Information
Specifying non-functional requirements (NFRs) for rapidly evolving domains such as trustworthy APIs in the AI era is challenging as best practices emerge through practitioner discourse faster than traditional requirements engineering can capture them. We
Apitchaka Singjai
doaj   +1 more source

Applying Quantitative Model Checking to Analyze Safety in Reinforcement Learning

IEEE Access
Reinforcement learning (RL) is rapidly used in safety-centric applications. However, many studies focus on generating optimal policy that achieves maximum rewards.
Ryeonggu Kwon, Gihwon Kwon, Sohee Park, Jiyoung Chang, Suhee Jo   +4 more
doaj   +1 more source

Non-Functional Requirements [PDF]

, 2007
openaire   +1 more source

Analyzing Non-Functional Requirements (NFRs) beyond Requirements Engineering

Engineering, Technology & Applied Science Research
The development of Non-Functional Requirements (NFRs) alongside functional ones has long been the concern of both researchers and software engineers. The main purpose is to derive means to propagate the influence of NFRs throughout the different phases of the software development process.
openaire   +1 more source