Matches in SemOpenAlex for { <https://semopenalex.org/work/W156091556> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W156091556 endingPage "126" @default.
- W156091556 startingPage "105" @default.
- W156091556 abstract "The combination of an increased power of computer systems and a marriage between computing and communication causes an enormous increase in the complexity of applications in almost all domains. This also applies to the real-time and the embedded domains, where onstruction of distributed applications is a major research area. In our research, we develop a framework for the systematic development of distributed real-time control applications. We emphasize the use of pragmatic sound approaches in the design steps of the development process, preferrably based on some common architectural style. For analyzing and validating critical elements of design and implementation, we emphasize the use of formalisms, however. Complexity of applications is such that for real verification and validation, proof or model-checking tecniques are required. We use formalized abstraction as a technique for obtaining the appropriate templates from design and implementation. These abstractions are then dealt with in a mode-checking and analysis tool set. In this paper we show some elements of our approach, in particular we describe the architectural style that we are using, the Radio Broadcast Paradigm, and we demonstrate the viability of our approach by showing a case study." @default.
- W156091556 created "2016-06-24" @default.
- W156091556 creator A5000376594 @default.
- W156091556 creator A5032446193 @default.
- W156091556 creator A5041738698 @default.
- W156091556 creator A5086160333 @default.
- W156091556 date "2001-01-01" @default.
- W156091556 modified "2023-09-24" @default.
- W156091556 title "Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm" @default.
- W156091556 cites W130102441 @default.
- W156091556 cites W1518754760 @default.
- W156091556 cites W1862309416 @default.
- W156091556 cites W2028445966 @default.
- W156091556 cites W2077698590 @default.
- W156091556 cites W2117189826 @default.
- W156091556 cites W2130773092 @default.
- W156091556 cites W2147340401 @default.
- W156091556 cites W2152590033 @default.
- W156091556 cites W2169662794 @default.
- W156091556 doi "https://doi.org/10.12694/scpe.v2i1.116" @default.
- W156091556 hasPublicationYear "2001" @default.
- W156091556 type Work @default.
- W156091556 sameAs 156091556 @default.
- W156091556 citedByCount "0" @default.
- W156091556 crossrefType "journal-article" @default.
- W156091556 hasAuthorship W156091556A5000376594 @default.
- W156091556 hasAuthorship W156091556A5032446193 @default.
- W156091556 hasAuthorship W156091556A5041738698 @default.
- W156091556 hasAuthorship W156091556A5086160333 @default.
- W156091556 hasConcept C110251889 @default.
- W156091556 hasConcept C111472728 @default.
- W156091556 hasConcept C115903868 @default.
- W156091556 hasConcept C120314980 @default.
- W156091556 hasConcept C124304363 @default.
- W156091556 hasConcept C138885662 @default.
- W156091556 hasConcept C171018156 @default.
- W156091556 hasConcept C177264268 @default.
- W156091556 hasConcept C199360897 @default.
- W156091556 hasConcept C2524010 @default.
- W156091556 hasConcept C2777904410 @default.
- W156091556 hasConcept C33923547 @default.
- W156091556 hasConcept C35869016 @default.
- W156091556 hasConcept C41008148 @default.
- W156091556 hasConcept C98045186 @default.
- W156091556 hasConceptScore W156091556C110251889 @default.
- W156091556 hasConceptScore W156091556C111472728 @default.
- W156091556 hasConceptScore W156091556C115903868 @default.
- W156091556 hasConceptScore W156091556C120314980 @default.
- W156091556 hasConceptScore W156091556C124304363 @default.
- W156091556 hasConceptScore W156091556C138885662 @default.
- W156091556 hasConceptScore W156091556C171018156 @default.
- W156091556 hasConceptScore W156091556C177264268 @default.
- W156091556 hasConceptScore W156091556C199360897 @default.
- W156091556 hasConceptScore W156091556C2524010 @default.
- W156091556 hasConceptScore W156091556C2777904410 @default.
- W156091556 hasConceptScore W156091556C33923547 @default.
- W156091556 hasConceptScore W156091556C35869016 @default.
- W156091556 hasConceptScore W156091556C41008148 @default.
- W156091556 hasConceptScore W156091556C98045186 @default.
- W156091556 hasIssue "1" @default.
- W156091556 hasLocation W1560915561 @default.
- W156091556 hasOpenAccess W156091556 @default.
- W156091556 hasPrimaryLocation W1560915561 @default.
- W156091556 hasRelatedWork W1492660572 @default.
- W156091556 hasRelatedWork W1593512916 @default.
- W156091556 hasRelatedWork W1598325070 @default.
- W156091556 hasRelatedWork W1600500094 @default.
- W156091556 hasRelatedWork W1639823514 @default.
- W156091556 hasRelatedWork W1820237830 @default.
- W156091556 hasRelatedWork W1974832135 @default.
- W156091556 hasRelatedWork W1977997149 @default.
- W156091556 hasRelatedWork W1990225614 @default.
- W156091556 hasRelatedWork W1991255163 @default.
- W156091556 hasRelatedWork W2102221159 @default.
- W156091556 hasRelatedWork W2135723333 @default.
- W156091556 hasRelatedWork W2136749512 @default.
- W156091556 hasRelatedWork W2163847145 @default.
- W156091556 hasRelatedWork W2165613260 @default.
- W156091556 hasRelatedWork W2560520372 @default.
- W156091556 hasRelatedWork W2592991225 @default.
- W156091556 hasRelatedWork W2622016337 @default.
- W156091556 hasRelatedWork W30249420 @default.
- W156091556 hasRelatedWork W2126756622 @default.
- W156091556 hasVolume "2" @default.
- W156091556 isParatext "false" @default.
- W156091556 isRetracted "false" @default.
- W156091556 magId "156091556" @default.
- W156091556 workType "article" @default.