Results 221 to 230 of about 2,080,270 (249)

The specification of ?specification?

Minds and Machines, 1995
The notion of “specification” plays a key role in the developing science of computing. It is typically considered to be the keystone in the software development process. However, there is no single, generally agreed meaning of “specification” that bears close scrutiny.
Derek Partridge, Antony Galton
openaire   +2 more sources

Specificity of Specific Language Impairment

Folia Phoniatrica et Logopaedica, 2009
In children with specific language impairment (SLI) their problems are supposed to be specifically restricted to language. However, both on a theoretical basis as well as on a practical basis it is often difficult to make a sharp distinction between specific and nonspecific language disorders. In a three-step study we found in the first place that in a
Goorhuis-Brouwer, SM, Wijnberg-Williams, B.J.   +1 more
openaire   +3 more sources

Contextualizing Specificity: Specific and Non-Specific Effects of Treatment

American Journal of Clinical Hypnosis, 2007
Modern medicine thrives on the ideal of specific diseases, and specificity has revolutionized thinking in clinical practice (e.g., psychiatry) as well as biomedical research (e.g., neuroscience). Different notions of specificity exist (e.g., clinical, biological, and behavioral).
Amir, Raz, Robert, Michels
openaire   +2 more sources

Encoding specificity, retrieval specificity or structural specificity?

Journal of Verbal Learning and Verbal Behavior, 1976
Abstract We attempt to show that Tulving's theory of encoding specificity and Bahrick's theory of associative continuity are not contradictory but complementary. In order to do this we realized an experiment in the same conditions that Thomson and Tulving (1970) used but with a different material: the strongly and weakly associated cues maintain the
S. Ehrlich, M. Philippe
openaire   +1 more source

Diagrammatic specifications

Mathematical Structures in Computer Science, 2003
This paper presents a simple and powerful diagrammatic framework for dealing with specifications in computer science. Following a classical line, we define diagrammatic specifications as a kind of generalised sketch. In addition, the specifications themselves are defined as the realisations of projective sketches.
openaire   +1 more source

The Specification of Assemblers

IEEE Transactions on Software Engineering, 1976
The problem of applying formal techniques of program specification and verification to large complex programs is considered. It is argued that a practical solution requires a variety of techniques, including both procedural and nonprocedural specifications, hierarchical program organization, and the use of program transformations. In particular, a case
openaire   +3 more sources

Specific and non-specific autoreactive immunity

Journal of Autoimmunity, 1992
Most autoimmune diseases are HLA-associated which supports the notion that they are dependent upon specific immune activation of a limited set of T cell clones. Findings which imply that induction of autoimmune reactivity probably does not differ from normal immune responses are discussed. The possibility of transferring autoimmune disease using T cell
E, Möller, M A, Valugerdi, A, Ridderstad   +2 more
openaire   +2 more sources

The specification statement

ACM Transactions on Programming Languages and Systems, 1988
Dijkstra's programming language is extended by specification statements , which specify parts of a program “yet to be developed.” A weakest precondition semantics is given for these statements so that the extended language has a meaning as precise as the original.
openaire   +2 more sources