Matches in SemOpenAlex for { <https://semopenalex.org/work/W2109756421> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2109756421 abstract "Summary form only given. Two fundamental pillars of Software Engineering practice are formalism and structure. Formalism allows engineers to reason rigorously about the system in hand; structure allows them to understand its purposes and behaviours. In the constructive activity of system development structure must therefore take precedence. The central role of formalism is to check and verify — or, where necessary, correct — the products of more informal modes of thought. In this talk these ideas are explored in the context of an illustrative system. The large structure of the system functionality is discussed, together with the nature of the components of that structure. Informal criteria of functional simplicity are presented. The inescapable mismatch between an intelligible functional structure and implementable software architecture is exposed. The role of formalism in these concerns is suggested." @default.
- W2109756421 created "2016-06-24" @default.
- W2109756421 creator A5019890262 @default.
- W2109756421 creator A5087051920 @default.
- W2109756421 date "2011-08-01" @default.
- W2109756421 modified "2023-09-24" @default.
- W2109756421 title "AVSS 2011 demo session: Interactive person-retrieval in a distributed camera network" @default.
- W2109756421 cites W2101897478 @default.
- W2109756421 doi "https://doi.org/10.1109/avss.2011.6027399" @default.
- W2109756421 hasPublicationYear "2011" @default.
- W2109756421 type Work @default.
- W2109756421 sameAs 2109756421 @default.
- W2109756421 citedByCount "0" @default.
- W2109756421 crossrefType "proceedings-article" @default.
- W2109756421 hasAuthorship W2109756421A5019890262 @default.
- W2109756421 hasAuthorship W2109756421A5087051920 @default.
- W2109756421 hasBestOaLocation W21097564212 @default.
- W2109756421 hasConcept C107457646 @default.
- W2109756421 hasConcept C115903868 @default.
- W2109756421 hasConcept C123657996 @default.
- W2109756421 hasConcept C142362112 @default.
- W2109756421 hasConcept C153349607 @default.
- W2109756421 hasConcept C199360897 @default.
- W2109756421 hasConcept C2777904410 @default.
- W2109756421 hasConcept C2778701210 @default.
- W2109756421 hasConcept C41008148 @default.
- W2109756421 hasConcept C558565934 @default.
- W2109756421 hasConcept C73301696 @default.
- W2109756421 hasConcept C80444323 @default.
- W2109756421 hasConcept C98045186 @default.
- W2109756421 hasConceptScore W2109756421C107457646 @default.
- W2109756421 hasConceptScore W2109756421C115903868 @default.
- W2109756421 hasConceptScore W2109756421C123657996 @default.
- W2109756421 hasConceptScore W2109756421C142362112 @default.
- W2109756421 hasConceptScore W2109756421C153349607 @default.
- W2109756421 hasConceptScore W2109756421C199360897 @default.
- W2109756421 hasConceptScore W2109756421C2777904410 @default.
- W2109756421 hasConceptScore W2109756421C2778701210 @default.
- W2109756421 hasConceptScore W2109756421C41008148 @default.
- W2109756421 hasConceptScore W2109756421C558565934 @default.
- W2109756421 hasConceptScore W2109756421C73301696 @default.
- W2109756421 hasConceptScore W2109756421C80444323 @default.
- W2109756421 hasConceptScore W2109756421C98045186 @default.
- W2109756421 hasLocation W21097564211 @default.
- W2109756421 hasLocation W21097564212 @default.
- W2109756421 hasOpenAccess W2109756421 @default.
- W2109756421 hasPrimaryLocation W21097564211 @default.
- W2109756421 hasRelatedWork W107839348 @default.
- W2109756421 hasRelatedWork W120797731 @default.
- W2109756421 hasRelatedWork W143605822 @default.
- W2109756421 hasRelatedWork W1740431068 @default.
- W2109756421 hasRelatedWork W1853781952 @default.
- W2109756421 hasRelatedWork W2001056255 @default.
- W2109756421 hasRelatedWork W2022363644 @default.
- W2109756421 hasRelatedWork W2055509660 @default.
- W2109756421 hasRelatedWork W2080411738 @default.
- W2109756421 hasRelatedWork W2103356465 @default.
- W2109756421 hasRelatedWork W2116812750 @default.
- W2109756421 hasRelatedWork W2132466790 @default.
- W2109756421 hasRelatedWork W2154705074 @default.
- W2109756421 hasRelatedWork W2159431895 @default.
- W2109756421 hasRelatedWork W2161678214 @default.
- W2109756421 hasRelatedWork W2764170761 @default.
- W2109756421 hasRelatedWork W651407088 @default.
- W2109756421 hasRelatedWork W833475433 @default.
- W2109756421 hasRelatedWork W1486781213 @default.
- W2109756421 hasRelatedWork W2258606755 @default.
- W2109756421 isParatext "false" @default.
- W2109756421 isRetracted "false" @default.
- W2109756421 magId "2109756421" @default.
- W2109756421 workType "article" @default.