Results 21 to 30 of about 38,949 (255)

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 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

Association Between Individualized Education for Kidney Replacement Therapy Modality Selection and Peritoneal Dialysis Initiation: A Cross‐Sectional Study

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Introduction Peritoneal dialysis (PD) is an established home‐based kidney replacement therapy (KRT), but its uptake remains low in Japan. We evaluated whether individualized education in a dedicated outpatient clinic was associated with the initiation of PD.
Yasuko Ito, Ryuichi Yoshimura, Takaki Yamauchi, Yuta Funakoshi, Hirotaka Sonoda, Seiji Kobayashi, Hiroyuki Terawaki, Takafumi Ito   +7 more
wiley   +1 more source

The Formalism and Language Tools for Semantics Specification of Software Libraries

Моделирование и анализ информационных систем, 2016
The paper is dedicated to the specification of the structure and the behaviour of soft-ware libraries. It describes the existing problems of libraries specifications.
V. M. Itsykson
doaj   +1 more source

Transferrin receptor 1‐mediated iron uptake supports thermogenic activation in human cervical‐derived adipocytes

FEBS Letters, EarlyView.
In this study, we found that human cervical‐derived adipocytes maintain intracellular iron level by regulating the expression of iron transport‐related proteins during adrenergic stimulation. Melanotransferrin is predicted to interact with transferrin receptor 1 based on in silico analysis.
Rahaf Alrifai, Mizuki Seo, Gyath Karadsheh, Fachrur Rizal Mahendra, Máté Á Demény, Ferenc Győry, János András Mótyán, László Fésüs, Endre Kristóf, Rini Arianti   +9 more
wiley   +1 more source

Septin 9 PB domains coordinate centrosome positioning and microtubule acetylation to control epithelial polarity

FEBS Letters, EarlyView.
Septin 9 polybasic domains couple phosphoinositide‐rich membrane binding to centrosome positioning, Golgi organization, and microtubule acetylation to control epithelial polarity. Their loss disrupts this axis, causing centrosome mispositioning, Golgi fragmentation, reduced microtubule acetylation, and polarity inversion via upregulation of the ...
Ting ting Cai, Mohyeddine Omrane, Nassima Benzoubir, Didier Samuel, Ama Gassama‐Diagne   +4 more
wiley   +1 more source