Results 311 to 319 of about 532,868 (319)

The Specification and Proof Language

1991
This chapter is devoted to the description of the formal specification method used within the AXES proof system. First, we will introduce the mathematical elements used in those formal specifications, and next we will give a complete description of the structured method for specifying formal elements in the AXES language.
openaire   +2 more sources

One language of specifications [PDF]

Cybernetics, 1983
Ya. N. Barzdin, A. K. Zarin'sh, A. A. Kalnin'sh   +2 more
openaire   +1 more source

Time to drop "specific" in "specific language impairment"

Acta Paediatrica, 2002
openaire   +3 more sources

Specific Language Disability [PDF]

BMJ, 1952
openaire   +3 more sources

Extending an implementation language to a specification language

1979
Frank C. Belz, Edward K. Blum, Eric R. Anderson   +2 more
openaire   +2 more sources

Languages: Domain-Specific

2017
openaire   +2 more sources

Programming Language Specification [PDF]

, 2009
openaire   +1 more source

Languages for specific purposes

Journal of Pragmatics, 1983
openaire   +2 more sources

The Specificity of Historical Language

History and Theory, 1968
openaire   +2 more sources