Matches in SemOpenAlex for { <https://semopenalex.org/work/W2105504207> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2105504207 abstract "The Problem Frame approach (PF) is an effective requirements engineering tool for analysing and structuring software development problems. PF has a graphical notation that is easy to use and understand. PF imposes only loose constraints on the features of the language used to describe its components and, with only slight restrictions, Hoare’s CSP can be used. Although not generally applicable, in this paper we show that CSP can provide a constructive way to arrive at a solution to a PF expressed problem. The work is situated in the Problem Frame Semantics for Software Development of Hall, Rapanotti and Jackson." @default.
- W2105504207 created "2016-06-24" @default.
- W2105504207 creator A5040009629 @default.
- W2105504207 creator A5081324430 @default.
- W2105504207 creator A5089000105 @default.
- W2105504207 date "2004-01-01" @default.
- W2105504207 modified "2023-09-24" @default.
- W2105504207 title "A Constructive Approach to Problem Frame Semantics" @default.
- W2105504207 cites W1498489270 @default.
- W2105504207 cites W1539346097 @default.
- W2105504207 cites W1551592336 @default.
- W2105504207 cites W1552647623 @default.
- W2105504207 cites W1661923083 @default.
- W2105504207 cites W1786578488 @default.
- W2105504207 cites W1979290877 @default.
- W2105504207 cites W2006210705 @default.
- W2105504207 cites W2056134008 @default.
- W2105504207 cites W2089438716 @default.
- W2105504207 cites W2113435553 @default.
- W2105504207 cites W2115904912 @default.
- W2105504207 cites W2126410893 @default.
- W2105504207 cites W2160253395 @default.
- W2105504207 cites W2293649135 @default.
- W2105504207 cites W2540382692 @default.
- W2105504207 hasPublicationYear "2004" @default.
- W2105504207 type Work @default.
- W2105504207 sameAs 2105504207 @default.
- W2105504207 citedByCount "1" @default.
- W2105504207 crossrefType "journal-article" @default.
- W2105504207 hasAuthorship W2105504207A5040009629 @default.
- W2105504207 hasAuthorship W2105504207A5081324430 @default.
- W2105504207 hasAuthorship W2105504207A5089000105 @default.
- W2105504207 hasConcept C10138342 @default.
- W2105504207 hasConcept C115903868 @default.
- W2105504207 hasConcept C126042441 @default.
- W2105504207 hasConcept C132829578 @default.
- W2105504207 hasConcept C154945302 @default.
- W2105504207 hasConcept C162324750 @default.
- W2105504207 hasConcept C184337299 @default.
- W2105504207 hasConcept C199360897 @default.
- W2105504207 hasConcept C2775945657 @default.
- W2105504207 hasConcept C2777904410 @default.
- W2105504207 hasConcept C2778701210 @default.
- W2105504207 hasConcept C33923547 @default.
- W2105504207 hasConcept C41008148 @default.
- W2105504207 hasConcept C45357846 @default.
- W2105504207 hasConcept C5065155 @default.
- W2105504207 hasConcept C529173508 @default.
- W2105504207 hasConcept C76155785 @default.
- W2105504207 hasConcept C80444323 @default.
- W2105504207 hasConcept C94375191 @default.
- W2105504207 hasConcept C98045186 @default.
- W2105504207 hasConceptScore W2105504207C10138342 @default.
- W2105504207 hasConceptScore W2105504207C115903868 @default.
- W2105504207 hasConceptScore W2105504207C126042441 @default.
- W2105504207 hasConceptScore W2105504207C132829578 @default.
- W2105504207 hasConceptScore W2105504207C154945302 @default.
- W2105504207 hasConceptScore W2105504207C162324750 @default.
- W2105504207 hasConceptScore W2105504207C184337299 @default.
- W2105504207 hasConceptScore W2105504207C199360897 @default.
- W2105504207 hasConceptScore W2105504207C2775945657 @default.
- W2105504207 hasConceptScore W2105504207C2777904410 @default.
- W2105504207 hasConceptScore W2105504207C2778701210 @default.
- W2105504207 hasConceptScore W2105504207C33923547 @default.
- W2105504207 hasConceptScore W2105504207C41008148 @default.
- W2105504207 hasConceptScore W2105504207C45357846 @default.
- W2105504207 hasConceptScore W2105504207C5065155 @default.
- W2105504207 hasConceptScore W2105504207C529173508 @default.
- W2105504207 hasConceptScore W2105504207C76155785 @default.
- W2105504207 hasConceptScore W2105504207C80444323 @default.
- W2105504207 hasConceptScore W2105504207C94375191 @default.
- W2105504207 hasConceptScore W2105504207C98045186 @default.
- W2105504207 hasLocation W21055042071 @default.
- W2105504207 hasOpenAccess W2105504207 @default.
- W2105504207 hasPrimaryLocation W21055042071 @default.
- W2105504207 hasRelatedWork W106843314 @default.
- W2105504207 hasRelatedWork W114885797 @default.
- W2105504207 hasRelatedWork W1504225104 @default.
- W2105504207 hasRelatedWork W1551236151 @default.
- W2105504207 hasRelatedWork W181154243 @default.
- W2105504207 hasRelatedWork W1831842957 @default.
- W2105504207 hasRelatedWork W1997601697 @default.
- W2105504207 hasRelatedWork W1999987460 @default.
- W2105504207 hasRelatedWork W2001839929 @default.
- W2105504207 hasRelatedWork W2070924778 @default.
- W2105504207 hasRelatedWork W2117241422 @default.
- W2105504207 hasRelatedWork W2130209188 @default.
- W2105504207 hasRelatedWork W2163851590 @default.
- W2105504207 hasRelatedWork W2182192342 @default.
- W2105504207 hasRelatedWork W2253830531 @default.
- W2105504207 hasRelatedWork W2544347935 @default.
- W2105504207 hasRelatedWork W2804127613 @default.
- W2105504207 hasRelatedWork W2914552590 @default.
- W2105504207 hasRelatedWork W61063146 @default.
- W2105504207 hasRelatedWork W82362649 @default.
- W2105504207 isParatext "false" @default.
- W2105504207 isRetracted "false" @default.
- W2105504207 magId "2105504207" @default.
- W2105504207 workType "article" @default.