Results 231 to 240 of about 188,511 (269)

An introduction to the specification language SPEC

IEEE Software, 1990
SPEC expresses black-box interface specifications for large, distributed systems with real-time constraints. It incorporates conceptual models, inheritance, and the event model. The design of SPEC is discussed, and its primitives, consisting of functions, types, machines, and generators, are described. >
Berzins, Valdis, Luqi
openaire   +2 more sources

Operational specification languages

Proceedings of the 1983 annual conference on Computers : Extending the human resource - ACM 83, 1983
The “operational approach” to software development is based on separation of problem-oriented and implementation-oriented concerns, and features executable specifications and transformational implementation. “Operational specification languages” are executable specification languages designed to fit the goals, assumptions, and strategies of the ...
openaire   +1 more source

A multimedia query specification language

Proceedings. International Workshop on Multi-Media Database Management Systems, 1996
Typically, multimedia applications involve thousands of hours of video, images, audio, text and graphics that need to be stored, retrieved and manipulated in a large multimedia database. There is therefore an important need for novel techniques and systems which provide an efficient retrieval facility of the voluminous information stored in the ...
Naél Hirzalla, Ahmed Karmouch
openaire   +1 more source

Early Language Delay and Specific Language Impairment

Developmental Disabilities Research Reviews, 2011
Early language delay (ELD) is a warning sign that may presage the presence of a later language impairment (LI). In order to allow more targeted identification and earlier intervention for LI, better diagnostic measures for toddlers are needed. Development of accurate predictive/diagnostic models requires consideration of a set of complex interrelated ...
Klee, T, Moyle, J, Stokes, SF
openaire   +4 more sources

A Systems Specification Language

1983
A formal language approach to modelling systems is developed. The presented systems specification language (SSL) is oriented towards specifying system structure and behaviour but it also provides convenient interfaces for incorporating functional specifications of components.
openaire   +1 more source

Expressive Power of Specification Languages

Formal Aspects of Computing, 1998
Abstract. By abstracting away from a particular specification language and considering a ‘specification’ to be just a set of implementations, one can define a partial order on specification languages that reflects their expressive power. In addition, one can show that there is no universal specification language that can express all such ...
openaire   +3 more sources

Domain-specific languages

ACM SIGPLAN Notices, 2000
We survey the literature available on the topic of domain-specific languages as used for the construction and maintenance of software systems. We list a selection of 75 key publications in the area, and provide a summary for each of the papers. Moreover, we discuss terminology, risks and benefits, example domain-specific languages, design methodologies,
van Deursen, A., Klint, P., Visser, J.M.W.   +2 more
openaire   +2 more sources

Extending an implementation language to a specification language

1979
E. R. Anderson 0001, Frank C. Belz, Edward K. Blum   +2 more
openaire   +1 more source

Time Encoding in Languages and Investment Efficiency

Management Science, 2021
Jaehyeon Kim, Jian Zhou, Yongtae Kim
exaly  

Models and languages for parallel computation

ACM Computing Surveys, 1998
David Skillicorn
exaly