Results 231 to 240 of about 187,630 (269)
Some of the next articles are maybe not open access.
The specification language GSBL
1991A very preliminary version of GSBL was presented in [CO 88]. From that paper up to now the language has considerably changed, although the underlying methodological ideas are the same. In particular, these changes are especially related with a) the instantiation mechanism which was almost completely redefined and b) the correctness conditions ...
Silvia Clerici, Fernando Orejas
openaire +1 more source
A multimedia query specification language
Proceedings. International Workshop on Multi-Media Database Management Systems, 1996Typically, 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
Operational specification languages
Proceedings of the 1983 annual conference on Computers : Extending the human resource - ACM 83, 1983The “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
Early Language Delay and Specific Language Impairment
Developmental Disabilities Research Reviews, 2011Early 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
Expressive Power of Specification Languages
Formal Aspects of Computing, 1998Abstract. 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
A Systems Specification Language
1983A 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
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. +2 more
openaire +2 more sources
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. +2 more
openaire +2 more sources
Models and languages for parallel computation
ACM Computing Surveys, 1998David B Skillicorn, Domenico Talia
exaly
A Survey on SDN Programming Languages: Toward a Taxonomy
IEEE Communications Surveys and Tutorials, 2016Célio Trois, Magnos Martinello
exaly