Matches in SemOpenAlex for { <https://semopenalex.org/work/W2898252392> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2898252392 abstract "Statecharts are an established mechanism to model reactive, state-oriented behavior of embedded systems. We here present an approach to automatically generate code from statecharts, with a particular focus on readability and ease of matching the generated code with the original model. This not only saves programming effort and reduces the error rate compared to manual coding, but it also facilitates the task of verifying that the code does what it is supposed to do. We have implemented this approach for the SCCharts language in an open-source framework. A user study confirmed that the generated code tends to be more readable than code from other code generators." @default.
- W2898252392 created "2018-11-02" @default.
- W2898252392 creator A5029982033 @default.
- W2898252392 creator A5040636536 @default.
- W2898252392 creator A5040819930 @default.
- W2898252392 date "2018-11-04" @default.
- W2898252392 modified "2023-09-28" @default.
- W2898252392 title "Synthesizing manually verifiable code for statecharts" @default.
- W2898252392 cites W1534869992 @default.
- W2898252392 cites W2012593910 @default.
- W2898252392 cites W2031131603 @default.
- W2898252392 cites W2080003993 @default.
- W2898252392 cites W2099529102 @default.
- W2898252392 cites W2101431901 @default.
- W2898252392 cites W2112474235 @default.
- W2898252392 cites W2128969973 @default.
- W2898252392 cites W2538943225 @default.
- W2898252392 cites W2622045392 @default.
- W2898252392 cites W2735309446 @default.
- W2898252392 cites W2787362676 @default.
- W2898252392 cites W4206199294 @default.
- W2898252392 cites W568055057 @default.
- W2898252392 cites W95578667 @default.
- W2898252392 doi "https://doi.org/10.1145/3281278.3281283" @default.
- W2898252392 hasPublicationYear "2018" @default.
- W2898252392 type Work @default.
- W2898252392 sameAs 2898252392 @default.
- W2898252392 citedByCount "2" @default.
- W2898252392 countsByYear W28982523922020 @default.
- W2898252392 countsByYear W28982523922022 @default.
- W2898252392 crossrefType "proceedings-article" @default.
- W2898252392 hasAuthorship W2898252392A5029982033 @default.
- W2898252392 hasAuthorship W2898252392A5040636536 @default.
- W2898252392 hasAuthorship W2898252392A5040819930 @default.
- W2898252392 hasConcept C149635348 @default.
- W2898252392 hasConcept C177264268 @default.
- W2898252392 hasConcept C199360897 @default.
- W2898252392 hasConcept C2776760102 @default.
- W2898252392 hasConcept C41008148 @default.
- W2898252392 hasConcept C85847156 @default.
- W2898252392 hasConceptScore W2898252392C149635348 @default.
- W2898252392 hasConceptScore W2898252392C177264268 @default.
- W2898252392 hasConceptScore W2898252392C199360897 @default.
- W2898252392 hasConceptScore W2898252392C2776760102 @default.
- W2898252392 hasConceptScore W2898252392C41008148 @default.
- W2898252392 hasConceptScore W2898252392C85847156 @default.
- W2898252392 hasLocation W28982523921 @default.
- W2898252392 hasOpenAccess W2898252392 @default.
- W2898252392 hasPrimaryLocation W28982523921 @default.
- W2898252392 hasRelatedWork W1713322116 @default.
- W2898252392 hasRelatedWork W2273956837 @default.
- W2898252392 hasRelatedWork W2324890633 @default.
- W2898252392 hasRelatedWork W2380602769 @default.
- W2898252392 hasRelatedWork W2384847609 @default.
- W2898252392 hasRelatedWork W2894886835 @default.
- W2898252392 hasRelatedWork W2898252392 @default.
- W2898252392 hasRelatedWork W2898591106 @default.
- W2898252392 hasRelatedWork W3015230198 @default.
- W2898252392 hasRelatedWork W3041052722 @default.
- W2898252392 isParatext "false" @default.
- W2898252392 isRetracted "false" @default.
- W2898252392 magId "2898252392" @default.
- W2898252392 workType "article" @default.