Results 91 to 100 of about 494,717 (236)

Formalizing structured file services for the data storage and retrieval subsystem of the data management system for Spacestation Freedom [PDF]

A brief example of the use of formal methods techniques in the specification of a software system is presented. The report is part of a larger effort targeted at defining a formal methods pilot project for NASA.
Jamsek, Damir A.
core   +1 more source

Systems, methods and apparatus for verification of knowledge-based systems [PDF]

, 2010
Systems, methods and apparatus are provided through which in some embodiments, domain knowledge is translated into a knowledge-based system. In some embodiments, a formal specification is derived from rules of a knowledge-based system, the formal ...
Erickson, John D., Gracinin, Denis, Hinchey, Michael G., Rash, James L., Rouff, Christopher A.   +4 more
core   +1 more source

Clinical Conditions Associated With a High Antinuclear Antibody Titer in Individuals Without Autoimmune Disease

Arthritis Care &Research, EarlyView.
Objective Antinuclear antibodies (ANAs) are present at high titers in 2% of the general population, but their clinical significance in individuals without an autoimmune (AI) disease is not known. We tested the hypothesis that the presence of a high ANA titer in non‐AI conditions is associated with disease.
Matthew Chung, John P. Shelley, Gul Karakoc, John Still, Xiaodi Ruan, Jonathan Mosley, C. Michael Stein, Vivian K. Kawai   +7 more
wiley   +1 more source

Formal Specification in “Z” Language by Software Z/EVES

Advances in Electrical and Electronic Engineering, 2006
The paper shows a short overview of representation formalisms, which can be used for specification of technical system functional requirements. Some basic model schemas of function called User Identification of ITS are presented by formal specification ...
Josef Svec, Jiri Zahradnik
doaj  

Applying Automated Model Extraction for Simulation and Verification of Real-Life SDL Specification With Spin

IEEE Access, 2017
Formally defined Specification and Description Language (SDL) is used for the design and specification of complex safety-critical systems. Each change in the specification of the product should be immediately checked formally against the requirements ...
Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik   +2 more
doaj   +1 more source

The Renal Activity Index for Lupus Identifies Active Renal Disease and Treatment Response in Adult Patients With Systemic Lupus Erythematosus and Lupus Nephritis

Arthritis Care &Research, EarlyView.
Objective We evaluated the ability of the Renal Activity Index for Lupus (RAIL) to discriminate active lupus nephritis (LN) in adult patients with active systemic lupus erythematosus (SLE) and differentiate LN treatment response. Methods Urine samples from adults with biopsy‐proven active class III and IV LN from TULIP‐LN (active LN group ...
Hermine I. Brunner, Ellen M. Cody, Prasad Devarajan, Bin Huang, Chen Chen, Dominic Sinibaldi, Madhu Ramaswamy, Jacob Knagenhjelm, Frederick Jones, Philip Z. Brohawn, Raj Tummala, Catharina Lindholm, Wendy I. White   +12 more
wiley   +1 more source

A Compositional Model for the Formal Specification of User Interface Software [PDF]

, 2013
Submitted for the degree of Doctor of ...
Markopoulos, Panagiotis
core  

Sarilumab in Polyarticular‐Course Juvenile Idiopathic Arthritis: Dose‐Finding and One‐Year Analysis of a Phase 2b, Open‐Label, Multicenter Study

Arthritis Care &Research, Accepted Article.
Objective This study assessed sarilumab in treating patients with polyarticular‐course juvenile idiopathic arthritis (pcJIA). Methods This phase 2b, open‐label study (NCT02776735) consisted of three sequential parts (each with a core‐treatment and extension‐phase). During part 1, three doses were assessed in two weight groups (Group A/B: ≥30–60 kg/≥10–<
Fabrizio De Benedetti, Inmaculada C. Penadés, Irina Nikishina, Ivan Foeldvari, Alberto J. Spindler, Anna Kozlova, Nadina Rubio‐Pérez, Pierre Quartier, Zbigniew Żuber, Raul Barria, Daniel Clemente, Gabriel V. Cornejo, Katherine Marzan, Nancy Liu, Christine Xu, Stephen DiMartino, Angeliki Giannelou, Fei Cao‐Ghoul, Bolanle Akinlade, Lydie Baret‐Cormel   +19 more
wiley   +1 more source

Formal verification of a concurrent file system based on lock guarantee conditions extended concurrent separation logic

Tongxin xuebao
During the formal verification, logic is relied to formally specify and reason about the properties that the file system must satisfy. Concurrent separation logic (CSL) is used in the formal verification of concurrent file systems and to prove the ...
ZHENG Xinmin, LI Mingshu, YANG Qiusong, LI Wenbo   +3 more
doaj  

ARIES: Acquisition of Requirements and Incremental Evolution of Specifications [PDF]

This paper describes a requirements/specification environment specifically designed for large-scale software systems. This environment is called ARIES (Acquisition of Requirements and Incremental Evolution of Specifications). ARIES provides assistance to
Roberts, Nancy A.
core   +1 more source