Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022079560> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2022079560 startingPage "215" @default.
- W2022079560 abstract "Requirements of reactive systems express the relationship between sensors and actuators and are usually described in a natural language and a mix of state-based and stream-based paradigms. Translating these into a formal language is an important pre-requisite to automate the verification of requirements. The analysis effort required for the translation is a prime hurdle to formalization gaining acceptance among software engineers and testers. We present Expressive Decision Tables (EDT), a novel formal notation designed to reduce the translation efforts from both state-based and stream-based informal requirements. We have also built a tool, EDTTool, to generate test data and expected output from EDT specifications. In a case study consisting of more than 200 informal requirements of a real-life automotive application, translation of the informal requirements into EDT needed 43% lesser time than their translation into Statecharts. Further, we tested the Statecharts using test data generated by EDTTool from the corresponding EDT specifications. This testing detected one bug in a mature feature and exposed several missing requirements in another. The paper presents the EDT notation, comparison to other similar notations and the details of the case study." @default.
- W2022079560 created "2016-06-24" @default.
- W2022079560 creator A5010942252 @default.
- W2022079560 creator A5044625800 @default.
- W2022079560 creator A5072926614 @default.
- W2022079560 creator A5090378067 @default.
- W2022079560 date "2014-03-24" @default.
- W2022079560 modified "2023-09-22" @default.
- W2022079560 title "EDT: a specification notation for reactive systems" @default.
- W2022079560 cites W1592055490 @default.
- W2022079560 cites W1595351489 @default.
- W2022079560 cites W1598283028 @default.
- W2022079560 cites W1990017745 @default.
- W2022079560 cites W2081938726 @default.
- W2022079560 cites W2096039823 @default.
- W2022079560 cites W2099529102 @default.
- W2022079560 cites W2104577599 @default.
- W2022079560 cites W2120856638 @default.
- W2022079560 cites W2147880466 @default.
- W2022079560 cites W4997652 @default.
- W2022079560 cites W2084544691 @default.
- W2022079560 doi "https://doi.org/10.5555/2616606.2616870" @default.
- W2022079560 hasPublicationYear "2014" @default.
- W2022079560 type Work @default.
- W2022079560 sameAs 2022079560 @default.
- W2022079560 citedByCount "2" @default.
- W2022079560 countsByYear W20220795602015 @default.
- W2022079560 crossrefType "proceedings-article" @default.
- W2022079560 hasAuthorship W2022079560A5010942252 @default.
- W2022079560 hasAuthorship W2022079560A5044625800 @default.
- W2022079560 hasAuthorship W2022079560A5072926614 @default.
- W2022079560 hasAuthorship W2022079560A5090378067 @default.
- W2022079560 hasConcept C111498074 @default.
- W2022079560 hasConcept C115903868 @default.
- W2022079560 hasConcept C116253237 @default.
- W2022079560 hasConcept C199360897 @default.
- W2022079560 hasConcept C201677973 @default.
- W2022079560 hasConcept C33923547 @default.
- W2022079560 hasConcept C41008148 @default.
- W2022079560 hasConcept C45357846 @default.
- W2022079560 hasConcept C75606506 @default.
- W2022079560 hasConcept C94375191 @default.
- W2022079560 hasConceptScore W2022079560C111498074 @default.
- W2022079560 hasConceptScore W2022079560C115903868 @default.
- W2022079560 hasConceptScore W2022079560C116253237 @default.
- W2022079560 hasConceptScore W2022079560C199360897 @default.
- W2022079560 hasConceptScore W2022079560C201677973 @default.
- W2022079560 hasConceptScore W2022079560C33923547 @default.
- W2022079560 hasConceptScore W2022079560C41008148 @default.
- W2022079560 hasConceptScore W2022079560C45357846 @default.
- W2022079560 hasConceptScore W2022079560C75606506 @default.
- W2022079560 hasConceptScore W2022079560C94375191 @default.
- W2022079560 hasLocation W20220795601 @default.
- W2022079560 hasOpenAccess W2022079560 @default.
- W2022079560 hasPrimaryLocation W20220795601 @default.
- W2022079560 hasRelatedWork W1262447868 @default.
- W2022079560 hasRelatedWork W1594979208 @default.
- W2022079560 hasRelatedWork W1758803295 @default.
- W2022079560 hasRelatedWork W1892073214 @default.
- W2022079560 hasRelatedWork W1921633840 @default.
- W2022079560 hasRelatedWork W2056339801 @default.
- W2022079560 hasRelatedWork W2080035707 @default.
- W2022079560 hasRelatedWork W2096803479 @default.
- W2022079560 hasRelatedWork W2120011042 @default.
- W2022079560 hasRelatedWork W2125373133 @default.
- W2022079560 hasRelatedWork W2145025660 @default.
- W2022079560 hasRelatedWork W2155028959 @default.
- W2022079560 hasRelatedWork W2170486381 @default.
- W2022079560 hasRelatedWork W2171151037 @default.
- W2022079560 hasRelatedWork W2246162327 @default.
- W2022079560 hasRelatedWork W2280145101 @default.
- W2022079560 hasRelatedWork W2607268704 @default.
- W2022079560 hasRelatedWork W3120555375 @default.
- W2022079560 hasRelatedWork W2062674085 @default.
- W2022079560 hasRelatedWork W2131478423 @default.
- W2022079560 isParatext "false" @default.
- W2022079560 isRetracted "false" @default.
- W2022079560 magId "2022079560" @default.
- W2022079560 workType "article" @default.