Matches in SemOpenAlex for { <https://semopenalex.org/work/W46286113> ?p ?o ?g. }
- W46286113 endingPage "266" @default.
- W46286113 startingPage "245" @default.
- W46286113 abstract "It is our pleasure to dedicate this paper to Manfred Broy at the occasion of his 60th birthday. With it, we are trying to touch on a number of Manfred’s wide-spread interests. The main theme of the paper is software engineering, in particular its formal foundations, something Manfred has been working on more and more intensively for the last years. The particular topic is a contribution to a formalisation of product lines, and Manfred has been active in that area, too. The tool we are using is a specication language based on guarded commands; this relates to quite early work by Manfred and others on the formal semantics of the so-called general correctness notion for non-deterministic programs. It allows the construction of an algebra of product families, and program algebra also is one of Manfred’s many interests. With this sort of round trip through specication, semantics and algebra we hope to illustrate, but also complement his comprehensive and excellent work. So, best wishes, Manfred, for many further successful years!" @default.
- W46286113 created "2016-06-24" @default.
- W46286113 creator A5026224896 @default.
- W46286113 creator A5061120161 @default.
- W46286113 creator A5067382949 @default.
- W46286113 date "2011-07-09" @default.
- W46286113 modified "2023-09-22" @default.
- W46286113 title "Supplementing Product Families with Behaviour" @default.
- W46286113 cites W1491459646 @default.
- W46286113 cites W1500245277 @default.
- W46286113 cites W1531088406 @default.
- W46286113 cites W1531323259 @default.
- W46286113 cites W1768116931 @default.
- W46286113 cites W189544743 @default.
- W46286113 cites W1972612110 @default.
- W46286113 cites W1975018022 @default.
- W46286113 cites W1975051432 @default.
- W46286113 cites W1975551945 @default.
- W46286113 cites W1998368317 @default.
- W46286113 cites W2011444209 @default.
- W46286113 cites W2018849883 @default.
- W46286113 cites W2030865387 @default.
- W46286113 cites W2035306406 @default.
- W46286113 cites W2040039569 @default.
- W46286113 cites W2049680684 @default.
- W46286113 cites W2057494031 @default.
- W46286113 cites W2068047345 @default.
- W46286113 cites W2073957439 @default.
- W46286113 cites W2085133105 @default.
- W46286113 cites W2087713039 @default.
- W46286113 cites W2096732432 @default.
- W46286113 cites W2099321327 @default.
- W46286113 cites W2100742239 @default.
- W46286113 cites W2101180873 @default.
- W46286113 cites W2103953153 @default.
- W46286113 cites W2106103905 @default.
- W46286113 cites W2121843002 @default.
- W46286113 cites W2134908243 @default.
- W46286113 cites W2145605190 @default.
- W46286113 cites W2152946860 @default.
- W46286113 cites W2157785961 @default.
- W46286113 cites W2160885640 @default.
- W46286113 cites W2164063418 @default.
- W46286113 cites W2911667571 @default.
- W46286113 cites W5966633 @default.
- W46286113 cites W2183409206 @default.
- W46286113 cites W2478926232 @default.
- W46286113 cites W2490452405 @default.
- W46286113 hasPublicationYear "2011" @default.
- W46286113 type Work @default.
- W46286113 sameAs 46286113 @default.
- W46286113 citedByCount "10" @default.
- W46286113 countsByYear W462861132012 @default.
- W46286113 countsByYear W462861132013 @default.
- W46286113 countsByYear W462861132015 @default.
- W46286113 countsByYear W462861132016 @default.
- W46286113 countsByYear W462861132021 @default.
- W46286113 crossrefType "journal-article" @default.
- W46286113 hasAuthorship W46286113A5026224896 @default.
- W46286113 hasAuthorship W46286113A5061120161 @default.
- W46286113 hasAuthorship W46286113A5067382949 @default.
- W46286113 hasConcept C136764020 @default.
- W46286113 hasConcept C184337299 @default.
- W46286113 hasConcept C199360897 @default.
- W46286113 hasConcept C23123220 @default.
- W46286113 hasConcept C2524010 @default.
- W46286113 hasConcept C33566652 @default.
- W46286113 hasConcept C33923547 @default.
- W46286113 hasConcept C41008148 @default.
- W46286113 hasConcept C55439883 @default.
- W46286113 hasConcept C88548561 @default.
- W46286113 hasConcept C90673727 @default.
- W46286113 hasConceptScore W46286113C136764020 @default.
- W46286113 hasConceptScore W46286113C184337299 @default.
- W46286113 hasConceptScore W46286113C199360897 @default.
- W46286113 hasConceptScore W46286113C23123220 @default.
- W46286113 hasConceptScore W46286113C2524010 @default.
- W46286113 hasConceptScore W46286113C33566652 @default.
- W46286113 hasConceptScore W46286113C33923547 @default.
- W46286113 hasConceptScore W46286113C41008148 @default.
- W46286113 hasConceptScore W46286113C55439883 @default.
- W46286113 hasConceptScore W46286113C88548561 @default.
- W46286113 hasConceptScore W46286113C90673727 @default.
- W46286113 hasLocation W462861131 @default.
- W46286113 hasOpenAccess W46286113 @default.
- W46286113 hasPrimaryLocation W462861131 @default.
- W46286113 hasRelatedWork W1494019345 @default.
- W46286113 hasRelatedWork W1509538264 @default.
- W46286113 hasRelatedWork W1511843045 @default.
- W46286113 hasRelatedWork W165813828 @default.
- W46286113 hasRelatedWork W1849935949 @default.
- W46286113 hasRelatedWork W1921204338 @default.
- W46286113 hasRelatedWork W2039979541 @default.
- W46286113 hasRelatedWork W2057494031 @default.
- W46286113 hasRelatedWork W2099213660 @default.
- W46286113 hasRelatedWork W2104208948 @default.
- W46286113 hasRelatedWork W2104665556 @default.
- W46286113 hasRelatedWork W2128967738 @default.