Matches in SemOpenAlex for { <https://semopenalex.org/work/W2897842245> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2897842245 abstract "Formal methods are mathematically based languages, tools and techniques for the specification, development and verification of systems [12]. Although most effort is being spent on specifying systems and verifying their properties, a final goal of most formal methods is achieving correct code from formal specifications. In this direction we find two representative strategies: (i) one is based on proposing refinements until a certain concrete design is achieved and then an almost direct mapping from mathematical elements to the source code of some programming language is made [17]; and (ii) another is using some refinement calculus in which specification and programming constructs are available in a single language and code is achieved by removing the specification elements by applying specific refinement rules [9]. Both strategies depend on developers experience." @default.
- W2897842245 created "2018-10-26" @default.
- W2897842245 creator A5074182733 @default.
- W2897842245 date "2018-01-01" @default.
- W2897842245 modified "2023-10-06" @default.
- W2897842245 title "The Pragmatic Dimension of Formal Methods: Towards Building a Sound Synthesiser" @default.
- W2897842245 cites W1519503479 @default.
- W2897842245 cites W1975483972 @default.
- W2897842245 cites W2091126752 @default.
- W2897842245 cites W2101432564 @default.
- W2897842245 cites W2148662736 @default.
- W2897842245 cites W2279061002 @default.
- W2897842245 cites W2440748874 @default.
- W2897842245 cites W2582748022 @default.
- W2897842245 cites W2797934247 @default.
- W2897842245 cites W3008793775 @default.
- W2897842245 cites W3020991620 @default.
- W2897842245 doi "https://doi.org/10.1007/978-3-030-03044-5_1" @default.
- W2897842245 hasPublicationYear "2018" @default.
- W2897842245 type Work @default.
- W2897842245 sameAs 2897842245 @default.
- W2897842245 citedByCount "0" @default.
- W2897842245 crossrefType "book-chapter" @default.
- W2897842245 hasAuthorship W2897842245A5074182733 @default.
- W2897842245 hasConcept C111498074 @default.
- W2897842245 hasConcept C116253237 @default.
- W2897842245 hasConcept C14331664 @default.
- W2897842245 hasConcept C146072743 @default.
- W2897842245 hasConcept C177264268 @default.
- W2897842245 hasConcept C199360897 @default.
- W2897842245 hasConcept C201677973 @default.
- W2897842245 hasConcept C202444582 @default.
- W2897842245 hasConcept C2776760102 @default.
- W2897842245 hasConcept C33676613 @default.
- W2897842245 hasConcept C33923547 @default.
- W2897842245 hasConcept C41008148 @default.
- W2897842245 hasConcept C75606506 @default.
- W2897842245 hasConcept C80444323 @default.
- W2897842245 hasConcept C90069079 @default.
- W2897842245 hasConcept C90483712 @default.
- W2897842245 hasConceptScore W2897842245C111498074 @default.
- W2897842245 hasConceptScore W2897842245C116253237 @default.
- W2897842245 hasConceptScore W2897842245C14331664 @default.
- W2897842245 hasConceptScore W2897842245C146072743 @default.
- W2897842245 hasConceptScore W2897842245C177264268 @default.
- W2897842245 hasConceptScore W2897842245C199360897 @default.
- W2897842245 hasConceptScore W2897842245C201677973 @default.
- W2897842245 hasConceptScore W2897842245C202444582 @default.
- W2897842245 hasConceptScore W2897842245C2776760102 @default.
- W2897842245 hasConceptScore W2897842245C33676613 @default.
- W2897842245 hasConceptScore W2897842245C33923547 @default.
- W2897842245 hasConceptScore W2897842245C41008148 @default.
- W2897842245 hasConceptScore W2897842245C75606506 @default.
- W2897842245 hasConceptScore W2897842245C80444323 @default.
- W2897842245 hasConceptScore W2897842245C90069079 @default.
- W2897842245 hasConceptScore W2897842245C90483712 @default.
- W2897842245 hasLocation W28978422451 @default.
- W2897842245 hasOpenAccess W2897842245 @default.
- W2897842245 hasPrimaryLocation W28978422451 @default.
- W2897842245 hasRelatedWork W133994996 @default.
- W2897842245 hasRelatedWork W1485989547 @default.
- W2897842245 hasRelatedWork W1485995104 @default.
- W2897842245 hasRelatedWork W1534178377 @default.
- W2897842245 hasRelatedWork W1815465552 @default.
- W2897842245 hasRelatedWork W1901911297 @default.
- W2897842245 hasRelatedWork W1985308264 @default.
- W2897842245 hasRelatedWork W1996888673 @default.
- W2897842245 hasRelatedWork W2053166267 @default.
- W2897842245 hasRelatedWork W2059178770 @default.
- W2897842245 hasRelatedWork W2071396752 @default.
- W2897842245 hasRelatedWork W2071561609 @default.
- W2897842245 hasRelatedWork W2074150039 @default.
- W2897842245 hasRelatedWork W2092693902 @default.
- W2897842245 hasRelatedWork W2118609178 @default.
- W2897842245 hasRelatedWork W2258830390 @default.
- W2897842245 hasRelatedWork W2346774892 @default.
- W2897842245 hasRelatedWork W2733701082 @default.
- W2897842245 hasRelatedWork W2743170952 @default.
- W2897842245 hasRelatedWork W374826731 @default.
- W2897842245 isParatext "false" @default.
- W2897842245 isRetracted "false" @default.
- W2897842245 magId "2897842245" @default.
- W2897842245 workType "book-chapter" @default.