Results 41 to 50 of about 1,590,113 (289)
Timing diagrams requirements modeling using Event-B formal methods [PDF]
, 2010 Timing diagrams provide an intuitive graphical specification for time constraints and causal dependencies between a system’s objects. Such a view can provide useful insight during Requirements Engineering (RE).
Snook, Colin +7 more
core +2 more sources
Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm
Sensors, 2023 The paper proposes a topology-free specification of distributed control systems by means of a process-oriented programming paradigm. The proposed approach was characterized, on the one hand, by a topologically independent specification of the control ...
Vladimir E. Zyubin +3 more
doaj +1 more source
, 2014 This text is a general, self contained, and tool independent introduction into the Java Modeling Language, JML. It is a preview of a chapter planned to appear in a book about the KeY approach and tool to the verification of Java software. JML is the dominating starting point of KeY style Java verification. However, this paper does not in any way depend
Huisman, Marieke +3 more
openaire +3 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Embryonal tumors comprise the majority of malignant central nervous system (CNS) neoplasms diagnosed in children under 3 years of age. Compared with their counterparts in older children, these tumors exhibit distinct molecular biology and a more aggressive clinical phenotype, while their management is complicated by the heightened ...
Sudarshawn Damodharan +3 more
wiley +1 more source
Simulation of stevedoring work in the Klaipeda oil terminal
Transport, 2002 The paper presents the approach of developing simulation models of stevedoring work in oil terminal using aggregate approach and simulation system ARENA. Aggregate approach permits to develop formal specification of simulated systems.
Henrikas PraneviÄius, Dalius Makackas
doaj +1 more source
Specification and Verification of Context-dependent Services [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Current approaches for the discovery, specification, and provision of services ignore the relationship between the service contract and the conditions in which the service can guarantee its contract.
Naseem Ibrahim +2 more
doaj +1 more source
Ewing Sarcoma in Infants and Children Under 2 Years of Age: A French Retrospective Study
Pediatric Blood &Cancer, EarlyView.ABSTRACT Ewing sarcoma, the second most common primary bone cancer in children, requires intensive treatment that may lead to significant long‐term sequelae, particularly in infants. We retrospectively analyzed data from 1621 French patients treated between 1988 and 2015 within the EW88/93/97 or EE99 trials, focusing on 17 infants diagnosed before 24 ...
Elodie Verdier +18 more
wiley +1 more source
Formal Specification and Verification of Self-Adaptive Concurrent Systems
IEEE Access, 2018 The assurance of required quality properties is one of the major challenges in self-adaptive systems (SASs). SASs have the capability to adapt their dynamic behavior autonomously at runtime due to uncertain changes in the environment.
Muhammad Ilyas Fakhir +1 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background The Standards for Psychosocial Care for Children with Cancer and Their Families (“Standards”) are evidence‐based guidelines for psychosocial care in pediatric oncology. Care related to the three “Asking and Monitoring” Standards—Assessment of Psychosocial Needs, Assessment of Financial Needs, and Monitoring Neurocognitive Problems ...
Julia B. Tager +8 more
wiley +1 more source
Concurrency specification using Event-based Specification Chart [PDF]
Computer Science Journal of Moldova, 2012 Architecting framework proposed in [1] can be used efficiently for developing concurrency-intensive systems only if there exist languages and tools corresponding to the described concepts.
Dumitru Ciorba, Victor Besliu
doaj