Results 21 to 30 of about 467,057 (287)

Specification Patterns for Robotic Missions [PDF]

, 2018
Mobile and general-purpose robots increasingly support our everyday life, requiring dependable robotics control software. Creating such software mainly amounts to implementing their complex behaviors known as missions.
Berger, Thorsten, Ghezzi, Carlo, Menghi, Claudio, Pelliccione, Patrizio, Tsigkanos, Christos   +4 more
core   +2 more sources

Annotation of Software Requirements Specification (SRS), Extractions of Nonfunctional Requirements, and Measurement of Their Tradeoff

IEEE Access, 2019
Software requirement artifacts such as manuals request for proposals, and software requirements specification (SRS) are commonly focused on functional requirements.
Muhammad Asif, Ishfaq Ali, Muhamad Sheraz Arshed Malik, Muhammad Hasanain Chaudary, Shahzadi Tayyaba, Muhammad Tariq Mahmood   +5 more
doaj   +1 more source

Automated Features Extraction from Software Requirements Specification (SRS) Documents as The Basis of Software Product Line (SPL) Engineering

JITeCS (Journal of Information Technology and Computer Science), 2020
Extractive Software Product Line Engineering (SPLE) puts features on the foremost aspect in domain analysis that needs to be extracted from the existing system's artifact.
M Syauqi Haris, Tri Astoto Kurniawan, Fatwa Ramdani   +2 more
doaj   +1 more source

Information Technologies in Complex Socio-Technical Systems Based on Functional Variability: A Case Study on HVAC Maintenance Work Orders

Applied Sciences, 2021
Information technology (IT) systems are known to promote improvements in quality and productivity of the work environments of complex and adaptive socio-technical systems that span hardware, community and software aspects.
Ivenio T. de Souza, Ana Carolina Rosa, Mario C. R Vidal, Mohammad K. Najjar, Ahmed W A Hammad, Assed N. Haddad   +5 more
doaj   +1 more source

Induction in component-based software synthesis

Lietuvos Matematikos Rinkinys, 2023
The automatic programming and automatic software synthesis systems are relevant software engineering research objects. This article presents the prospects of induction as a component-based software synthesis method.
Vaidas Giedrimas
doaj   +3 more sources

Methodology of Evaluating the Sufficiency of Information for Software Quality Assessment According to ISO 25010

Journal of Information and Organizational Sciences, 2018
The research is devoted to the development of the formalized and ontological models of the software quality according to ISO 25010. These models provide the possibility of the formalization of the software quality assessment according to ISO 25010.
Tetiana Oleksandrivna Hovorushchenko
doaj   +1 more source

A UML-based static verification framework for security [PDF]

, 2010
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates that security characteristics should be considered from the early stages ...
Siveroni, I., Spanoudakis, G., Zisman, A.   +2 more
core   +1 more source

A PRSZT Registry Analysis of Prognostic Factors Influencing Survival and Relapse Rates After Second Allogeneic Hematopoietic Stem Cell Transplantation in Pediatric Acute Lymphoblastic Leukemia

Pediatric Blood &Cancer, EarlyView.
ABSTRACT A second allogeneic (allo‐)hematopoietic stem cell transplantation (HSCT2) is a potential curative option for pediatric patients with acute lymphoblastic leukemia (ALL) following relapse after first allogeneic transplantation (HSCT1), but its efficacy is limited by high relapse rates and transplant‐related toxicity in highly pretreated ...
Ava Momm, Imme Haubitz, Rita Beier, Martin Zimmermann, Andrej Lissat, Peter Bader, Matthias Eyrich, Jan‐Henning Klusmann, Matthias Wölfl, Paul‐Gerhardt Schlegel, Verena Wiegering   +10 more
wiley   +1 more source

A formal approach to support the identification of unsafe control actions of STPA for nuclear protection systems

Nuclear Engineering and Technology, 2022
STPA (System-Theoretic Process Analysis) is a widely used safety analysis technique to identify UCAs (Unsafe Control Actions) resulting in potential losses.
Sejin Jung, Yoona Heo, Junbeom Yoo
doaj   +1 more source

The Synonym management process in SAREL [PDF]

, 2002
The specification phase is one of the most important and least supported parts of the software development process. The SAREL system has been conceived as a knowledge-based tool to improve the specification phase.
Castell Ariño, Núria, Hernández Gómez, M. Angeles   +1 more
core   +1 more source