Results 11 to 20 of about 532,868 (319)

GUBS, a Behavior-based Language for Open System Dedicated to Synthetic Biology [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2012
In this article, we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices, viewed as discrete open dynamical systems.
Adrien Basso-Blandin, Franck Delaplace
doaj   +5 more sources

Object-oriented Programming Laws for Annotated Java Programs [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2010
Object-oriented programming laws have been proposed in the context of languages that are not combined with a behavioral interface specification language (BISL).
Gabriel Falconieri Freitas   +3 more
doaj   +4 more sources

The ModelCC Model-Driven Parser Generator [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2015
Syntax-directed translation tools require the specification of a language by means of a formal grammar. This grammar must conform to the specific requirements of the parser generator to be used.
Fernando Berzal   +3 more
doaj   +4 more sources

Specific Language Impairment is not Specific to Language: the Procedural Deficit Hypothesis [PDF]

open access: yesCortex, 2005
Specific Language Impairment (SLI) has been explained by two broad classes of hypotheses, which posit either a deficit specific to grammar, or a non-linguistic processing impairment. Here we advance an alternative perspective. According to the Procedural Deficit Hypothesis (PDH), SLI can be largely explained by the abnormal development of brain ...
Michael T. Ullman, Elizabeth I. Pierpont
openaire   +3 more sources

Effect of requirements specification using native language on external software quality

open access: yesIET Software, 2023
In the context of requirements specification in Global Software Development, aspects such as differences in culture, language and schedule affect software development teams; however, we do not know the effect of these issues.
Fernando Uyaguari   +4 more
doaj   +1 more source

Specifying Internet of Things Behaviors in Behavior-Driven Development: Concurrency Enhancement and Tool Support

open access: yesApplied Sciences, 2023
The Internet of Things (IoT) systems are inherently distributed with many concurrent behaviors. In order to apply behavior-driven development (BDD), a proven agile practice of software development that brings many benefits, we must ensure that the ...
Bing-Yun Wang   +2 more
doaj   +1 more source

A domain-specific language for the specification of UCON policies

open access: yesJournal of Information Security and Applications, 2022
Ministerio de Ciencia e Innovación LOCOSS - PID2020-114615RB ...
Reina Quintero, Antonia M.   +4 more
openaire   +4 more sources

Towards a greater reliability of driver/device communication around the system life cycle through a contract-based protocol specification

open access: yesIET Cyber-Physical Systems, 2018
Vehicle computers, Internet of Things and cyber-physical systems are all examples of electronic devices in which embedded systems require greater flexibility to process different types of applications and communication protocols.
Rafael Melo Macieira, Edna Barros
doaj   +1 more source

Specification of a specification language [PDF]

open access: yesAnnual 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

Automated video game parameter tuning with XVGDL+ [PDF]

open access: yesJournal of Universal Computer Science, 2022
Usually, human participation is required in order to provide feedback during the game tuning or balancing process. Moreover, this is commonly an iterative process in which play-testing is required as well as human interaction for gathering all important ...
Jorge Ruiz Quiñones   +1 more
doaj   +3 more sources

Home - About - Disclaimer - Privacy