Matches in SemOpenAlex for { <https://semopenalex.org/work/W85167013> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W85167013 endingPage "314" @default.
- W85167013 startingPage "301" @default.
- W85167013 abstract "This chapter provides an introduction to a work that aims to apply the achievements of engineering psychology to the area of formal methods, focusing on the specification phase of a system development process. Formal methods often assume that only two factors should be satisfied: the method must be sound and give such a representation, which is concise and beautiful from the mathematical point of view, without taking into account any question of readability, usability, or tool support. This leads to the fact that formal methods are treated by most engineers as something that is theoretically important but practically too hard to understand and to use, where even some small changes of a formal method can make it more understandable and usable for an average engineer." @default.
- W85167013 created "2016-06-24" @default.
- W85167013 creator A5049584186 @default.
- W85167013 date "2014-01-01" @default.
- W85167013 modified "2023-09-23" @default.
- W85167013 title "Design of Formal Languages and Interfaces" @default.
- W85167013 cites W1502027220 @default.
- W85167013 cites W1503029938 @default.
- W85167013 cites W1544629045 @default.
- W85167013 cites W1966395415 @default.
- W85167013 cites W2042709572 @default.
- W85167013 cites W2082252466 @default.
- W85167013 cites W2089839578 @default.
- W85167013 cites W2100505193 @default.
- W85167013 cites W2094807884 @default.
- W85167013 doi "https://doi.org/10.4018/978-1-4666-4623-0.ch015" @default.
- W85167013 hasPublicationYear "2014" @default.
- W85167013 type Work @default.
- W85167013 sameAs 85167013 @default.
- W85167013 citedByCount "34" @default.
- W85167013 countsByYear W851670132014 @default.
- W85167013 countsByYear W851670132015 @default.
- W85167013 countsByYear W851670132016 @default.
- W85167013 countsByYear W851670132017 @default.
- W85167013 countsByYear W851670132018 @default.
- W85167013 countsByYear W851670132019 @default.
- W85167013 crossrefType "book-chapter" @default.
- W85167013 hasAuthorship W85167013A5049584186 @default.
- W85167013 hasBestOaLocation W851670132 @default.
- W85167013 hasConcept C107457646 @default.
- W85167013 hasConcept C115903868 @default.
- W85167013 hasConcept C116253237 @default.
- W85167013 hasConcept C127413603 @default.
- W85167013 hasConcept C146072743 @default.
- W85167013 hasConcept C170130773 @default.
- W85167013 hasConcept C17744445 @default.
- W85167013 hasConcept C185041570 @default.
- W85167013 hasConcept C199360897 @default.
- W85167013 hasConcept C199539241 @default.
- W85167013 hasConcept C2524010 @default.
- W85167013 hasConcept C2776359362 @default.
- W85167013 hasConcept C2778143727 @default.
- W85167013 hasConcept C2780615836 @default.
- W85167013 hasConcept C28719098 @default.
- W85167013 hasConcept C33923547 @default.
- W85167013 hasConcept C41008148 @default.
- W85167013 hasConcept C49774154 @default.
- W85167013 hasConcept C539667460 @default.
- W85167013 hasConcept C75606506 @default.
- W85167013 hasConcept C94625758 @default.
- W85167013 hasConcept C98045186 @default.
- W85167013 hasConceptScore W85167013C107457646 @default.
- W85167013 hasConceptScore W85167013C115903868 @default.
- W85167013 hasConceptScore W85167013C116253237 @default.
- W85167013 hasConceptScore W85167013C127413603 @default.
- W85167013 hasConceptScore W85167013C146072743 @default.
- W85167013 hasConceptScore W85167013C170130773 @default.
- W85167013 hasConceptScore W85167013C17744445 @default.
- W85167013 hasConceptScore W85167013C185041570 @default.
- W85167013 hasConceptScore W85167013C199360897 @default.
- W85167013 hasConceptScore W85167013C199539241 @default.
- W85167013 hasConceptScore W85167013C2524010 @default.
- W85167013 hasConceptScore W85167013C2776359362 @default.
- W85167013 hasConceptScore W85167013C2778143727 @default.
- W85167013 hasConceptScore W85167013C2780615836 @default.
- W85167013 hasConceptScore W85167013C28719098 @default.
- W85167013 hasConceptScore W85167013C33923547 @default.
- W85167013 hasConceptScore W85167013C41008148 @default.
- W85167013 hasConceptScore W85167013C49774154 @default.
- W85167013 hasConceptScore W85167013C539667460 @default.
- W85167013 hasConceptScore W85167013C75606506 @default.
- W85167013 hasConceptScore W85167013C94625758 @default.
- W85167013 hasConceptScore W85167013C98045186 @default.
- W85167013 hasLocation W851670131 @default.
- W85167013 hasLocation W851670132 @default.
- W85167013 hasOpenAccess W85167013 @default.
- W85167013 hasPrimaryLocation W851670131 @default.
- W85167013 hasRelatedWork W1483751145 @default.
- W85167013 hasRelatedWork W1524361563 @default.
- W85167013 hasRelatedWork W1536552036 @default.
- W85167013 hasRelatedWork W1591156284 @default.
- W85167013 hasRelatedWork W2121507724 @default.
- W85167013 hasRelatedWork W2122766007 @default.
- W85167013 hasRelatedWork W2156223462 @default.
- W85167013 hasRelatedWork W25224113 @default.
- W85167013 hasRelatedWork W85167013 @default.
- W85167013 hasRelatedWork W2752133100 @default.
- W85167013 isParatext "false" @default.
- W85167013 isRetracted "false" @default.
- W85167013 magId "85167013" @default.
- W85167013 workType "book-chapter" @default.