Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

An Executable and Testable Semantics for iTasks

Koopman, P.W.M.
Plasmeijer, M.J.
Achten, P.M.

Publication date

January 2008

Publisher

Hertfordshire, UK : University of Hertfordshire

Abstract

Contains fulltext : 72627.pdf (author's version ) (Open Access)IFL 2008, 10 september 200

Extracted data

Related items

Testing with Functions as Specifications

Koopman, P.W.M.

January 2004

Contains fulltext : 60212.pdf (publisher's version ) (Open Access)[S.l. : s.n.

Beyond parsing and lexical look-up

Cutler, A.

January 1976

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

Test Generation Based on Symbolic Specifications

Frantzen, L.
Tretmans, G.J.
Willemse, T.A.C.

January 2005

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

iTasks: Executable Specifications of Interactive Work Flow Systems for the Web

Plasmeijer, Rinus
Achten, Peter
Koopman, Pieter

January 2007

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

iTask as a new paradigm to building GUI applications - extended abstract -

Michels, S.
Plasmeijer, R.
Achten, P.

January 2010

Contains fulltext : 83616.pdf (preprint version ) (Open Access)IFL 201

iEditors: extending iTask with interactive plug-ins

Jansen, Jan Martin
Koopman, P.W.M.
Plasmeijer, M.J.

January 2008

Contains fulltext : 66851.pdf (author's version ) (Open Access

iTasks 2: iTasks for End-users

Lijnse, B.
Plasmeijer, R.

January 2011

Contains fulltext : 92568.pdf (preprint version ) (Closed access

iEditors: Extending iTask with interactive plug-ins

Jansen, J.M.
Plasmeijer, R.
Koopman, P.

January 2011

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

Transparant Ajax and Client-Site Evaluation of iTasks

Plasmeijer, Rinus
Jansen, Jan Martin
Koopman, Pieter
Achten, Peter

January 2007

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

The usual tasks : a library for ad-hoc work in iTasks [extended abstract]

Lijnse, B.
Crombag, E.
Plasmeijer, R.

January 2010

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

Formal Component-Based Semantics

Madlener, K.
Smetsers, S.
Eekelen, M.C.J.D. van

January 2011

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

An Introduction to iTasks: Defining Interactive Work Flows for the Web

Plasmeijer, Rinus
Achten, Peter
Koopman, Pieter

January 2008

Contains fulltext : 35154.pdf (publisher's version ) (Open Access)CEFP 200

iTask as a new paradigm for building GUI applications

Michels, S.
Plasmeijer, R.
Achten, P.

January 2011

Contains fulltext : 92567.pdf (publisher's version ) (Closed access)22nd Internati...

Typed Directional Composable Editors in iTasks

Lijnse, B.
Plasmeijer, R.

January 2020

Contains fulltext : 237853.pdf (Publisher’s version ) (Open Access)IFL 202

Testing and validating the quality of specifications

Koopman, P.W.M.
Achten, P.M.
Plasmeijer, Rinus

January 2008

Contains fulltext : 72501.pdf (publisher's version ) (Open Access)2008 IEEE Intern...

Testing with Functions as Specifications

Koopman, P.W.M.

January 2004

Contains fulltext : 60212.pdf (publisher's version ) (Open Access)[S.l. : s.n.

Beyond parsing and lexical look-up

Cutler, A.

January 1976

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

Test Generation Based on Symbolic Specifications

Frantzen, L.
Tretmans, G.J.
Willemse, T.A.C.

January 2005

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

iTasks: Executable Specifications of Interactive Work Flow Systems for the Web

Plasmeijer, Rinus
Achten, Peter
Koopman, Pieter

January 2007

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

iTask as a new paradigm to building GUI applications - extended abstract -

Michels, S.
Plasmeijer, R.
Achten, P.

January 2010

Contains fulltext : 83616.pdf (preprint version ) (Open Access)IFL 201

iEditors: extending iTask with interactive plug-ins

Jansen, Jan Martin
Koopman, P.W.M.
Plasmeijer, M.J.

January 2008

Contains fulltext : 66851.pdf (author's version ) (Open Access

iTasks 2: iTasks for End-users

Lijnse, B.
Plasmeijer, R.

January 2011

Contains fulltext : 92568.pdf (preprint version ) (Closed access

iEditors: Extending iTask with interactive plug-ins

Jansen, J.M.
Plasmeijer, R.
Koopman, P.

January 2011

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

Transparant Ajax and Client-Site Evaluation of iTasks

Plasmeijer, Rinus
Jansen, Jan Martin
Koopman, Pieter
Achten, Peter

January 2007

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

The usual tasks : a library for ad-hoc work in iTasks [extended abstract]

Lijnse, B.
Crombag, E.
Plasmeijer, R.

January 2010

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

Formal Component-Based Semantics

Madlener, K.
Smetsers, S.
Eekelen, M.C.J.D. van

January 2011

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

An Introduction to iTasks: Defining Interactive Work Flows for the Web

Plasmeijer, Rinus
Achten, Peter
Koopman, Pieter

January 2008

Contains fulltext : 35154.pdf (publisher's version ) (Open Access)CEFP 200

iTask as a new paradigm for building GUI applications

Michels, S.
Plasmeijer, R.
Achten, P.

January 2011

Contains fulltext : 92567.pdf (publisher's version ) (Closed access)22nd Internati...

Typed Directional Composable Editors in iTasks

Lijnse, B.
Plasmeijer, R.

January 2020

Contains fulltext : 237853.pdf (Publisher’s version ) (Open Access)IFL 202

Testing and validating the quality of specifications

Koopman, P.W.M.
Achten, P.M.
Plasmeijer, Rinus

January 2008

Contains fulltext : 72501.pdf (publisher's version ) (Open Access)2008 IEEE Intern...

Testing with Functions as Specifications

Koopman, P.W.M.

January 2004

Contains fulltext : 60212.pdf (publisher's version ) (Open Access)[S.l. : s.n.

Beyond parsing and lexical look-up

Cutler, A.

January 1976

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

Test Generation Based on Symbolic Specifications

Frantzen, L.
Tretmans, G.J.
Willemse, T.A.C.

January 2005

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