Specification of a specification language [PDF]
Annual Review in Automatic Programming, 1981 ESPRESO is a recently developed specification system for process control software. It consists of a specification language and a software system which serves as a tool to check, manage, and evaluate specifications. The language was precisely defined by an Extended Attribute Grammar and by a mapping into a programming language. The definition turned out
openaire +2 more sources
Proper interactive communication of the police as a(n e-)trust-building strategy Introducing the term policing digilect [PDF]
Košická bezpečnostná revue, 2020 Media channels play an indisputable role in the credibility and accuracy of information about security risks and deficiencies in the world around us. Social media sites as media channels are also being paid much attention nowadays.
Erna URICSKA
doaj
Indicators of Regional Innovation Clusters’ Effectiveness in the Higher Education System
Education Sciences, 2020 Under globalization conditions, the main priority of the state education policy in many countries of the world is to ensure higher education quality.
Iryna Lysenko +2 more
doaj +1 more source
WITH OR WITHOUT YOU: THE USE OF DIGITAL TOOLS IN TEACHING LANGUAGES FOR SPECIFIC PURPOSES [PDF]
Journal of Languages for Specific Purposes, 2019 Several factors have affected higher education during the last few decades across the globe, as a consequence of which, teachers nowadays are facing unprecedented changes and challenges of the 21st century. Due to fast developments in technology, digital
Timea Németh, Alexandra Csongor
doaj
DAE Tools: equation-based object-oriented modelling, simulation and optimisation software [PDF]
PeerJ Computer Science, 2016 In this work, DAE Tools modelling, simulation and optimisation software, its programming paradigms and main features are presented. The current approaches to mathematical modelling such as the use of modelling languages and general-purpose programming ...
Dragan D. Nikolić
doaj +2 more sources
Students as Co-Creators in Shaping the Future of Higher Education
Inovacije u Nastavi, 2023 Based on broad empirical research on multilingualism done by members of the Circle U. University Alliance, this paper presents a comparative analysis between the responses of 906 students from Serbia and 976 students from the other eight universities of ...
Nataša Z. Janković, Nevena M. Buđevac
doaj +1 more source
Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically [PDF]
, 2015 Labeled state-to-function transition systems, FuTS for short, are characterized by transitions which relate states to functions of states over general semirings, equipped with a rich set of higher-order operators.
De Vink, Erik P +2 more
core +3 more sources
A language for information commerce processes [PDF]
, 2001 Automatizing information commerce requires languages to represent the typical information commerce processes. Existing languages and standards cover either only very specific types of business models or are too general to capture in a concise way the ...
Aberer, Karl, Wombacher, Andreas
core +4 more sources
Digital Reflective Portfolio Model for Foreign Languages for Specific Purposes
Inovacije u Nastavi, 2021 In the conditions of online teaching and working in digital environment, digital portfolio is one of important tools in the process of improving the quality of teaching and the implementation of the student-oriented model of university teaching.
Miroslava Ristić, Ana Vujović
doaj +1 more source
Language Interaction and Quality Issues: An Exploratory Study [PDF]
, 2012 Most software systems are complex and often composed of a large number of artifacts. To realize each different artifacts specific techniques are used resorting on different abstractions, languages and tools.
Morisio, Maurizio +3 more
core +1 more source