Results 51 to 60 of about 856,744 (186)
A Model for Naturalistic Programming with Implementation
Applied Sciences, 2019 While the use of natural language for software development has been proposed since the 1960s, it was limited by the inherent ambiguity of natural languages, which people resolve using reasoning in a text or conversation.
Oscar Pulido-Prieto +1 more
doaj +1 more source
From Temporal Models to Property-Based Testing
, 2017 This paper presents a framework to apply property-based testing (PBT) on top of temporal formal models. The aim of this work is to help software engineers to understand temporal models that are presented formally and to make use of the advantages of ...
Alzahrani, Nasser +2 more
core +1 more source
On Languages Accepted by P/T Systems Composed of joins
, 2009 Recently, some studies linked the computational power of abstract computing systems based on multiset rewriting to models of Petri nets and the computation power of these nets to their topology.
Bianca Truthe +14 more
core +2 more sources
Uniform vs. Nonuniform Membership for Mildly Context-Sensitive Languages: A Brief Survey
Algorithms, 2016 Parsing for mildly context-sensitive language formalisms is an important area within natural language processing. While the complexity of the parsing problem for some such formalisms is known to be polynomial, this is not the case for all of them.
Henrik Björklund +2 more
doaj +1 more source
Schwyzertuutsch, Bambara, and Context-Free Languages
Studia Semiotyczne, 2020 In his oft-cited, if rarely read book, Noam Chomsky (Chomsky 1956) ventured to propose a hierarchy of formal grammars. He defined them as rules for rewriting strings of terminal and nonterminal symbols into different strings of terminal and nonterminal ...
doaj
ANALYSING UML-BASED SOFTWARE MODELLING LANGUAGES
Havacılık ve Uzay Teknolojileri Dergisi, 2018 UML is considered as the top popular software modelling language among practitioners. Expectedly, UML has been extended by many other languages, which tailor UML for particular domains (e.g., distributed systems, mobile systems, and embedded systems). In
Mert Ozkaya
doaj
Detecting Credit-Seeking Behavior with Programmed Instruction Framesets in a Formal Languages Course
Education SciencesWhen students use an online eTextbook with content and interactive graded exercises, they often display aspects of two types of behavior: credit-seeking and knowledge-seeking.
Yusuf Elnady +3 more
doaj +1 more source
SensorsCybercriminals have become an imperative threat because they target the most valuable resource on earth, data. Organizations prepare against cyber attacks by creating Cyber Security Incident Response Teams (CSIRTs) that use various technologies to ...
Radu Marian Portase +2 more
doaj +1 more source
Hairdressing in groups: a survey of combings and formal languages
, 1997 A group is combable if it can be represented by a language of words satisfying a fellow traveller property; an automatic group has a synchronous combing which is a regular language.
Rees, Sarah
core +1 more source
Formal Properties of XML Grammars and Languages
, 2000 XML documents are described by a document type definition (DTD). An XML-grammar is a formal grammar that captures the syntactic features of a DTD. We investigate properties of this family of grammars.
Berstel, Jean, Boasson, Luc
core +1 more source