Checking semantic correctness of a class of structured programs by program function construction

1992 ◽  
Vol 27 (5) ◽  
pp. 727-729
Author(s):  
E. A. Evtushenko
Keyword(s):  
Program Function ◽  
Semantic Correctness ◽  
Function Construction

scholarly journals How Can SMEs Become More Sustainable? Modelling the M-Commerce Consumer Behaviour with Contingent Free Shipping and Customer Journey’s Touchpoints Optimisation

2021 ◽  
Vol 13 (12) ◽  
pp. 6845
Author(s):  
Eliza Nichifor ◽  
Radu Constantin Lixăndroiu ◽  
Silvia Sumedrea ◽  
Ioana Bianca Chițu ◽  
Gabriel Brătucu
Keyword(s):  
Consumer Behaviour ◽  
Business Models ◽  
Rank Correlation ◽  
Transformation Process ◽  
Analytic Hierarchy ◽  
Negative Experience ◽  
Free Shipping ◽  
Hierarchy Process ◽  
Function Construction

Digital technology is leading the transformation of business models into sustainable ones, expanding and changing the competitiveness scenario. This paper aims to promote a new sustainable retailer model shaped by contingent free shipping theory and the optimisation of the customer’s journey, enriching the scientific literature by proposing a consumer behavioural model that highlights the contribution of four selected touchpoints to the sustainable transformation of SMEs. The research was elaborated by deploying a framework that presents five analysis methods, namely, an additive function construction, a TOPSIS method, a Spearman rank correlation coefficient calculation, a content analysis and an analytic hierarchy process, which engender the new model. Discovering nine distinguished categories of e-tailers, the sustainable retailer profile was developed and the touchpoint with the greatest contribution to the transformation process was identified. The results of the study allowed the authors to propose the model as a solution to withstand the preponderant negative experience provided by analysed e-tailers to digital buyers, representing the opportunity for SMEs’ sustainable transformation and long-term growth in a competitive, ever-growing market.

Investigations of properties of programs by means of the extended algorithmic logic I

1977 ◽  
Vol 1 (1) ◽  
pp. 93-119
Author(s):  
Lech Banachowski
Keyword(s):  
Mathematical Model ◽  
Mathematical Tool ◽  
Methods Of Analysis ◽  
Semantic Correctness ◽  
Algorithmic Logic ◽  
Correctness Of Programs

The present paper contains investigations concerning the semantic correctness of programs. Presented methods of analysis of programs are appropriate for every domain of computation. Algorithmic logic extended by classical quantifiers is a fundamental mathematical tool used in the paper. Interrelations between properties of programs and properties of descriptions of programs are studied (a description of a program is a mathematical model of the notion of a documentation of a program).

Lyapunov function construction for a power system including induction machine dynamic characteristics

2005 ◽  
Vol 151 (1) ◽  
pp. 34-42 ◽  
Author(s):  
Atsushi Ishigame ◽  
Tsuneo Taniguchi
Keyword(s):  
Lyapunov Function ◽  
Power System ◽  
Dynamic Characteristics ◽  
Induction Machine ◽  
Function Construction

Cross-checking semantic correctness

2015 ◽  
Author(s):  
Changwoo Min ◽  
Sanidhya Kashyap ◽  
Byoungyoung Lee ◽  
Chengyu Song ◽  
Taesoo Kim
Keyword(s):  
Semantic Correctness

Consistency Management in Feature-Based Parametric Design

1995 ◽  
Author(s):  
Ana Sofia Vieira
Keyword(s):  
Parametric Design ◽  
Automatic Generation ◽  
Fundamental Principle ◽  
Consistency Management ◽  
Semantic Constraints ◽  
Evaluation Time ◽  
Feature Based ◽  
Consistent Feature ◽  
Semantic Correctness ◽  
Definition Of

Abstract One of the main problems to be solved in design-by-features is to preserve the semantic correctness of feature-based models. Currently, feature-based parametric design (FbPD) is being used as one of the most powerful approaches for solving this problem. In this paper, a fundamental principle of this approach is introduced. Three aspects stated, are: FbPD deals with functional design primitives, it solves the automatic generation of model variations, and it offers the basis for the development of a mechanism to check the semantic correctness of feature-based models. Several concepts for the definition of semantic constraints are presented. They instigate the classification of semantic constraints in four different categories, based on the constraint evaluation-time, purpose, behaviour, and representation. Sinfonia, a system for feature-based parametric design, is presented as a testbed environment for design-by-features applications. One of its modules, the Consistency Handler, uses the constraint concepts introduced in order to preserve the semantic consistency of the models. Several examples illustrate the different types of constraints. In addition, an algorithm applied for the process of a consistent feature modification is presented.

program function key

2000 ◽  
pp. 1348-1348
Author(s):  
Martin H. Weik
Keyword(s):  
Program Function

scholarly journals Linguistic Mistakes

Erkenntnis ◽  
2021 ◽  
Author(s):  
Indrek Reiland
Keyword(s):  
Philosophy Of Language ◽  
Private Language ◽  
Common View ◽  
Philos Stud ◽  
The Common ◽  
Semantic Correctness ◽  
Clear Cases

AbstractEver since the publication of Kripke’s Wittgenstein on Rules and Private Language, there’s been a raging debate in philosophy of language over whether meaning and thought are, in some sense, normative. Most participants in the normativity wars seem to agree that some uses of meaningful expressions are semantically correct while disagreeing over whether this entails anything normative. But what is it to say that a use of an expression is semantically correct? On the so-called orthodox construal, it is to say that it doesn’t result in a factual mistake, that is, in saying or thinking something false. On an alternative construal it is instead to say that it doesn’t result in a distinctively linguistic mistake, that is, in misusing the expression. It is natural to think that these two construals of semantic correctness are simply about different things and not necessarily in competition with each other. However, this is not the common view. Instead, several philosophers who subscribe to the orthodox construal have argued that the alternative construal of correctness as use in accordance with meaning doesn’t make any sense, partly because there are no clear cases of linguistic mistakes (Whiting in Inquiry, 59:219–238, 2016, Wikforss in Philos Stud 102:203–226, 2001). In this paper I develop and defend the idea that there’s a distinctively linguistic notion of correctness as use in accordance with meaning and argue that there are clear cases of linguistic mistakes.

scholarly journals One-way Hash function construction based on two-dimensional hyper-chaotic mappings

2005 ◽  
Vol 54 (10) ◽  
pp. 4562
Author(s):  
Peng Fei ◽  
Qiu Shui-Sheng ◽  
Long Min
Keyword(s):  
Hash Function ◽  
Two Dimensional ◽  
Function Construction

scholarly journals On the Notion of Semantic Correctness: A Context-based Approach

2014 ◽  
Vol 94 (5) ◽  
pp. 1-6
Author(s):  
Priso Essawe-Ndedi ◽  
Marcel Fouda-Ndjodo
Keyword(s):  
Semantic Correctness
Sign in / Sign up

Export Citation Format

Share Document