Abstract modelling: towards a typed declarative language for the conceptual modelling phase

QR Code

Abstract modelling: towards a typed declarative language for the conceptual modelling phase

Modelling languages have become an indispensable aid to practising engineers. They offer modelling at a high level of abstraction backed by features such as automatic simulation and even derivation of production code. However, partly because of the offered automation, modelling languages are limited...

Full description

Bibliographic Details
Main Authors:	Legatiuk, Dmitrii, Nilsson, Henrik
Format:	Conference or Workshop Item
Published:	2017
Subjects:	Modelling Haskell Functional Hybrid Modelling abstraction
Online Access:	https://eprints.nottingham.ac.uk/49306/

Similar Items

Supermonads: one notion to bind them all
by: Bracker, Jan, et al.
Published: (2016)

Funky grooves: declarative programming of full-fledged musical applications
by: Nilsson, Henrik, et al.
Published: (2016)

The arpeggigon: declarative programming of a full-fledged musical application
by: Nilsson, Henrik, et al.
Published: (2016)

Declarative modelling for Bayesian inference by shallow embedding
by: Nilsson, Henrik, et al.
Published: (2014)

Polymonad programming in Haskell
by: Bracker, Jan, et al.
Published: (2016)

Functional reactive programming, refactored
by: Perez, Ivan, et al.
Published: (2016)

Towards safe and efficient functional reactive programming
by: Sculthorpe, Neil
Published: (2011)

A functional specification of effects
by: Swierstra, Wouter
Published: (2009)

Extensible and robust functional reactive programming
by: Perez Dominguez, Ivan
Published: (2018)

Towards modular compilers for effects
by: Day, Laurence, et al.
Published: (2012)

The linguistic representation of abstract concepts in learning science: a cognitive discursive approach
by: Zacharias, Sally
Published: (2018)

A framework for relating, implementing and verifying argumentation models and their translations
by: van Gijzel, Bas
Published: (2016)

Differentiating conceptual modelling from data modelling, knowledge modelling and ontology modelling and a notation for ontology modelling
by: Dillon, Tharam S., et al.
Published: (2008)

Classification of two-dimensional algebras using matrices of structure constants approach
by: Ahmed, Houida Mohammed Hussein
Published: (2020)

Modeling views for the semantic web: As a mechanism for modeling sub-ontologies
by: Chang, Elizabeth, et al.
Published: (2005)

The hybrid model, and adaptive educational hypermedia frameworks
by: Zakaria, Mohamed Ramzy
Published: (2004)

State of the art in metadata abstraction crawlers
by: Dong, Hai, et al.
Published: (2008)

Model Design of Wind/PV/Fossil-Fuel Hybrid Systems
by: Lagunas, J., et al.
Published: (2004)

Efficient implementations of expressive modelling languages
by: Chupin, Guerric
Published: (2022)

The modular compilation of effects
by: Day, Laurence E.
Published: (2017)

Rhetorical move analysis in Political Science research article abstracts in English in Iranian journals
by: Seyed Paydari, Sara, et al.
Published: (2019)

Understanding propaganda from the perspectives of general semantics / Mohd Rajib Ghani
by: Ghani, Mohd Rajib
Published: (2010)

Bornological structures on some algebraic systems
by: Imran, Anwar Nooraldeen
Published: (2018)

Types with extra structure: predicates, equations, composition
by: Hewer, Brandon
Published: (2024)

Resource logics with a diminishing resource: extended abstract
by: Alechina, Natasha, et al.
Published: (2018)

Accuracy and robustness of house price index methods
by: Goh, M., et al.
Published: (2012)

Generating prototypical residential building geometry models using a new hybrid approach
by: Ma, Yuanli, et al.
Published: (2021)

Modeling ontology views: An abstract view model for semantic web
by: Chang, Elizabeth, et al.
Published: (2005)

Towards a formally verified functional quantum programming language
by: Green, Alexander S.
Published: (2010)

Modularity and implementation of mathematical operational semantics
by: Jaskelioff, Mauro Javier, et al.
Published: (2008)

Compressive properties of Min-mod-type limiters in modelling shockwave-containing flows
by: Li, Guangning, et al.
Published: (2020)

Compact fusion
by: Hope, Catherine, et al.
Published: (2006)

Pengabstrakan dan pengindeksan di Malaysia : satu tinjauan / Abd Rashid Abd Rahman, Fuziah Mohd Nadzar and Rosnita Sahrani
by: Abd Rahman, Abd Rashid, et al.
Published: (2013)

A predictive control strategy for a single-phase AC-AC converter
by: Rivera, Marco, et al.
Published: (2016)

Theoretical approaches to identify the potent scaffold for human sirtuin1 activator: Bayesian modeling and density functional theory
by: Sakkiah, S., et al.
Published: (2014)

The meta-Phillips Curve: modelling U.S. inflation in the presence of regime change
by: Aristidou, Chrystalleni
Published: (2018)

Abstraction and illumination: the sublime and Kabbalistic creation motifs in the artworks of Barnett Newman and Mark Rothko
by: Brown, Rosslyn
Published: (2020)

Abstract test case prioritization using repeated small-strength level-combination coverage
by: Huang, Rubing, et al.
Published: (2020)

Declarive web form design for XForms in e-business applications
by: Gardner, W., et al.
Published: (2005)

Computational fluid dynamic modelling of two phase flow on a hydrocyclone
by: Leeuwner, M., et al.
Published: (2008)