A Technology to Support the Building of Requirements Documents for IoT Software Systems

2020 ◽  
Author(s):  
Danyllo Valente da Silva ◽  
Taisa Guidini Gonçalves ◽  
Guilherme Horta Travassos
Keyword(s):  
Software Systems ◽  
Requirements Documents

scholarly journals An Automated Tool for Detection and Tutoring of Sources of Ambiguities in Requirements Documents

2019 ◽  
Vol 8 (3) ◽  
pp. 2371-2375
Keyword(s):  
Best Practices ◽  
Empirical Evaluation ◽  
Software Systems ◽  
Formal Specifications ◽  
Design Development ◽  
Development Life Cycle ◽  
Requirement Document ◽  
Systems Requirements ◽  
Requirements Document ◽  
Requirements Documents

Software Engineering (SE) is the application of essentials to deal with the analysis, design, development, testing, deployment and management - Software Development Life Cycle (SDLC) - of software systems. Requirements Engineering (RE) is responsible for the most critical task in the SDLC; which is transforming the requirements and wishes of the software users into complete, accurate and formal specifications. One of the main responsibilities of RE is the creation of a software requirements document that exactly, reliably, and totally defines the functional and non-functional properties of the system to be developed. At some point through the RE process, the requirements are written using a Natural Language (NL). On one hand, NLs are flexible, common, and popular. On the other hand, NLs are recognized widely as inherently ambiguous. Ambiguity is noticed in a requirement document when a piece of text is interpreted in distinct ways. This may lead to erroneous software that is too expensive to correct in later phases of the SDLC. Many tools have been developed in the literature to detect ambiguities in requirements documents. Best practices for writing requirements have also been proposed to help avoid ambiguities in the first place. The goal of this paper is to combine features from both approaches by developing the Ambiguity Checker Tutor (ACTutor), which not only detects ambiguities, but also aids in tutoring requirements engineers to apply best practices while writing requirements (rather than merely listing them). The paper is mainly concerned with proving the tutoring effectiveness of ACTutor through empirical evaluation.

Methods of parallel computing for multilevel fuzzy Takagi – Sugeno systems

2016 ◽  
pp. 141-149
Author(s):  
S.V. Yershov ◽  
◽  
R.М. Ponomarenko ◽  
Keyword(s):  
Dynamic Models ◽  
Fuzzy Inference ◽  
Knowledge Bases ◽  
Comparative Characteristic ◽  
Software Systems ◽  
Scientific Papers ◽  
Speed Up ◽  
Diagnostic Software ◽  
Takagi Sugeno

Parallel tiered and dynamic models of the fuzzy inference in expert-diagnostic software systems are considered, which knowledge bases are based on fuzzy rules. Tiered parallel and dynamic fuzzy inference procedures are developed that allow speed up of computations in the software system for evaluating the quality of scientific papers. Evaluations of the effectiveness of parallel tiered and dynamic schemes of computations are constructed with complex dependency graph between blocks of fuzzy Takagi – Sugeno rules. Comparative characteristic of the efficacy of parallel-stacked and dynamic models is carried out.

A Literature Review Study of Software Defect Prediction using Machine Learning Techniques

2018 ◽  
Vol 6 (6) ◽  
pp. 300 ◽  
Author(s):  
Feidu Akmel ◽  
Ermiyas Birihanu ◽  
Bahir Siraj
Keyword(s):  
Machine Learning ◽  
Software Metrics ◽  
Quality Standard ◽  
Machine Learning Techniques ◽  
Software Systems ◽  
Health Care Insurance ◽  
Software Defect ◽  
Learning Techniques ◽  
Software Product

Software systems are any software product or applications that support business domains such as Manufacturing,Aviation, Health care, insurance and so on.Software quality is a means of measuring how software is designed and how well the software conforms to that design. Some of the variables that we are looking for software quality are Correctness, Product quality, Scalability, Completeness and Absence of bugs, However the quality standard that was used from one organization is different from other for this reason it is better to apply the software metrics to measure the quality of software. Attributes that we gathered from source code through software metrics can be an input for software defect predictor. Software defect are an error that are introduced by software developer and stakeholders. Finally, in this study we discovered the application of machine learning on software defect that we gathered from the previous research works.

