Matches in SemOpenAlex for { <https://semopenalex.org/work/W1524095072> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W1524095072 endingPage "108" @default.
- W1524095072 startingPage "93" @default.
- W1524095072 abstract "Executable formal specifications, of interactive systems, allow programmers to both reason about their systems, and test them on users. The feedback provided allows an iterative approach to interface design. We argue that new developments in concurrent functional languages make them ideal for executing specifications. To show this, we make use of Haggis, a concurrent functional graphical toolkit. We describe the development of a highly interactive game, from specification to execution. We start with an agent based specification, making use of the CNUCE LOTOS interactor model. This model provides for both modularity and reasoning power. We, however, make use of a VDM like specification language to describe the internal state of our interactors, and so overcome some of the problems with CNUCE interactors. We then show how this specification can be easily and quickly transformed into executable code, using the Haggis system. This application typifies the dynamic, real-time interfaces that many previous prototyping environments do not support." @default.
- W1524095072 created "2016-06-24" @default.
- W1524095072 creator A5035147682 @default.
- W1524095072 creator A5054670253 @default.
- W1524095072 date "1997-01-01" @default.
- W1524095072 modified "2023-09-24" @default.
- W1524095072 title "Interactors and Haggis: Executable specifications for interactive systems" @default.
- W1524095072 cites W1586594417 @default.
- W1524095072 cites W1977167711 @default.
- W1524095072 cites W2039448517 @default.
- W1524095072 cites W2052603522 @default.
- W1524095072 cites W2078944436 @default.
- W1524095072 cites W2079512738 @default.
- W1524095072 cites W2157577995 @default.
- W1524095072 cites W2215999193 @default.
- W1524095072 cites W2296715995 @default.
- W1524095072 doi "https://doi.org/10.1007/978-3-7091-6878-3_7" @default.
- W1524095072 hasPublicationYear "1997" @default.
- W1524095072 type Work @default.
- W1524095072 sameAs 1524095072 @default.
- W1524095072 citedByCount "5" @default.
- W1524095072 crossrefType "book-chapter" @default.
- W1524095072 hasAuthorship W1524095072A5035147682 @default.
- W1524095072 hasAuthorship W1524095072A5054670253 @default.
- W1524095072 hasConcept C115903868 @default.
- W1524095072 hasConcept C160145156 @default.
- W1524095072 hasConcept C199360897 @default.
- W1524095072 hasConcept C41008148 @default.
- W1524095072 hasConceptScore W1524095072C115903868 @default.
- W1524095072 hasConceptScore W1524095072C160145156 @default.
- W1524095072 hasConceptScore W1524095072C199360897 @default.
- W1524095072 hasConceptScore W1524095072C41008148 @default.
- W1524095072 hasLocation W15240950721 @default.
- W1524095072 hasOpenAccess W1524095072 @default.
- W1524095072 hasPrimaryLocation W15240950721 @default.
- W1524095072 hasRelatedWork W1966978306 @default.
- W1524095072 hasRelatedWork W1967499492 @default.
- W1524095072 hasRelatedWork W2026046761 @default.
- W1524095072 hasRelatedWork W2099269319 @default.
- W1524095072 hasRelatedWork W2166318009 @default.
- W1524095072 hasRelatedWork W2475423329 @default.
- W1524095072 hasRelatedWork W2748872428 @default.
- W1524095072 hasRelatedWork W2974582348 @default.
- W1524095072 hasRelatedWork W2999589555 @default.
- W1524095072 hasRelatedWork W3162240892 @default.
- W1524095072 isParatext "false" @default.
- W1524095072 isRetracted "false" @default.
- W1524095072 magId "1524095072" @default.
- W1524095072 workType "book-chapter" @default.