Results 1 to 10 of about 566,633 (340)
PyBioNetFit and the Biological Property Specification Language [PDF]
iScience, 2019 Summary: In systems biology modeling, important steps include model parameterization, uncertainty quantification, and evaluation of agreement with experimental observations.
Eshan D. Mitra +7 more
doaj +2 more sources
Trajectory Specification Language for Air Traffic Control [PDF]
Journal of Advanced Transportation, 2018 Trajectory Specification is a method of specifying aircraft trajectories with tolerances such that the position at any given time in flight is constrained to a precisely defined bounding space.
Russell A. Paielli
doaj +2 more sources
GUBS, a Behavior-based Language for Open System Dedicated to Synthetic Biology [PDF]
Electronic 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
The ModelCC Model-Driven Parser Generator [PDF]
Electronic 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 +10 more sources
Object-oriented Programming Laws for Annotated Java Programs [PDF]
Electronic 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
Lietuvos Matematikos Rinkinys, 2023 The paper describes shortly the main principles of representative examples development, provides the essence of the methodology to develop representative examples and an example of its application.
Jelena Gasperovič
doaj +3 more sources
A Component-Based Formal Language Workbench [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 The CBS framework supports component-based specification of programming languages. It aims to significantly reduce the effort of formal language specification, and thereby encourage language developers to exploit formal semantics more widely.
Peter D. Mosses
doaj +1 more source
Verification of the Bully Election Algorithm for Distributed Systems Using TLA+ and PlusCal
Современные информационные технологии и IT-образование, 2022 This article is devoted to verification of the bully election algorithm for distributed systems with TLA+ and PlusCal. In this work, we show an overview of the basic information about distributed systems, then we show definition of election algorithms ...
Aleksey Polyakov +3 more
doaj +1 more source
Building Specifications in the Event-B Institution [PDF]
Logical Methods in Computer Science, 2022 This paper describes a formal semantics for the Event-B specification language using the theory of institutions. We define an institution for Event-B, EVT, and prove that it meets the validity requirements for satisfaction preservation and model ...
Marie Farrell +2 more
doaj +1 more source
Specification language quality evaluation procedure
Lietuvos Matematikos Rinkinys, 2004 The paper describes quality evaluation procedure and gives example of its application. The purpose of the paper is to propose a way to determine specification language appropriateness for concrete project.
Jelena Gasperovič
doaj +3 more sources