Results 11 to 20 of about 512,676 (214)
Declarative specifications [PDF]
The Knowledge Engineering Review, 1996 Abstract Deriving formal specifications from informal requirements is extremely difficult since one has to overcome the conceptual gap between an application domain and the domain of formal specification methods. To reduce this gap we introduce application-specific specification languages, i.e., graphical and textual notations that ...
Fuchs, Norbert E, Robertson, David
openaire +3 more sources
A Specification Translation from Behavioral Specifications to Rewrite Specifications [PDF]
IEICE Transactions on Information and Systems, 2008 There are two ways to describe a state machine as an algebraic specification: a behavioral specification and a rewrite specification. In this study, we propose a translation system from behavioral specifications to rewrite specifications to obtain a verification system which has the strong points of verification techniques for both specifications ...
Masaki Nakamura 0001 +3 more
openaire +3 more sources
On the “Specifics” of Specific Reading Disability and Specific Language Impairment [PDF]
Journal of Child Psychology and Psychiatry, 2000 The reading and oral language scores of 110 children with a specific reading disability (SRD) and 102 children with a specific language impairment (SLI) indicated that approximately 53% of children with an SRD and children with an SLI could be equally classified as having an SRD or an SLI, 55%
G M, McArthur +4 more
openaire +2 more sources
Specification of a specification language [PDF]
Annual Review in Automatic Programming, 1981 ESPRESO is a recently developed specification system for process control software. It consists of a specification language and a software system which serves as a tool to check, manage, and evaluate specifications. The language was precisely defined by an Extended Attribute Grammar and by a mapping into a programming language. The definition turned out
openaire +2 more sources
nfdi4plants/ARC-specification: 1.2
, 2023 <h1>ARC-specification release 1.2</h1> <p>Now, including further explanations and specifications about <code>ISA-XLSX</code>.
DataPLANT community
core +1 more source
Alga polysaccharide based bacterial encapsulation technology for potential self-healing concrete [PDF]
E3S Web of Conferencescracks are common in concrete due to its relatively low tensile strength, often caused by external loads that generate high tensile stress. Immediate and proper treatment is essential to prevent crack propagation and costly repairs. Self-healing concrete
Aprinnisa Rechita +2 more
doaj +1 more source
On the Specificity of Renin [PDF]
Science, 1940 Fil: Braun Menéndez, Eduardo. Instituto de Fisiología. Facultad de Medicina.
Fasciolo, Juan C. +3 more
openaire +3 more sources
ISPRS International Journal of Geo-Information, 2018 Cesium Markup Language (CZML) is an emerging specification for the representation and exchange of time-dynamic geospatial objects on virtual globes. The principal focus of CZML is on the definition of time-varying characteristics that are important for ...
Liangfeng Zhu +2 more
doaj +1 more source
How Specific Is Specific Impairment?
Journal of the American Academy of Child & Adolescent Psychiatry, 2000 To describe the usefulness of impairment items placed at the end of each diagnostic section of a structured instrument (the Diagnostic Interview Schedule for Children Version 2.3) in an attempt to link impairment to specific diagnoses.Data from 3 sites of the Methods for the Epidemiology of Child and Adolescent Mental Disorders Study were used to ...
H R, Bird +7 more
openaire +2 more sources
ÇYTHYE-2018 Yönetmeliğine göre I-Enkesitli Eğilme Elemanları için Yardımcı Abaklar
Düzce Üniversitesi Bilim ve Teknoloji Dergisi, 2021 Türkiye’de çelik yapıların tasarımı 2016 yılından itibaren Çelik Yapıların Tasarım, Hesap ve Yapım Esasları (ÇYTHYE) yönetmeliği kullanılarak yapılmaktadır. Bu yönetmelik yapısal çelik elemanlarını öncelikle maruz kaldığı iç kuvvetlere göre sınıflandırıp
Mehmet Bakır Bozkurt
doaj +1 more source