Matches in SemOpenAlex for { <https://semopenalex.org/work/W1963383176> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1963383176 abstract "We present and illustrate an approach to software construction that aims to develop a program through building an explicit state-transition model of the requirement. The approach is characterised by the use of systems of definitions that admit interpretation in both conceptual and machine-oriented terms. Such definitions represent a far-reaching generalisation of spreadsheet formulae that is well-adapted for interactive and incremental modelling. The method of elaborating the model of requirements is cognitively based. It depends upon the identification of agents and their privileges for action, as specified in the definition-based notation LSD, and the simulation of agent action in appropriate contexts within the Abstract Definitive Machine. This machine model has several interesting characteristics, including the explicit modelling of data dependency and the interaction and concurrency. We illustrate our method with reference to the development of a small educational program." @default.
- W1963383176 created "2016-06-24" @default.
- W1963383176 creator A5036693252 @default.
- W1963383176 date "1989-09-01" @default.
- W1963383176 modified "2023-09-27" @default.
- W1963383176 title "Software Construction Using Definitions: an Illustrative Example" @default.
- W1963383176 hasPublicationYear "1989" @default.
- W1963383176 type Work @default.
- W1963383176 sameAs 1963383176 @default.
- W1963383176 citedByCount "1" @default.
- W1963383176 crossrefType "journal-article" @default.
- W1963383176 hasAuthorship W1963383176A5036693252 @default.
- W1963383176 hasConcept C115903868 @default.
- W1963383176 hasConcept C116834253 @default.
- W1963383176 hasConcept C121332964 @default.
- W1963383176 hasConcept C154945302 @default.
- W1963383176 hasConcept C193702766 @default.
- W1963383176 hasConcept C19768560 @default.
- W1963383176 hasConcept C199360897 @default.
- W1963383176 hasConcept C2777904410 @default.
- W1963383176 hasConcept C2780791683 @default.
- W1963383176 hasConcept C33923547 @default.
- W1963383176 hasConcept C41008148 @default.
- W1963383176 hasConcept C45357846 @default.
- W1963383176 hasConcept C527412718 @default.
- W1963383176 hasConcept C59822182 @default.
- W1963383176 hasConcept C62520636 @default.
- W1963383176 hasConcept C80444323 @default.
- W1963383176 hasConcept C86803240 @default.
- W1963383176 hasConcept C94375191 @default.
- W1963383176 hasConceptScore W1963383176C115903868 @default.
- W1963383176 hasConceptScore W1963383176C116834253 @default.
- W1963383176 hasConceptScore W1963383176C121332964 @default.
- W1963383176 hasConceptScore W1963383176C154945302 @default.
- W1963383176 hasConceptScore W1963383176C193702766 @default.
- W1963383176 hasConceptScore W1963383176C19768560 @default.
- W1963383176 hasConceptScore W1963383176C199360897 @default.
- W1963383176 hasConceptScore W1963383176C2777904410 @default.
- W1963383176 hasConceptScore W1963383176C2780791683 @default.
- W1963383176 hasConceptScore W1963383176C33923547 @default.
- W1963383176 hasConceptScore W1963383176C41008148 @default.
- W1963383176 hasConceptScore W1963383176C45357846 @default.
- W1963383176 hasConceptScore W1963383176C527412718 @default.
- W1963383176 hasConceptScore W1963383176C59822182 @default.
- W1963383176 hasConceptScore W1963383176C62520636 @default.
- W1963383176 hasConceptScore W1963383176C80444323 @default.
- W1963383176 hasConceptScore W1963383176C86803240 @default.
- W1963383176 hasConceptScore W1963383176C94375191 @default.
- W1963383176 hasLocation W19633831761 @default.
- W1963383176 hasOpenAccess W1963383176 @default.
- W1963383176 hasPrimaryLocation W19633831761 @default.
- W1963383176 hasRelatedWork W1019512710 @default.
- W1963383176 hasRelatedWork W138028074 @default.
- W1963383176 hasRelatedWork W1485585934 @default.
- W1963383176 hasRelatedWork W1570696636 @default.
- W1963383176 hasRelatedWork W1657911928 @default.
- W1963383176 hasRelatedWork W1989428454 @default.
- W1963383176 hasRelatedWork W2033793039 @default.
- W1963383176 hasRelatedWork W2094361460 @default.
- W1963383176 hasRelatedWork W2138777938 @default.
- W1963383176 hasRelatedWork W2162022335 @default.
- W1963383176 hasRelatedWork W2287370275 @default.
- W1963383176 hasRelatedWork W2288232060 @default.
- W1963383176 hasRelatedWork W2317024337 @default.
- W1963383176 hasRelatedWork W2326669999 @default.
- W1963383176 hasRelatedWork W236872150 @default.
- W1963383176 hasRelatedWork W2397802807 @default.
- W1963383176 hasRelatedWork W2803481836 @default.
- W1963383176 hasRelatedWork W2902125489 @default.
- W1963383176 hasRelatedWork W3008137154 @default.
- W1963383176 hasRelatedWork W2741969582 @default.
- W1963383176 isParatext "false" @default.
- W1963383176 isRetracted "false" @default.
- W1963383176 magId "1963383176" @default.
- W1963383176 workType "article" @default.