Results 31 to 40 of about 856,744 (186)
, 2015 Coordination languages simplify design and development of concurrent systems. Particularly, exogenous coordination languages, like BIP and Reo, enable system designers to express the interactions among components in a system explicitly.
Arbab, Farhad +3 more
core +5 more sources
European Union Terminology Unification - Directions for the Contrastive Study of Two Slavic and Two Non-Slavic Languages (Bulgarian, Polish, Modern Greek and English) [PDF]
, 2011 This study attempts to characterize terminology unification in the European Union legislation, regarding both content and form. It analyzes terms related to the thematic field of environmental law in four official EU languages: two Slavic (Bulgarian and ...
Genew-Puhalewa, Iliana
core +3 more sources
IEEE Access, 2022 Alvis is a formal modelling language developed primarily for modelling concurrent systems including real-time systems. The prepared model is compiled, and the resulting runnable model allows, e.g., to generate the state space and to verify the model ...
Marcin Szpyrka +2 more
doaj +1 more source
Linguistics, indigenous languages, and analysis from a formal perspective
Revista Linguística, 2022 By taking into account both the study of indigenous languages and the discipline of linguistics at large, this issue of Revista Linguística presents to the reader a series of dialogues internal to the field itself, as well as those that take place at the
Marília Facó Soares, Claudia Uller
doaj +3 more sources
Algorithms for Converting Finite Automata Corresponding to Infinite Iterative Trees
Современные информационные технологии и IT-образование, 2021 In this paper, we work with some different variants of finite automata, each of which corresponds to an infinite iterative tree constructed for some given morphism.
Mikhail Abramyan, Boris Melnikov
doaj +1 more source
Declarative Specification [PDF]
, 1996 Deriving formal specifications from informal requirements is extremely difficult since one has to overcome the conceptual gap between an application domain and the domain of formal specification methods.
David Robertson +11 more
core +2 more sources
Relations linguistiques et mathématiques chez Leibniz
Methodos, 2014 Leibniz's theory of universal expression focuses on the notion of relationship and introduces a link between the words of a natural language and the mind which is not only that of representation. It also establishes similarities between natural languages
Marc Parmentier
doaj +1 more source
A Component-Based Formal Language Workbench [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 The CBS framework supports component-based specification of programming languages. It aims to significantly reduce the effort of formal language specification, and thereby encourage language developers to exploit formal semantics more widely.
Peter D. Mosses
doaj +1 more source
Syntax without Abstract Objects [PDF]
, 2011 In line with the nominalistic denial of the existence of abstract objects, a basic theory of syntax for formal languages is developed and shown to satisfy certain fundamental ...
Kozian, Ralf
core +1 more source
Flexible RNA design under structure and sequence constraints using formal languages [PDF]
, 2013 The problem of RNA secondary structure design (also called inverse folding) is the following: given a target secondary structure, one aims to create a sequence that folds into, or is compatible with, a given structure.
Denise, Alain +5 more
core +5 more sources