Results 41 to 50 of about 512,676 (214)
Precise Visual Specification of Design Patterms [PDF]
, 1998 There has been substantial recent interest in captured design expertise expressed as design patterns. Prevalent descriptions of these design patterns suffer from two demerits.
Stuart Kent +3 more
core +1 more source
Invariant Elimination of Definite Iterations over Arrays in C Programs Verification
Моделирование и анализ информационных систем, 2017 This work represents the further development of the method for definite iteration verification [7]. It extends the mixed axiomatic semantics method [1] suggested for C-light program verification. This extension includes a verification method for definite
Ilya V. Maryasov +2 more
doaj +1 more source
Model Checking Conformance of Design Model to Its Formal Specification [PDF]
, 2014 Verification of a design with respect to its requirement specification is important to prevent errors before constructing an actual implementation. Existing works focus on the verifications where specifications are described using temporal logics or ...
Chiba, Yuki +3 more
core
Siriraj Medical Journal, 2018 Objective: The aim of this study was to find a technique to make a disposable monofilament which is accurate and affordable for Thailand context. A prototype of local made monofilament was developed and tested with the calibrated universal machine test
Danu Prommin, Ph.D. +6 more
doaj +1 more source
Biology Open, 2020 The remarkable diversity of neurons in the nervous system is generated during development, when properties such as cell morphology, receptor profiles and neurotransmitter identities are specified.
Alicia Estacio-Gómez +4 more
doaj +1 more source
Practitioners’ Perspectives towards Requirements Engineering: A Survey
Systems, 2023 In this paper, we discuss the results of our survey among 84 practitioners in order to understand practitioners’ perspectives towards requirements engineering. We asked 28 questions to learn the practitioners’ motivations, the techniques and technologies
Mert Ozkaya +4 more
doaj +1 more source
Journal of Semantics, 2001 This paper is concerned with semantic noun phrase typology, focusing on the question of how to draw fine-grained distinctions necessary for an accurate account of natural language phenomena. In the extensive literature on this topic, the most commonly encountered parameters of classification concern the semantic type of the denotation of the noun ...
openaire +2 more sources
A domain-specific language for the specification of UCON policies
Journal of Information Security and Applications, 2022 Ministerio de Ciencia e Innovación LOCOSS - PID2020-114615RB ...
Reina Quintero, Antonia M. +4 more
openaire +4 more sources
La concesividad como complemento argumental: Pragmática i gramática comparada en asturiano y castellano [PDF]
Sintagma, 2008 Asturian grammar distinguishes semantic references of mass and individual nouns by means of agreement with adjectives and clitics. But the morphological category of mass neuter in Asturian also develops in utterances a sophisticated specification system ...
Xulio Viejo Fernández
doaj