Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285157931> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W4285157931 endingPage "139" @default.
- W4285157931 startingPage "129" @default.
- W4285157931 abstract "Event-B is a formal modeling language that helps to prove the critical requirement properties of a software. The failure or malfunction of this software may cause a huge loss in terms of life and money. Executable code generation from Event-B makes the validation and early verification process more accurate. The proposed framework would improve requirement specification that eventually leads toward a consistent system design. This approach is very useful for industrial automation. Event-B has the extended tool support RODIN to verify the model and generate proof obligations. This paper proposes the translation framework of Event-B to Python code. The translation rules are presented that will map each component of an Event-B model into Python class." @default.
- W4285157931 created "2022-07-14" @default.
- W4285157931 creator A5058417626 @default.
- W4285157931 date "2022-01-01" @default.
- W4285157931 modified "2023-09-27" @default.
- W4285157931 title "A Framework for Component Mapping Between Event-B and Python" @default.
- W4285157931 cites W1971486022 @default.
- W4285157931 cites W2089070459 @default.
- W4285157931 cites W2148184798 @default.
- W4285157931 cites W2542027805 @default.
- W4285157931 cites W2726397978 @default.
- W4285157931 cites W2765499452 @default.
- W4285157931 cites W2800800175 @default.
- W4285157931 cites W2931693041 @default.
- W4285157931 cites W3004780994 @default.
- W4285157931 cites W3026074057 @default.
- W4285157931 cites W308378599 @default.
- W4285157931 cites W3120026608 @default.
- W4285157931 cites W3123315940 @default.
- W4285157931 cites W4214511349 @default.
- W4285157931 cites W4244819751 @default.
- W4285157931 cites W4297849917 @default.
- W4285157931 doi "https://doi.org/10.1007/978-981-16-7952-0_13" @default.
- W4285157931 hasPublicationYear "2022" @default.
- W4285157931 type Work @default.
- W4285157931 citedByCount "2" @default.
- W4285157931 countsByYear W42851579312022 @default.
- W4285157931 countsByYear W42851579312023 @default.
- W4285157931 crossrefType "book-chapter" @default.
- W4285157931 hasAuthorship W4285157931A5058417626 @default.
- W4285157931 hasConcept C115903868 @default.
- W4285157931 hasConcept C121332964 @default.
- W4285157931 hasConcept C160145156 @default.
- W4285157931 hasConcept C168167062 @default.
- W4285157931 hasConcept C192698709 @default.
- W4285157931 hasConcept C199360897 @default.
- W4285157931 hasConcept C2777904410 @default.
- W4285157931 hasConcept C41008148 @default.
- W4285157931 hasConcept C519991488 @default.
- W4285157931 hasConcept C97355855 @default.
- W4285157931 hasConceptScore W4285157931C115903868 @default.
- W4285157931 hasConceptScore W4285157931C121332964 @default.
- W4285157931 hasConceptScore W4285157931C160145156 @default.
- W4285157931 hasConceptScore W4285157931C168167062 @default.
- W4285157931 hasConceptScore W4285157931C192698709 @default.
- W4285157931 hasConceptScore W4285157931C199360897 @default.
- W4285157931 hasConceptScore W4285157931C2777904410 @default.
- W4285157931 hasConceptScore W4285157931C41008148 @default.
- W4285157931 hasConceptScore W4285157931C519991488 @default.
- W4285157931 hasConceptScore W4285157931C97355855 @default.
- W4285157931 hasLocation W42851579311 @default.
- W4285157931 hasOpenAccess W4285157931 @default.
- W4285157931 hasPrimaryLocation W42851579311 @default.
- W4285157931 hasRelatedWork W1966978306 @default.
- W4285157931 hasRelatedWork W1967499492 @default.
- W4285157931 hasRelatedWork W2026046761 @default.
- W4285157931 hasRelatedWork W2327204559 @default.
- W4285157931 hasRelatedWork W2475423329 @default.
- W4285157931 hasRelatedWork W2529681551 @default.
- W4285157931 hasRelatedWork W2999589555 @default.
- W4285157931 hasRelatedWork W3017187763 @default.
- W4285157931 hasRelatedWork W3089848382 @default.
- W4285157931 hasRelatedWork W4245752324 @default.
- W4285157931 isParatext "false" @default.
- W4285157931 isRetracted "false" @default.
- W4285157931 workType "book-chapter" @default.