Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566315049> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1566315049 abstract "The four-variable model of software-controlled embedded systems originally proposed by Parnas and Madey has been used successfully in the development of safety-critical applications in various industries. The model does not explicitly specify the software requirements, but rather bounds them by specifying the system requirements and the input and output hardware interfaces of the system. The software engineers are left with the problem of how to construct software that satisfies the system requirements and hardware interfacing constraints. After formalizing the properties of acceptable system and software implementations using the demonic calculus of relations, we provide (i) a necessary and sufficient condition for the existence of an acceptable software implementation and (ii) a mathematical characterization of the software requirements in terms of their weakest specification." @default.
- W1566315049 created "2016-06-24" @default.
- W1566315049 creator A5025139066 @default.
- W1566315049 creator A5028061042 @default.
- W1566315049 creator A5087660741 @default.
- W1566315049 date "2014-02-10" @default.
- W1566315049 modified "2023-09-25" @default.
- W1566315049 title "From System Requirements to Software Requirements in the Four-Variable Model" @default.
- W1566315049 cites W1493887327 @default.
- W1566315049 cites W1529782179 @default.
- W1566315049 cites W1581024742 @default.
- W1566315049 cites W1589642822 @default.
- W1566315049 cites W1964754311 @default.
- W1566315049 cites W2018849883 @default.
- W1566315049 cites W2082434633 @default.
- W1566315049 cites W2114858295 @default.
- W1566315049 cites W2118410175 @default.
- W1566315049 cites W2125708466 @default.
- W1566315049 cites W2128454637 @default.
- W1566315049 cites W2131261919 @default.
- W1566315049 cites W2152946860 @default.
- W1566315049 cites W2156678305 @default.
- W1566315049 cites W2157785961 @default.
- W1566315049 cites W2163008980 @default.
- W1566315049 cites W2060987719 @default.
- W1566315049 doi "https://doi.org/10.14279/tuj.eceasst.66.887" @default.
- W1566315049 hasPublicationYear "2014" @default.
- W1566315049 type Work @default.
- W1566315049 sameAs 1566315049 @default.
- W1566315049 citedByCount "2" @default.
- W1566315049 countsByYear W15663150492015 @default.
- W1566315049 countsByYear W15663150492016 @default.
- W1566315049 crossrefType "journal-article" @default.
- W1566315049 hasAuthorship W1566315049A5025139066 @default.
- W1566315049 hasAuthorship W1566315049A5028061042 @default.
- W1566315049 hasAuthorship W1566315049A5087660741 @default.
- W1566315049 hasConcept C102780508 @default.
- W1566315049 hasConcept C111919701 @default.
- W1566315049 hasConcept C115903868 @default.
- W1566315049 hasConcept C149091818 @default.
- W1566315049 hasConcept C186846655 @default.
- W1566315049 hasConcept C199360897 @default.
- W1566315049 hasConcept C26713055 @default.
- W1566315049 hasConcept C2776303644 @default.
- W1566315049 hasConcept C2777904410 @default.
- W1566315049 hasConcept C40398212 @default.
- W1566315049 hasConcept C41008148 @default.
- W1566315049 hasConcept C529173508 @default.
- W1566315049 hasConcept C54534927 @default.
- W1566315049 hasConcept C9390403 @default.
- W1566315049 hasConceptScore W1566315049C102780508 @default.
- W1566315049 hasConceptScore W1566315049C111919701 @default.
- W1566315049 hasConceptScore W1566315049C115903868 @default.
- W1566315049 hasConceptScore W1566315049C149091818 @default.
- W1566315049 hasConceptScore W1566315049C186846655 @default.
- W1566315049 hasConceptScore W1566315049C199360897 @default.
- W1566315049 hasConceptScore W1566315049C26713055 @default.
- W1566315049 hasConceptScore W1566315049C2776303644 @default.
- W1566315049 hasConceptScore W1566315049C2777904410 @default.
- W1566315049 hasConceptScore W1566315049C40398212 @default.
- W1566315049 hasConceptScore W1566315049C41008148 @default.
- W1566315049 hasConceptScore W1566315049C529173508 @default.
- W1566315049 hasConceptScore W1566315049C54534927 @default.
- W1566315049 hasConceptScore W1566315049C9390403 @default.
- W1566315049 hasLocation W15663150491 @default.
- W1566315049 hasOpenAccess W1566315049 @default.
- W1566315049 hasPrimaryLocation W15663150491 @default.
- W1566315049 hasRelatedWork W1527042423 @default.
- W1566315049 hasRelatedWork W1557270585 @default.
- W1566315049 hasRelatedWork W1599280730 @default.
- W1566315049 hasRelatedWork W1600577603 @default.
- W1566315049 hasRelatedWork W1682630498 @default.
- W1566315049 hasRelatedWork W1763668541 @default.
- W1566315049 hasRelatedWork W1871321509 @default.
- W1566315049 hasRelatedWork W1976846957 @default.
- W1566315049 hasRelatedWork W1996137960 @default.
- W1566315049 hasRelatedWork W2008726499 @default.
- W1566315049 hasRelatedWork W2034003394 @default.
- W1566315049 hasRelatedWork W2040167041 @default.
- W1566315049 hasRelatedWork W2055146545 @default.
- W1566315049 hasRelatedWork W2110913429 @default.
- W1566315049 hasRelatedWork W2125551606 @default.
- W1566315049 hasRelatedWork W2135120182 @default.
- W1566315049 hasRelatedWork W2144869013 @default.
- W1566315049 hasRelatedWork W2319751712 @default.
- W1566315049 hasRelatedWork W304881923 @default.
- W1566315049 hasRelatedWork W3204589936 @default.
- W1566315049 hasVolume "66" @default.
- W1566315049 isParatext "false" @default.
- W1566315049 isRetracted "false" @default.
- W1566315049 magId "1566315049" @default.
- W1566315049 workType "article" @default.