Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014206656> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2014206656 endingPage "85" @default.
- W2014206656 startingPage "75" @default.
- W2014206656 abstract "Technology transfer from academic research to industrial practice is hampered by social, political, and economic problems more than by technical issues. This paper describes one instance of successful technology transfer based on a special-purpose language and an associated translation tool tailored to the customer's needs. The key lesson to be learned from this example is that mathematical formalisms must be transparent to the user. Formalisms can be effectively employed if they are represented by tools that fit into existing work processes. It is suggested that special-purpose, domain-specific languages and their translators are an important vehicle to transition advanced technology to practice. This approach enables domain experts to solve problems using familiar terminology. It enables engineers of all disciplines to utilize computers without becoming software engineers. In doing so, we not only mitigate the chronic shortage of qualified software personnel but also simplify the problem of requirements analysis and specification." @default.
- W2014206656 created "2016-06-24" @default.
- W2014206656 creator A5076940528 @default.
- W2014206656 date "2002-01-01" @default.
- W2014206656 modified "2023-09-25" @default.
- W2014206656 title "Formal methods in practice" @default.
- W2014206656 cites W2099529102 @default.
- W2014206656 cites W2106134034 @default.
- W2014206656 cites W2144431706 @default.
- W2014206656 cites W2152993669 @default.
- W2014206656 cites W2491671410 @default.
- W2014206656 cites W4296471858 @default.
- W2014206656 doi "https://doi.org/10.1016/s0167-6423(01)00027-2" @default.
- W2014206656 hasPublicationYear "2002" @default.
- W2014206656 type Work @default.
- W2014206656 sameAs 2014206656 @default.
- W2014206656 citedByCount "2" @default.
- W2014206656 countsByYear W20142066562022 @default.
- W2014206656 crossrefType "journal-article" @default.
- W2014206656 hasAuthorship W2014206656A5076940528 @default.
- W2014206656 hasConcept C110354214 @default.
- W2014206656 hasConcept C115903868 @default.
- W2014206656 hasConcept C127413603 @default.
- W2014206656 hasConcept C134306372 @default.
- W2014206656 hasConcept C138885662 @default.
- W2014206656 hasConcept C162324750 @default.
- W2014206656 hasConcept C171018156 @default.
- W2014206656 hasConcept C194051981 @default.
- W2014206656 hasConcept C2524010 @default.
- W2014206656 hasConcept C26517878 @default.
- W2014206656 hasConcept C2778137410 @default.
- W2014206656 hasConcept C33923547 @default.
- W2014206656 hasConcept C36503486 @default.
- W2014206656 hasConcept C38652104 @default.
- W2014206656 hasConcept C41008148 @default.
- W2014206656 hasConcept C41895202 @default.
- W2014206656 hasConcept C539667460 @default.
- W2014206656 hasConcept C547195049 @default.
- W2014206656 hasConceptScore W2014206656C110354214 @default.
- W2014206656 hasConceptScore W2014206656C115903868 @default.
- W2014206656 hasConceptScore W2014206656C127413603 @default.
- W2014206656 hasConceptScore W2014206656C134306372 @default.
- W2014206656 hasConceptScore W2014206656C138885662 @default.
- W2014206656 hasConceptScore W2014206656C162324750 @default.
- W2014206656 hasConceptScore W2014206656C171018156 @default.
- W2014206656 hasConceptScore W2014206656C194051981 @default.
- W2014206656 hasConceptScore W2014206656C2524010 @default.
- W2014206656 hasConceptScore W2014206656C26517878 @default.
- W2014206656 hasConceptScore W2014206656C2778137410 @default.
- W2014206656 hasConceptScore W2014206656C33923547 @default.
- W2014206656 hasConceptScore W2014206656C36503486 @default.
- W2014206656 hasConceptScore W2014206656C38652104 @default.
- W2014206656 hasConceptScore W2014206656C41008148 @default.
- W2014206656 hasConceptScore W2014206656C41895202 @default.
- W2014206656 hasConceptScore W2014206656C539667460 @default.
- W2014206656 hasConceptScore W2014206656C547195049 @default.
- W2014206656 hasIssue "1" @default.
- W2014206656 hasLocation W20142066561 @default.
- W2014206656 hasOpenAccess W2014206656 @default.
- W2014206656 hasPrimaryLocation W20142066561 @default.
- W2014206656 hasRelatedWork W1480591555 @default.
- W2014206656 hasRelatedWork W1508451833 @default.
- W2014206656 hasRelatedWork W2329452785 @default.
- W2014206656 hasRelatedWork W2356380379 @default.
- W2014206656 hasRelatedWork W2363925233 @default.
- W2014206656 hasRelatedWork W2364808845 @default.
- W2014206656 hasRelatedWork W2366284060 @default.
- W2014206656 hasRelatedWork W2748952813 @default.
- W2014206656 hasRelatedWork W3027915305 @default.
- W2014206656 hasRelatedWork W4206030968 @default.
- W2014206656 hasVolume "42" @default.
- W2014206656 isParatext "false" @default.
- W2014206656 isRetracted "false" @default.
- W2014206656 magId "2014206656" @default.
- W2014206656 workType "article" @default.