Matches in SemOpenAlex for { <https://semopenalex.org/work/W1970346126> ?p ?o ?g. }
- W1970346126 endingPage "57" @default.
- W1970346126 startingPage "31" @default.
- W1970346126 abstract "The application of formal techniques can contribute much to the quality of software, which is of utmost importance for safety-critical embedded systems. These techniques, however, are not easy to apply. In particular, methodological guidance is often unsatisfactory. We address this problem by the concept of an agenda . An agenda is a list of activities to be performed for solving a task in software engineering. Agendas used to support the application of formal specification techniques provide detailed guidance for specifiers, templates of the used specification language that only need to be instantiated, and application independent validation criteria. We apply the agenda approach to a particular class of embedded safety-critical systems, the formal specification of which has been investigated in the case-studies of the German project during the last two years." @default.
- W1970346126 created "2016-06-24" @default.
- W1970346126 creator A5057904664 @default.
- W1970346126 creator A5057961754 @default.
- W1970346126 creator A5064516321 @default.
- W1970346126 date "2001-05-01" @default.
- W1970346126 modified "2023-10-01" @default.
- W1970346126 title "Specifying embedded systems with statecharts and Z: an agenda for cyclic software components" @default.
- W1970346126 cites W10742636 @default.
- W1970346126 cites W1481523381 @default.
- W1970346126 cites W1488235988 @default.
- W1970346126 cites W1496951780 @default.
- W1970346126 cites W1503170978 @default.
- W1970346126 cites W1517464903 @default.
- W1970346126 cites W1522500515 @default.
- W1970346126 cites W1545142285 @default.
- W1970346126 cites W1558059851 @default.
- W1970346126 cites W1588178025 @default.
- W1970346126 cites W1649645444 @default.
- W1970346126 cites W1724235656 @default.
- W1970346126 cites W1793594655 @default.
- W1970346126 cites W1851678168 @default.
- W1970346126 cites W1937834213 @default.
- W1970346126 cites W1970495662 @default.
- W1970346126 cites W1975033347 @default.
- W1970346126 cites W1985660652 @default.
- W1970346126 cites W1986699246 @default.
- W1970346126 cites W2002310218 @default.
- W1970346126 cites W2011715386 @default.
- W1970346126 cites W2019712414 @default.
- W1970346126 cites W2020417654 @default.
- W1970346126 cites W2033853454 @default.
- W1970346126 cites W2037338734 @default.
- W1970346126 cites W2095958260 @default.
- W1970346126 cites W2096039823 @default.
- W1970346126 cites W2099529102 @default.
- W1970346126 cites W2101623483 @default.
- W1970346126 cites W2125708466 @default.
- W1970346126 cites W2129395888 @default.
- W1970346126 cites W2133939589 @default.
- W1970346126 cites W2144973245 @default.
- W1970346126 cites W2150531367 @default.
- W1970346126 cites W2162222023 @default.
- W1970346126 cites W2163842000 @default.
- W1970346126 cites W30910289 @default.
- W1970346126 cites W3144495421 @default.
- W1970346126 cites W3151091218 @default.
- W1970346126 cites W86399211 @default.
- W1970346126 doi "https://doi.org/10.1016/s0167-6423(00)00024-1" @default.
- W1970346126 hasPublicationYear "2001" @default.
- W1970346126 type Work @default.
- W1970346126 sameAs 1970346126 @default.
- W1970346126 citedByCount "16" @default.
- W1970346126 crossrefType "journal-article" @default.
- W1970346126 hasAuthorship W1970346126A5057904664 @default.
- W1970346126 hasAuthorship W1970346126A5057961754 @default.
- W1970346126 hasAuthorship W1970346126A5064516321 @default.
- W1970346126 hasConcept C115903868 @default.
- W1970346126 hasConcept C116253237 @default.
- W1970346126 hasConcept C127413603 @default.
- W1970346126 hasConcept C154775046 @default.
- W1970346126 hasConcept C154945302 @default.
- W1970346126 hasConcept C163707989 @default.
- W1970346126 hasConcept C166957645 @default.
- W1970346126 hasConcept C199360897 @default.
- W1970346126 hasConcept C201677973 @default.
- W1970346126 hasConcept C201995342 @default.
- W1970346126 hasConcept C2777212361 @default.
- W1970346126 hasConcept C2777904410 @default.
- W1970346126 hasConcept C2780451532 @default.
- W1970346126 hasConcept C41008148 @default.
- W1970346126 hasConcept C529173508 @default.
- W1970346126 hasConcept C75606506 @default.
- W1970346126 hasConcept C95457728 @default.
- W1970346126 hasConceptScore W1970346126C115903868 @default.
- W1970346126 hasConceptScore W1970346126C116253237 @default.
- W1970346126 hasConceptScore W1970346126C127413603 @default.
- W1970346126 hasConceptScore W1970346126C154775046 @default.
- W1970346126 hasConceptScore W1970346126C154945302 @default.
- W1970346126 hasConceptScore W1970346126C163707989 @default.
- W1970346126 hasConceptScore W1970346126C166957645 @default.
- W1970346126 hasConceptScore W1970346126C199360897 @default.
- W1970346126 hasConceptScore W1970346126C201677973 @default.
- W1970346126 hasConceptScore W1970346126C201995342 @default.
- W1970346126 hasConceptScore W1970346126C2777212361 @default.
- W1970346126 hasConceptScore W1970346126C2777904410 @default.
- W1970346126 hasConceptScore W1970346126C2780451532 @default.
- W1970346126 hasConceptScore W1970346126C41008148 @default.
- W1970346126 hasConceptScore W1970346126C529173508 @default.
- W1970346126 hasConceptScore W1970346126C75606506 @default.
- W1970346126 hasConceptScore W1970346126C95457728 @default.
- W1970346126 hasIssue "1" @default.
- W1970346126 hasLocation W19703461261 @default.
- W1970346126 hasOpenAccess W1970346126 @default.
- W1970346126 hasPrimaryLocation W19703461261 @default.
- W1970346126 hasRelatedWork W1509154515 @default.
- W1970346126 hasRelatedWork W1539167095 @default.
- W1970346126 hasRelatedWork W1541085282 @default.