Matches in SemOpenAlex for { <https://semopenalex.org/work/W2045310908> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2045310908 abstract "It is well known that the use of formal methods in the software development process results in a high-quality software product. However, since formal approaches are just reasoning mechanisms, they do not offer defined ordered steps and guidance for moving between them. Refinement is a technique for moving between specifications but it bears very little resemblance to the real process of software design. An automatic translator from a specification language to an executable code would be highly useful in maximizing the benefits of formal methods. In the domain of database applications, we propose a rule-based algorithm to translate software requirements written in Z specifications to Delphi/SQL code. The approach transforms Z specifications to executable code via a set of formal rules and Delphi/SQL libraries. The libraries can be predefined or user-defined. The soundness of the translation process is examined by data refinement." @default.
- W2045310908 created "2016-06-24" @default.
- W2045310908 creator A5084223218 @default.
- W2045310908 creator A5091038766 @default.
- W2045310908 date "2010-01-01" @default.
- W2045310908 modified "2023-09-24" @default.
- W2045310908 title "Rule-based translation of specifications to executable code" @default.
- W2045310908 cites W1552647623 @default.
- W2045310908 cites W2024495465 @default.
- W2045310908 cites W2052603522 @default.
- W2045310908 cites W2065916174 @default.
- W2045310908 cites W2110402177 @default.
- W2045310908 cites W2114082520 @default.
- W2045310908 cites W2115101478 @default.
- W2045310908 cites W2119696713 @default.
- W2045310908 cites W2136739120 @default.
- W2045310908 cites W2137381974 @default.
- W2045310908 cites W2138709157 @default.
- W2045310908 cites W2158024480 @default.
- W2045310908 doi "https://doi.org/10.1109/icime.2010.5477687" @default.
- W2045310908 hasPublicationYear "2010" @default.
- W2045310908 type Work @default.
- W2045310908 sameAs 2045310908 @default.
- W2045310908 citedByCount "2" @default.
- W2045310908 countsByYear W20453109082013 @default.
- W2045310908 crossrefType "proceedings-article" @default.
- W2045310908 hasAuthorship W2045310908A5084223218 @default.
- W2045310908 hasAuthorship W2045310908A5091038766 @default.
- W2045310908 hasConcept C115903868 @default.
- W2045310908 hasConcept C116253237 @default.
- W2045310908 hasConcept C160145156 @default.
- W2045310908 hasConcept C199360897 @default.
- W2045310908 hasConcept C39920170 @default.
- W2045310908 hasConcept C41008148 @default.
- W2045310908 hasConcept C510870499 @default.
- W2045310908 hasConcept C75606506 @default.
- W2045310908 hasConceptScore W2045310908C115903868 @default.
- W2045310908 hasConceptScore W2045310908C116253237 @default.
- W2045310908 hasConceptScore W2045310908C160145156 @default.
- W2045310908 hasConceptScore W2045310908C199360897 @default.
- W2045310908 hasConceptScore W2045310908C39920170 @default.
- W2045310908 hasConceptScore W2045310908C41008148 @default.
- W2045310908 hasConceptScore W2045310908C510870499 @default.
- W2045310908 hasConceptScore W2045310908C75606506 @default.
- W2045310908 hasLocation W20453109081 @default.
- W2045310908 hasOpenAccess W2045310908 @default.
- W2045310908 hasPrimaryLocation W20453109081 @default.
- W2045310908 hasRelatedWork W121371338 @default.
- W2045310908 hasRelatedWork W1609108672 @default.
- W2045310908 hasRelatedWork W1998474763 @default.
- W2045310908 hasRelatedWork W2032399019 @default.
- W2045310908 hasRelatedWork W2051829805 @default.
- W2045310908 hasRelatedWork W2106479565 @default.
- W2045310908 hasRelatedWork W2112076871 @default.
- W2045310908 hasRelatedWork W2121758369 @default.
- W2045310908 hasRelatedWork W2128914037 @default.
- W2045310908 hasRelatedWork W2130156706 @default.
- W2045310908 hasRelatedWork W2131514293 @default.
- W2045310908 hasRelatedWork W2131587874 @default.
- W2045310908 hasRelatedWork W2140765088 @default.
- W2045310908 hasRelatedWork W2151688604 @default.
- W2045310908 hasRelatedWork W2151808268 @default.
- W2045310908 hasRelatedWork W2162992811 @default.
- W2045310908 hasRelatedWork W2163026074 @default.
- W2045310908 hasRelatedWork W2249077347 @default.
- W2045310908 hasRelatedWork W335691926 @default.
- W2045310908 hasRelatedWork W7039897 @default.
- W2045310908 isParatext "false" @default.
- W2045310908 isRetracted "false" @default.
- W2045310908 magId "2045310908" @default.
- W2045310908 workType "article" @default.