ANALYZING AND IMPROVING WEB APPLICATION QUALITY USING DESIGN PATTERNS

2012 ◽  
Vol 2 (2) ◽  
pp. 112-116
Author(s):  
Shikha Bhatia ◽  
Mr. Harshpreet Singh
Keyword(s):  
Web Application ◽  
Design Pattern ◽  
Design Patterns ◽  
Web Applications ◽  
Past Research ◽  
Software Systems ◽  
Interactive Software ◽  
Web Based ◽  
Software Application ◽  
Execution Speed

With the mounting demand of web applications, a number of issues allied to its quality have came in existence. In the meadow of web applications, it is very thorny to develop high quality web applications. A design pattern is a general repeatable solution to a generally stirring problem in software design. It should be noted that design pattern is not a finished product that can be directly transformed into source code. Rather design pattern is a depiction or template that describes how to find solution of a problem that can be used in many different situations. Past research has shown that design patterns greatly improved the execution speed of a software application. Design pattern are classified as creational design patterns, structural design pattern, behavioral design pattern, etc. MVC design pattern is very productive for architecting interactive software systems and web applications. This design pattern is partition-independent, because it is expressed in terms of an interactive application running in a single address space. We will design and analyze an algorithm by using MVC approach to improve the performance of web based application. The objective of our study will be to reduce one of the major object oriented features i.e. coupling between model and view segments of web based application. The implementation for the same will be done in by using .NET framework.

RISK ANALYSIS IN SOFTWARE SYSTEMS

2018 ◽  
Vol 06 (05) ◽  
pp. 111-114
Author(s):  
Varsha Mittal ◽  
Neena Gupta
Keyword(s):  
Risk Analysis ◽  
Software Systems

Q-optimal experimental designs and close to them experimental designs for polynomial regression on the interval

2020 ◽  
Vol 86 (5) ◽  
pp. 65-72
Author(s):  
Yu. D. Grigoriev
Keyword(s):  
Optimal Design ◽  
Polynomial Regression ◽  
Direct Consequence ◽  
Experimental Designs ◽  
Optimal Designs ◽  
Software Systems ◽  
General Character ◽  
Support Points ◽  
Optimal Weights ◽  
Universal Expression

The problem of constructing Q-optimal experimental designs for polynomial regression on the interval [–1, 1] is considered. It is shown that well-known Malyutov – Fedorov designs using D-optimal designs (so-called Legendre spectrum) are other than Q-optimal designs. This statement is a direct consequence of Shabados remark which disproved the Erdős hypothesis that the spectrum (support points) of saturated D-optimal designs for polynomial regression on a segment appeared to be support points of saturated Q-optimal designs. We present a saturated exact Q-optimal design for polynomial regression with s = 3 which proves the Shabados notion and then extend this statement to approximate designs. It is shown that when s = 3, 4 the Malyutov – Fedorov theorem on approximate Q-optimal design is also incorrect, though it still stands for s = 1, 2. The Malyutov – Fedorov designs with Legendre spectrum are considered from the standpoint of their proximity to Q-optimal designs. Case studies revealed that they are close enough for small degrees s of polynomial regression. A universal expression for Q-optimal distribution of the weights pi for support points xi for an arbitrary spectrum is derived. The expression is used to tabulate the distribution of weights for Malyutov – Fedorov designs at s = 3, ..., 6. The general character of the obtained expression is noted for Q-optimal weights with A-optimal weight distribution (Pukelsheim distribution) for the same problem statement. In conclusion a brief recommendation on the numerical construction of Q-optimal designs is given. It is noted that in this case in addition to conventional numerical methods some software systems of symbolic computations using methods of resultants and elimination theory can be successfully applied. The examples of Q-optimal designs considered in the paper are constructed using precisely these methods.

Sign in / Sign up

Export Citation Format

Share Document