Results 21 to 30 of about 532,868 (319)
Specification language quality evaluation procedure
Lietuvos Matematikos Rinkinys, 2004 The paper describes quality evaluation procedure and gives example of its application. The purpose of the paper is to propose a way to determine specification language appropriateness for concrete project.
Jelena Gasperovič
doaj +1 more source
Specification and Construction of Control Flow Semantics [PDF]
, 2006 In this paper we propose a visual language CFSL for specifying control flow semantics of programming languages. We also present a translation from CFSL to graph production systems (GPS) for flow graph construction; that is, any CFSL specification, say ...
Kastenberg, H., Rensink, A., Smelik, R.
core +4 more sources
XCSL: XML Constraint Specification Language
CLEI Electronic Journal, 2018 After being able to mark-up text and validate its structure according to a document type specification, we may start thinking it would be natural to be able to validate some non- structural issues in the documents.
Marta H. Jacinto +3 more
doaj +1 more source
Modal Specifications for Probabilistic Timed Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Modal automata are a classic formal model for component-based systems that comes equipped with a rich specification theory supporting abstraction, refinement and compositional reasoning.
Tingting Han +3 more
doaj +1 more source
LTL-specification for development and verification of control programs
Моделирование и анализ информационных систем, 2023 This work continues the series of articles on development and verification of control programs based on the LTL-specification. The essence of the approach is to describe the behavior of programs using formulas of linear temporal logic LTL of a special ...
Maxim V. Neyzov, Egor V. Kuzmin
doaj +1 more source
Requirements analysis of the VoD application using the tools in TRADE [PDF]
, 1996 This report contains a specification of requirements for a video-on-demand (VoD) application developed at Belgacom, used as a trial application in the 2RARE project. The specification contains three parts: an informal specification in natural language; a
Huyts, Sander, Wieringa, R.J.
core +7 more sources
GUBS, a Behaviour-Based Language for Design in Synthetic Biology [PDF]
Scientific Annals of Computer Science, 2013 In this article, we propose a domain specific language, GUBS (Genomic Unified Behaviour Specification), dedicated to the behavioural specification of synthetic biological devices, viewed as discrete open dynamical systems.
A. Basso-Blandin, F. Delaplace
doaj +1 more source
A language-specific comprehension strategy [PDF]
Nature, 1983 Infants acquire whatever language is spoken in the environment into which they are born. The mental capability of the newborn child is not biased in any way towards the acquisition of one human language rather than another. Because psychologists who attempt to model the process of language comprehension are interested in the structure of the human mind,
Cutler, A. +3 more
openaire +4 more sources
THE SPECIFICITY OF LANGUAGE IN PSYCHOANALYSIS [PDF]
Ágora: Estudos em Teoria Psicanalítica, 2016 ABSTRACT: The following article aims to discuss the conceptions of language proposed in Freud's work, considering the specificity of the notion of representation, and to point out its consequences in clinical practice. In the representation theory, it is possible to conceive a notion of language characterized by heterogeneity (representation of the ...
openaire +3 more sources
On Formal Specification of Maple Programs [PDF]
, 2012 This paper is an example-based demonstration of our initial results on the formal specification of programs written in the computer algebra language MiniMaple (a substantial subset of Maple with slight extensions). The main goal of this work is to define
Khan, Muhammad Taimoor +1 more
core +1 more source