Results 41 to 50 of about 1,585,173 (321)
Type shifting and the number system in Persian [PDF]
نشریه پژوهشهای زبانشناسی, 2023 :The present article examines the structure of number phrase in Persian. It is also aimed at explaining the apparent lack of agreement between numerals and nouns in this language.
Amirmohammad Shirzad, Ali Darzi
doaj +1 more source
Intuitions and Competence in Formal Semantics
The Baltic International Yearbook of Cognition, Logic and Communication, 2010 In formal semantics intuition plays a key role, in two ways. Intuitions about semantic properties of expressions are the primary data, and intuitions of the semanticists are the main access to these data.
Martin Stokhof
doaj +1 more source
Specifying collaborative software: a proposal [PDF]
, 1998 The aim of this paper is to illustrate how formal specifications for collaborative interactive systems might be written. It presents a new modelling paradigm for certain systems.
Reeves, Steve
core +2 more sources
Issues in the formal semantics of referentiality
Journal of Portuguese Linguistics, 2015 On October 21st, and 22nd, 2013, during the Conference “On Referentiality”, which took place in Curitiba, Paraná, Brazil, the papers that compose this issue were first discussed.
Henriëtte de Swart +3 more
doaj +2 more sources
Information, 2020 Today, Android accounts for more than 80% of the global market share. Such a high rate makes Android applications an important topic that raises serious questions about its security, privacy, misbehavior and correctness.
Marwa Ziadia +3 more
doaj +1 more source
An Institutional Framework for Heterogeneous Formal Development in UML [PDF]
, 2014 We present a framework for formal software development with UML. In contrast to previous approaches that equip UML with a formal semantics, we follow an institution based heterogeneous approach. This can express suitable formal semantics of the different
A. Boronat +19 more
core +2 more sources
Conformance theory development: semantics, formal models, algorithms
Труды Института системного программирования РАН, 2018 The paper covers theoretical and practical works on conformance testing performed in ISP RAS since 1994 till now. The conformance theory development was done in various directions and, in the whole, was characterized by generalization of the interaction ...
Igor Burdonov, Alexander Kossatchev
doaj +1 more source
TURTLE-P: a UML profile for the formal validation of critical and distributed systems [PDF]
, 2006 The timed UML and RT-LOTOS environment, or TURTLE for short, extends UML class and activity diagrams with composition and temporal operators. TURTLE is a real-time UML profile with a formal semantics expressed in RT-LOTOS.
Apvrille, Ludovic +2 more
core +1 more source
Four-Fold Formal Concept Analysis Based on Complete Idempotent Semifields
Mathematics, 2021 Formal Concept Analysis (FCA) is a well-known supervised boolean data-mining technique rooted in Lattice and Order Theory, that has several extensions to, e.g., fuzzy and idempotent semirings.
Francisco José Valverde-Albacete +1 more
doaj +1 more source
Notions of focus anaphoricity [PDF]
, 2008 This article reviews some of the theoretical notions and empirical phenomena which figure in current formal-semantic theories of focus.
Rooth, Mats
core +1 more source