Matches in SemOpenAlex for { <https://semopenalex.org/work/W7039897> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W7039897 abstract "To use formal methods effectively in the object-oriented based development process, it is highly desirable that the formal specification be translated to Java code, a de facto standard in many industrial critical application domains, such as medical, avionics and automotive control, where the developed system is dynamically bound on multiple hardware platforms with correct runtime support. This goal can be achieved by developing a proof-based formal model and automatic generation of source code from the formal model. The generated source code must be ensured that the produced code behavior is complied with formal specification abstractly. In this context we have developed EB2J, a software tool that translates Event-B models into Java code. This paper discusses the code generation approach underlying EB2J tool. The effectiveness of EB2J is illustrated through automatic generation of a Java code from the formal specification of a cardiac pacemaker." @default.
- W7039897 created "2016-06-24" @default.
- W7039897 creator A5018322893 @default.
- W7039897 creator A5022556282 @default.
- W7039897 date "2011-09-26" @default.
- W7039897 modified "2023-09-25" @default.
- W7039897 title "EB2J : Code Generation from Event-B to Java" @default.
- W7039897 hasPublicationYear "2011" @default.
- W7039897 type Work @default.
- W7039897 sameAs 7039897 @default.
- W7039897 citedByCount "0" @default.
- W7039897 crossrefType "proceedings-article" @default.
- W7039897 hasAuthorship W7039897A5018322893 @default.
- W7039897 hasAuthorship W7039897A5022556282 @default.
- W7039897 hasConcept C111498074 @default.
- W7039897 hasConcept C111919701 @default.
- W7039897 hasConcept C115903868 @default.
- W7039897 hasConcept C116253237 @default.
- W7039897 hasConcept C121957198 @default.
- W7039897 hasConcept C132106392 @default.
- W7039897 hasConcept C133162039 @default.
- W7039897 hasConcept C137287247 @default.
- W7039897 hasConcept C168702491 @default.
- W7039897 hasConcept C199360897 @default.
- W7039897 hasConcept C26517878 @default.
- W7039897 hasConcept C2777904410 @default.
- W7039897 hasConcept C41008148 @default.
- W7039897 hasConcept C43126263 @default.
- W7039897 hasConcept C529173508 @default.
- W7039897 hasConcept C548217200 @default.
- W7039897 hasConcept C60945770 @default.
- W7039897 hasConcept C75606506 @default.
- W7039897 hasConceptScore W7039897C111498074 @default.
- W7039897 hasConceptScore W7039897C111919701 @default.
- W7039897 hasConceptScore W7039897C115903868 @default.
- W7039897 hasConceptScore W7039897C116253237 @default.
- W7039897 hasConceptScore W7039897C121957198 @default.
- W7039897 hasConceptScore W7039897C132106392 @default.
- W7039897 hasConceptScore W7039897C133162039 @default.
- W7039897 hasConceptScore W7039897C137287247 @default.
- W7039897 hasConceptScore W7039897C168702491 @default.
- W7039897 hasConceptScore W7039897C199360897 @default.
- W7039897 hasConceptScore W7039897C26517878 @default.
- W7039897 hasConceptScore W7039897C2777904410 @default.
- W7039897 hasConceptScore W7039897C41008148 @default.
- W7039897 hasConceptScore W7039897C43126263 @default.
- W7039897 hasConceptScore W7039897C529173508 @default.
- W7039897 hasConceptScore W7039897C548217200 @default.
- W7039897 hasConceptScore W7039897C60945770 @default.
- W7039897 hasConceptScore W7039897C75606506 @default.
- W7039897 hasLocation W70398971 @default.
- W7039897 hasOpenAccess W7039897 @default.
- W7039897 hasPrimaryLocation W70398971 @default.
- W7039897 hasRelatedWork W1495336709 @default.
- W7039897 hasRelatedWork W1501674746 @default.
- W7039897 hasRelatedWork W1518604050 @default.
- W7039897 hasRelatedWork W1556900989 @default.
- W7039897 hasRelatedWork W160929650 @default.
- W7039897 hasRelatedWork W1964279773 @default.
- W7039897 hasRelatedWork W2045310908 @default.
- W7039897 hasRelatedWork W2074213888 @default.
- W7039897 hasRelatedWork W2121339234 @default.
- W7039897 hasRelatedWork W2121758369 @default.
- W7039897 hasRelatedWork W2137852603 @default.
- W7039897 hasRelatedWork W2150153475 @default.
- W7039897 hasRelatedWork W2152866041 @default.
- W7039897 hasRelatedWork W2161544156 @default.
- W7039897 hasRelatedWork W2165418237 @default.
- W7039897 hasRelatedWork W2187970289 @default.
- W7039897 hasRelatedWork W2382367336 @default.
- W7039897 hasRelatedWork W2479834302 @default.
- W7039897 hasRelatedWork W3036356155 @default.
- W7039897 hasRelatedWork W2614763297 @default.
- W7039897 isParatext "false" @default.
- W7039897 isRetracted "false" @default.
- W7039897 magId "7039897" @default.
- W7039897 workType "article" @default.