Results 21 to 30 of about 566,633 (340)
Automated video game parameter tuning with XVGDL+ [PDF]
Journal 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
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
ISML: an interface specification meta-language [PDF]
, 2003 In this paper we present an abstract metaphor model situated within a model-based user interface framework. The inclusion of metaphors in graphical user interfaces is a well established, but mostly craft-based strategy to design.
A. Hussey +27 more
core +1 more source
XCSL: XML Constraint Specification Language
CLEI Electronic Journal, 2018 After being able to mark-up text and validate its structure according to a document type specification, we may start thinking it would be natural to be able to validate some non- structural issues in the documents.
Marta H. Jacinto +3 more
doaj +1 more source
Introduction to the ISO specification language LOTOS [PDF]
, 1987 LOTOS is a specification language that has been specifically developed for the formal description of the OSI (Open Systems Interconnection) architecture, although it is applicable to distributed, concurrent systems in general.
Bolognesi, Tomasso, Brinksma, Ed
core +3 more sources
Modular Composition of Language Features through Extensions of Semantic Language Models [PDF]
, 1999 Today, programming or specification languages are often extended in order to customize them for a particular application domain or to refine the language definition. The extension of a semantic model is often at the centre of such an extension.
Pahl, Claus
core +1 more source
LTL-specification for development and verification of control programs
Моделирование и анализ информационных систем, 2023 This work continues the series of articles on development and verification of control programs based on the LTL-specification. The essence of the approach is to describe the behavior of programs using formulas of linear temporal logic LTL of a special ...
Maxim V. Neyzov, Egor V. Kuzmin
doaj +1 more source
On the Structure and Complexity of Rational Sets of Regular Languages [PDF]
, 2013 In a recent thread of papers, we have introduced FQL, a precise specification language for test coverage, and developed the test case generation engine FShell for ANSI C.
Holzer, Andreas +3 more
core +2 more sources
GUBS, a Behaviour-Based Language for Design in Synthetic Biology [PDF]
Scientific Annals of Computer Science, 2013 In this article, we propose a domain specific language, GUBS (Genomic Unified Behaviour Specification), dedicated to the behavioural specification of synthetic biological devices, viewed as discrete open dynamical systems.
A. Basso-Blandin, F. Delaplace
doaj +1 more source
Towards automatic Maude specifications generation from C functions
Journal of Innovation Information Technology and Application, 2023 In this paper, we aim to contribute to the knowledge about how imperative C functions can be transformed to Maude functional and system modules respectively.
fateh boutekkouk
doaj +1 more source