FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2086456876> ?p ?o ?g. }

• W2086456876 abstract "A long lasting myth of formal methods is that they are difficult to learn and expensive to apply. This paper reports a controlled experiment to test if this myth is true or false in the context of writing algebraic formal specifications. The experiment shows that writing algebraic specifications for software components can be learnt by ordinary university students. It does not heavily depend on mathematical knowledge and skills. Moreover, it is not time consuming to write algebraic specifications for software components." @default.
• W2086456876 created "2016-06-24" @default.
• W2086456876 creator A5028994334 @default.
• W2086456876 creator A5046436370 @default.
• W2086456876 date "2010-07-01" @default.
• W2086456876 modified "2023-09-22" @default.
• W2086456876 title "An Experiment with Algebraic Specifications of Software Components" @default.
• W2086456876 cites W1992602600 @default.
• W2086456876 cites W1993509980 @default.
• W2086456876 cites W1995762235 @default.
• W2086456876 cites W2007667212 @default.
• W2086456876 cites W2033809864 @default.
• W2086456876 cites W2054411266 @default.
• W2086456876 cites W2061786858 @default.
• W2086456876 cites W2077359497 @default.
• W2086456876 cites W2083411793 @default.
• W2086456876 cites W2088189323 @default.
• W2086456876 cites W2106008526 @default.
• W2086456876 cites W2112337853 @default.
• W2086456876 cites W2121150942 @default.
• W2086456876 cites W2123863902 @default.
• W2086456876 cites W2125831829 @default.
• W2086456876 cites W2129099885 @default.
• W2086456876 cites W2148418519 @default.
• W2086456876 cites W2156122544 @default.
• W2086456876 cites W2162661340 @default.
• W2086456876 cites W2167187192 @default.
• W2086456876 cites W2167499589 @default.
• W2086456876 cites W2170108788 @default.
• W2086456876 cites W2171207016 @default.
• W2086456876 cites W2544881903 @default.
• W2086456876 doi "https://doi.org/10.1109/qsic.2010.54" @default.
• W2086456876 hasPublicationYear "2010" @default.
• W2086456876 type Work @default.
• W2086456876 sameAs 2086456876 @default.
• W2086456876 citedByCount "6" @default.
• W2086456876 countsByYear W20864568762013 @default.
• W2086456876 countsByYear W20864568762015 @default.
• W2086456876 countsByYear W20864568762020 @default.
• W2086456876 crossrefType "proceedings-article" @default.
• W2086456876 hasAuthorship W2086456876A5028994334 @default.
• W2086456876 hasAuthorship W2086456876A5046436370 @default.
• W2086456876 hasBestOaLocation W20864568762 @default.
• W2086456876 hasConcept C115903868 @default.
• W2086456876 hasConcept C116253237 @default.
• W2086456876 hasConcept C134306372 @default.
• W2086456876 hasConcept C136119220 @default.
• W2086456876 hasConcept C151730666 @default.
• W2086456876 hasConcept C199360897 @default.
• W2086456876 hasConcept C202444582 @default.
• W2086456876 hasConcept C2777691520 @default.
• W2086456876 hasConcept C2777904410 @default.
• W2086456876 hasConcept C2779343474 @default.
• W2086456876 hasConcept C33923547 @default.
• W2086456876 hasConcept C41008148 @default.
• W2086456876 hasConcept C75606506 @default.
• W2086456876 hasConcept C80444323 @default.
• W2086456876 hasConcept C86803240 @default.
• W2086456876 hasConcept C9376300 @default.
• W2086456876 hasConceptScore W2086456876C115903868 @default.
• W2086456876 hasConceptScore W2086456876C116253237 @default.
• W2086456876 hasConceptScore W2086456876C134306372 @default.
• W2086456876 hasConceptScore W2086456876C136119220 @default.
• W2086456876 hasConceptScore W2086456876C151730666 @default.
• W2086456876 hasConceptScore W2086456876C199360897 @default.
• W2086456876 hasConceptScore W2086456876C202444582 @default.
• W2086456876 hasConceptScore W2086456876C2777691520 @default.
• W2086456876 hasConceptScore W2086456876C2777904410 @default.
• W2086456876 hasConceptScore W2086456876C2779343474 @default.
• W2086456876 hasConceptScore W2086456876C33923547 @default.
• W2086456876 hasConceptScore W2086456876C41008148 @default.
• W2086456876 hasConceptScore W2086456876C75606506 @default.
• W2086456876 hasConceptScore W2086456876C80444323 @default.
• W2086456876 hasConceptScore W2086456876C86803240 @default.
• W2086456876 hasConceptScore W2086456876C9376300 @default.
• W2086456876 hasLocation W20864568761 @default.
• W2086456876 hasLocation W20864568762 @default.
• W2086456876 hasLocation W20864568763 @default.
• W2086456876 hasOpenAccess W2086456876 @default.
• W2086456876 hasPrimaryLocation W20864568761 @default.
• W2086456876 hasRelatedWork W138028074 @default.
• W2086456876 hasRelatedWork W1425213453 @default.
• W2086456876 hasRelatedWork W1485585934 @default.
• W2086456876 hasRelatedWork W1657911928 @default.
• W2086456876 hasRelatedWork W2033809864 @default.
• W2086456876 hasRelatedWork W2043800484 @default.
• W2086456876 hasRelatedWork W2123863902 @default.
• W2086456876 hasRelatedWork W2131255145 @default.
• W2086456876 hasRelatedWork W2138777938 @default.
• W2086456876 hasRelatedWork W2162661340 @default.
• W2086456876 hasRelatedWork W2170108788 @default.
• W2086456876 hasRelatedWork W2287370275 @default.
• W2086456876 hasRelatedWork W2326669999 @default.
• W2086456876 hasRelatedWork W2615008996 @default.
• W2086456876 hasRelatedWork W2724670678 @default.
• W2086456876 hasRelatedWork W2785928995 @default.
• W2086456876 hasRelatedWork W2904881201 @default.
• W2086456876 hasRelatedWork W2948572149 @default.
• W2086456876 hasRelatedWork W2991642623 @default.
• W2086456876 hasRelatedWork W636890315 @default.

• next