Designing domain specific languages for verification and applications to the railway domain

Designing domain specific languages for verification and applications to the railway domain

Bibliographic Details
Main Author:	James, Phillip
Published:	Swansea University 2014
Online Access:	https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.752325

Similar Items

Domain-specific modeling and verification language EDOLA
by: Zhang, Hehua
Published: (2009)

Methods and tools for the integration of formal verification in domain-specific languages
by: Zalila, Faiez
Published: (2014)

Methods and tools for the integration of formal verification in domain-specific languages
by: Zalila, Faiez
Published: (2014)

A Domain-Specific Language for Aviation Domain Interoperability
by: Comitz, Paul H
Published: (2013)

Methods for Domain Specification of Verification-Oriented Process Ontology
by: Natalia O. Garanina, et al.
Published: (2019-12-01)

Domain Specific Test Language
by: Yusupov, Roman, et al.
Published: (2012)

A domain specific language for encoding design rules
by: Morgan, Clinton Alan
Published: (2011)

Simplicity and Specificity in Language: Domain general biases have domain specific effects
by: Jennifer eCulbertson, et al.
Published: (2016-01-01)

Building Domain Specific Languages for Voice Recognition Applications
by: Cristian IONITA
Published: (2008-01-01)

Design and Verification of Clock Domain Crossing Interfaces
by: Al-bayati, Zaid
Published: (2012)

Cascading verification : an integrated method for domain-specific model checking
by: Zervoudakis, F.
Published: (2014)

A Domain-Specific approach to Verification & Validation of Software Requirements
Published: (2012)

Reflective Embedding of Domain-Specific Languages
by: Dinkelaker, Tom
Published: (2011)

Diagrammatic representations in domain-specific languages
by: Tourlas, Konstantinos
Published: (2002)

The Design and Implementation of a Domain-Specific Language in Flowchart Style
by: Kuan-Shang Liu, et al.
Published: (2019)

An Ontology-Based Process for Domain-Specific Visual Language Design
by: TEIXEIRA, M. G. S.
Published: (2018)

PyFlies: A Domain-Specific Language for Designing Experiments in Psychology
by: Igor Dejanović, et al.
Published: (2021-08-01)

A Domain-Specific Language for Refactoring Process Execution: Design and Implementation
by: Lee WeiMar, et al.
Published: (2013)

An embedded domain specific sampling language for Monte Carlo rendering
by: Anderson, Luke (Luke James)
Published: (2017)

Use of domain-specific language in test automation
by: Hussain, Ambreen
Published: (2013)

Bi-dimensional Composition with Domain Specific Languages
by: Leveque Thomas, et al.
Published: (2009-01-01)

A Domain Specific Language for Smart Cities
by: Francisca Rosique, et al.
Published: (2017-11-01)

Abstract interpretation of domain-specific embedded languages
by: Backhouse, Kevin Stuart
Published: (2002)

A Domain-Specific Language for Traceability in Modeling
by: Rahman, Anisur
Published: (2013)

A Domain-Specific Language for Traceability in Modeling
by: Rahman, Anisur
Published: (2013)

Modeling of Enterprise Portals with Domain-Specific Language
by: Wasilewski, Dominik
Published: (2012)

Twig: A Configurable Domain-Specific Language
by: Hulette, Geoffrey, et al.
Published: (2012)

Evolution of Web-Based Applications Using Domain-Specific Markup Languages
by: Guntram Graef, et al.
Published: (2000-11-01)

Developing Microservice-Based Applications Using the Silvera Domain-Specific Language
by: Dejanović, I., et al.
Published: (2022)

SIMPLIFIED GRAPHICAL DOMAIN-SPECIFIC LANGUAGES FOR THE MOBILE DOMAIN – PERSPECTIVES OF LEARNABILITY BY NONTECHNICAL USERS
by: Kamil ŻYŁA
Published: (2017-09-01)

A new method for constructing and reusing domain specific design patterns: Application to RT domain
by: Saoussen Rekhis, et al.
Published: (2017-07-01)

A psychometric study of a domain-specific sentence verification technique test.
by: Purwono, Urip
Published: (1998)

Multi-Domain Modeling through Specification of a Domain Specific Modeling Language for Cyber-Physical Systems Development
by: Mendes, Alexander Lloyd
Published: (2013)

A Domain-Specific Language for Designing the Control Logic of Wind Power System
by: Chia-Yu Lin, et al.
Published: (2019)

A Domain-Specific Language for Efficient Cryptographic Engineering
by: Po-Hsiang Hao, et al.
Published: (2014)

Automating Type Soundness Proofs for Domain-Specific Languages
by: Grewe, Sylvia
Published: (2019)

Evolution of domain-specific languages depending on external libraries
by: Fall, Khady
Published: (2021)

Domain-specific language support for experimental game theory
by: Walkingshaw, Eric
Published: (2012)

RDSL: A Domain Specific Language for Robot manipulation
by: 游信德
Published: (2013)

Introducing Domain Specific Language for Modeling Scrum Projects
by: Zhang, Yanpeng, et al.
Published: (2016)

Cannot write session to /tmp/vufind_sessions/sess_uv1kt1rff6h2t4upbql0c1rsal