Results 91 to 100 of about 1,260,399 (325)
Seamless Development Applicability: an Experiment
Труды Института системного программирования РАН, 2018 Requirements and code, in conventional software engineering wisdom, belong to entirely different worlds. Is it possible to unify these two worlds? A unified framework could help make software easier to change and reuse. To explore the feasibility of such
Alexandr Naumchev
doaj +1 more source
Complementarity of Long‐Reads and Optical Mapping in Parkinson's Disease for Structural Variants
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Long‐read sequencing and optical genome mapping technologies have the ability to detect large and complex structural variants. This has led to the discovery of novel pathogenic variants in neurodegenerative movement disorders. Thus, we aimed to systematically compare the SV detection capabilities of OGM and ONT in Parkinson's disease.
André Fienemann +17 more
wiley +1 more source
Formal Verification of Simulation Scenarios in Aviation Scenario Definition Language (ASDL)
Aerospace, 2018 Formal methods offer well-defined means for mathematical verification of the functional specifications of software systems. For model-based engineering, model checking is a verification technique that explores all possible system states.
Bharvi Chhaya, Shafagh Jafer, Umut Durak
doaj +1 more source
Model based system engineering approach of a lightweight embedded TCP/IP
, 2011 The use of embedded software is growing very rapidly. Accessing the internet is a necessary service which has large range of applications in many fields. The Internet is based on TCP/IP which is a very important stack.
Hassan, Ahmed E. +2 more
core +1 more source
Arthritis Care &Research, EarlyView.This review summarizes artificial intelligence (AI)‐supported nonpharmacological interventions for adults with chronic rheumatic diseases, detailing their components, purpose, and current evidence base. We searched Embase, PubMed, Cochrane, and Scopus databases for studies describing AI‐supported interventions for adults with chronic rheumatic diseases.
Nirali Shah +5 more
wiley +1 more source
Software engineering and Ada (Trademark) training: An implementation model for NASA [PDF]
The choice of Ada for software engineering for projects such as the Space Station has resulted in government and industrial groups considering training programs that help workers become familiar with both a software culture and the intricacies of a new ...
Freedman, Glenn, Legrand, Sue
core +1 more source
Arthritis Care &Research, EarlyView.Objective Australian evidence on lived and care experiences of chronic musculoskeletal shoulder pain (CMSP), irrespective of disorder classification or disease, is limited. However, such evidence is important for person‐centered care and informing local service pathways and care guidelines or standards.
Sonia Ranelli +8 more
wiley +1 more source
Journal of Industrial Design and Engineering Graphics, 2010 The paper presents general notions about graphical language used in engineering, the international standards used for representing objects and also the most important software applications used in Computer Aided Design for the development of products in ...
BADEA Florina, PETRESCU Ligia
doaj
Software lifecycle management based on the OMG Essence standard
Авіаційно-космічна техніка та технологіяSubject of Study: The article focuses on the processes of managing the software development lifecycle. The goal is to enhance the efficiency of team-based software development and to foster the advancement of practices, methods, and methodologies in ...
Andrii Zelenkov +2 more
doaj +1 more source
Evaluation of software architecture using fuzzy color Petri net [PDF]
Management Science Letters, 2013 Unified modeling language is a semi-formal and standard language for describing software architecture easily used to meet requirement functionality and to describe behavioral and structural specifications in software engineering.
Zohreh Shiriyan Dehkordi +2 more
doaj