Matches in SemOpenAlex for { <https://semopenalex.org/work/W2018179987> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2018179987 abstract "This paper proposes translation rules of Java-JML source code to Event-B. Java Modeling Language (JML), a specification language for Java, provides an ease to make a code-level specification regarding to its similarity with Java syntax. However, the verification tools which support JML still have a lot of limitations. On the other hand, in formal method, Event-B has been frequently used to specify software and hardware systems. Also, its verification tools are widely available and supplements one another. These facts give the opportunity to combine the ease provided by JML and the maturity of Event-B in formal method. In this case, translating Java-JML source code to Event-B could be the way. Thus, systematic translation rules are needed. Through this work, the rules are successfully formulated. Besides, the soundness of the rules are also guaranteed according to its correct-by-construction approach. Then, the rules are also evaluated yielding that unique properties which are required by the Event-B model-assertion, convergence, and enabledness — are properly checked. By using these rules, limitation of verification tools for JML can be supplemented." @default.
- W2018179987 created "2016-06-24" @default.
- W2018179987 creator A5026815847 @default.
- W2018179987 creator A5041367526 @default.
- W2018179987 creator A5058294135 @default.
- W2018179987 date "2014-11-01" @default.
- W2018179987 modified "2023-09-24" @default.
- W2018179987 title "Developing translation rules of Java-JML source code to Event-B" @default.
- W2018179987 cites W1479916432 @default.
- W2018179987 cites W1544057077 @default.
- W2018179987 cites W1556900989 @default.
- W2018179987 cites W1583826417 @default.
- W2018179987 cites W1601174042 @default.
- W2018179987 cites W1869829327 @default.
- W2018179987 cites W2069300761 @default.
- W2018179987 cites W2095098398 @default.
- W2018179987 cites W2095907349 @default.
- W2018179987 cites W2155102815 @default.
- W2018179987 cites W3146075203 @default.
- W2018179987 doi "https://doi.org/10.1109/icodse.2014.7062693" @default.
- W2018179987 hasPublicationYear "2014" @default.
- W2018179987 type Work @default.
- W2018179987 sameAs 2018179987 @default.
- W2018179987 citedByCount "0" @default.
- W2018179987 crossrefType "proceedings-article" @default.
- W2018179987 hasAuthorship W2018179987A5026815847 @default.
- W2018179987 hasAuthorship W2018179987A5041367526 @default.
- W2018179987 hasAuthorship W2018179987A5058294135 @default.
- W2018179987 hasConcept C116253237 @default.
- W2018179987 hasConcept C121332964 @default.
- W2018179987 hasConcept C132106392 @default.
- W2018179987 hasConcept C154945302 @default.
- W2018179987 hasConcept C168702491 @default.
- W2018179987 hasConcept C172482141 @default.
- W2018179987 hasConcept C186846655 @default.
- W2018179987 hasConcept C199360897 @default.
- W2018179987 hasConcept C201677973 @default.
- W2018179987 hasConcept C2777904410 @default.
- W2018179987 hasConcept C2779662365 @default.
- W2018179987 hasConcept C39920170 @default.
- W2018179987 hasConcept C41008148 @default.
- W2018179987 hasConcept C43126263 @default.
- W2018179987 hasConcept C529173508 @default.
- W2018179987 hasConcept C548217200 @default.
- W2018179987 hasConcept C60048249 @default.
- W2018179987 hasConcept C60945770 @default.
- W2018179987 hasConcept C62520636 @default.
- W2018179987 hasConcept C80291951 @default.
- W2018179987 hasConceptScore W2018179987C116253237 @default.
- W2018179987 hasConceptScore W2018179987C121332964 @default.
- W2018179987 hasConceptScore W2018179987C132106392 @default.
- W2018179987 hasConceptScore W2018179987C154945302 @default.
- W2018179987 hasConceptScore W2018179987C168702491 @default.
- W2018179987 hasConceptScore W2018179987C172482141 @default.
- W2018179987 hasConceptScore W2018179987C186846655 @default.
- W2018179987 hasConceptScore W2018179987C199360897 @default.
- W2018179987 hasConceptScore W2018179987C201677973 @default.
- W2018179987 hasConceptScore W2018179987C2777904410 @default.
- W2018179987 hasConceptScore W2018179987C2779662365 @default.
- W2018179987 hasConceptScore W2018179987C39920170 @default.
- W2018179987 hasConceptScore W2018179987C41008148 @default.
- W2018179987 hasConceptScore W2018179987C43126263 @default.
- W2018179987 hasConceptScore W2018179987C529173508 @default.
- W2018179987 hasConceptScore W2018179987C548217200 @default.
- W2018179987 hasConceptScore W2018179987C60048249 @default.
- W2018179987 hasConceptScore W2018179987C60945770 @default.
- W2018179987 hasConceptScore W2018179987C62520636 @default.
- W2018179987 hasConceptScore W2018179987C80291951 @default.
- W2018179987 hasLocation W20181799871 @default.
- W2018179987 hasOpenAccess W2018179987 @default.
- W2018179987 hasPrimaryLocation W20181799871 @default.
- W2018179987 hasRelatedWork W103924640 @default.
- W2018179987 hasRelatedWork W152441491 @default.
- W2018179987 hasRelatedWork W1555537310 @default.
- W2018179987 hasRelatedWork W1573154295 @default.
- W2018179987 hasRelatedWork W1582468798 @default.
- W2018179987 hasRelatedWork W1753380295 @default.
- W2018179987 hasRelatedWork W1982721464 @default.
- W2018179987 hasRelatedWork W2006086386 @default.
- W2018179987 hasRelatedWork W2081088487 @default.
- W2018179987 hasRelatedWork W2082256208 @default.
- W2018179987 hasRelatedWork W2094160561 @default.
- W2018179987 hasRelatedWork W2107978050 @default.
- W2018179987 hasRelatedWork W2109879514 @default.
- W2018179987 hasRelatedWork W2129809495 @default.
- W2018179987 hasRelatedWork W2145891327 @default.
- W2018179987 hasRelatedWork W2149055849 @default.
- W2018179987 hasRelatedWork W2168108355 @default.
- W2018179987 hasRelatedWork W2566012199 @default.
- W2018179987 hasRelatedWork W2586510906 @default.
- W2018179987 hasRelatedWork W651233952 @default.
- W2018179987 isParatext "false" @default.
- W2018179987 isRetracted "false" @default.
- W2018179987 magId "2018179987" @default.
- W2018179987 workType "article" @default.