Ask
Search
My library

About
Statistics
Contact
Data Protection
Accessibility
Imprint
Changelog
Frontend: v1.31.3
Backend: v1.11.4

We use cookies to provide a better user experience.

Data Protection

Model-based programming environments for spreadsheets

Cunha, J.
Mendes, J.
Saraiva, J.
Visser, J.

Publication date

January 2014

DOI

10.1016/j.scico.2014.02.002

Publisher

Elsevier BV

Abstract

Contains fulltext : 132716.pdf (preprint version ) (Open Access

Extracted data

Related items

Computerising Mathematical Text

Kamareddine, F.
Wells, J.
Zengler, C.
Barendregt, H.

January 2014

Contains fulltext : 134655.pdf (preprint version ) (Open Access

Cote de Resyste -- Automated Model Based Testing

Tretmans, G.J.
Brinksma, E.

January 2002

Contains fulltext : 176037.pdf (publisher's version ) (Open Access

Schutgens, R.J.B.

January 2014

Contains fulltext : 132670.pdf (publisher's version ) (Open Access)1 p

Model-Based Programming Environments for Spreadsheets

Cunha, J.
Saraiva, J.
Visser, J.M.W.

January 2012

Contains fulltext : 103536.pdf (author's version ) (Open Access)Programming Langua...

Language Models

Hiemstra, D.

January 2009

Contains fulltext : 227630.pdf (preprint version ) (Open Access

Vaandrager, F.

January 2017

Contains fulltext : 168710.pdf (Publisher’s version ) (Open Access

Data modeling in complex application domains

Hofstede, A.H.M. ter
Proper, H.A.
Weide, T.P. van der

January 1992

Contains fulltext : 112662.pdf (preprint version ) (Open Access

Operational Machine Specification in a functional programming language

Koopman, P.
Eekelen, M.C.J.D. van
Plasmeijer, M.J.

January 1993

Contains fulltext : 135260.pdf (publisher's version ) (Open Access

Grössler, A.

January 2008

Contains fulltext : 68815.pdf (publisher's version ) (Closed access

Language-Driven System Design

Mauw, Sjouke
Wiersma, W.T.
Willemse, T.A.C.

January 2004

Contains fulltext : 60550.pdf (preprint version ) (Open Access

Object-oriented modelling based on logbooks

Bommel, P. van
Frederiks, P.J.M.
Weide, T.P. van der

January 1996

Contains fulltext : 28418___.PDF (publisher's version ) (Open Access

BUUUUUUUUUUUUUUT

Crasborn, O.A.

January 2015

Contains fulltext : 142380.pdf (publisher's version ) (Open Access

Enterprise language processing

Boves, L.W.J.

January 2012

Contains fulltext : 106941.pdf (publisher's version ) (Open Access

Practical Formal Methods

Keiren, J.J.A.

January 2019

Contains fulltext : 207828.pdf (preprint version ) (Open Access

Software implementation

Aranha, D.F.
Dominguez Perez, L.J.
Mrabet, A.
Schwabe, P.

January 2016

Contains fulltext : 168765.pdf (publisher's version ) (Closed access

Computerising Mathematical Text

Kamareddine, F.
Wells, J.
Zengler, C.
Barendregt, H.

January 2014

Contains fulltext : 134655.pdf (preprint version ) (Open Access

Cote de Resyste -- Automated Model Based Testing

Tretmans, G.J.
Brinksma, E.

January 2002

Contains fulltext : 176037.pdf (publisher's version ) (Open Access

Schutgens, R.J.B.

January 2014

Contains fulltext : 132670.pdf (publisher's version ) (Open Access)1 p

Model-Based Programming Environments for Spreadsheets

Cunha, J.
Saraiva, J.
Visser, J.M.W.

January 2012

Contains fulltext : 103536.pdf (author's version ) (Open Access)Programming Langua...

Language Models

Hiemstra, D.

January 2009

Contains fulltext : 227630.pdf (preprint version ) (Open Access

Vaandrager, F.

January 2017

Contains fulltext : 168710.pdf (Publisher’s version ) (Open Access

Data modeling in complex application domains

Hofstede, A.H.M. ter
Proper, H.A.
Weide, T.P. van der

January 1992

Contains fulltext : 112662.pdf (preprint version ) (Open Access

Operational Machine Specification in a functional programming language

Koopman, P.
Eekelen, M.C.J.D. van
Plasmeijer, M.J.

January 1993

Contains fulltext : 135260.pdf (publisher's version ) (Open Access

Grössler, A.

January 2008

Contains fulltext : 68815.pdf (publisher's version ) (Closed access

Language-Driven System Design

Mauw, Sjouke
Wiersma, W.T.
Willemse, T.A.C.

January 2004

Contains fulltext : 60550.pdf (preprint version ) (Open Access

Object-oriented modelling based on logbooks

Bommel, P. van
Frederiks, P.J.M.
Weide, T.P. van der

January 1996

Contains fulltext : 28418___.PDF (publisher's version ) (Open Access

BUUUUUUUUUUUUUUT

Crasborn, O.A.

January 2015

Contains fulltext : 142380.pdf (publisher's version ) (Open Access

Enterprise language processing

Boves, L.W.J.

January 2012

Contains fulltext : 106941.pdf (publisher's version ) (Open Access

Practical Formal Methods

Keiren, J.J.A.

January 2019

Contains fulltext : 207828.pdf (preprint version ) (Open Access

Software implementation

Aranha, D.F.
Dominguez Perez, L.J.
Mrabet, A.
Schwabe, P.

January 2016

Contains fulltext : 168765.pdf (publisher's version ) (Closed access

Computerising Mathematical Text

Kamareddine, F.
Wells, J.
Zengler, C.
Barendregt, H.

January 2014

Contains fulltext : 134655.pdf (preprint version ) (Open Access

Cote de Resyste -- Automated Model Based Testing

Tretmans, G.J.
Brinksma, E.

January 2002

Contains fulltext : 176037.pdf (publisher's version ) (Open Access

Schutgens, R.J.B.

January 2014

Contains fulltext : 132670.pdf (publisher's version ) (Open Access)1 p