FRINK Linked Data Fragments server

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

• W2029495398 endingPage "92" @default.
• W2029495398 startingPage "79" @default.
• W2029495398 abstract "OpenJML is a tool for checking code and specifications of Java programs. We describe our experience building the tool on the foundation of JML, OpenJDK and Eclipse, as well as on many advances in specification-based software verification. The implementation demonstrates the value of integrating specification tools directly in the software development IDE and in automating as many tasks as possible. The tool, though still in progress, has now been used for several college-level courses on software specification and verification and for small-scale studies on existing Java programs." @default.
• W2029495398 created "2016-06-24" @default.
• W2029495398 creator A5073886655 @default.
• W2029495398 date "2014-04-26" @default.
• W2029495398 modified "2023-10-03" @default.
• W2029495398 title "OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse" @default.
• W2029495398 cites W1500443504 @default.
• W2029495398 cites W1537084112 @default.
• W2029495398 cites W1550200770 @default.
• W2029495398 cites W1583826417 @default.
• W2029495398 cites W1593003168 @default.
• W2029495398 cites W1602931991 @default.
• W2029495398 cites W1616208858 @default.
• W2029495398 cites W1820726602 @default.
• W2029495398 cites W1959256509 @default.
• W2029495398 cites W1979191543 @default.
• W2029495398 cites W1993836075 @default.
• W2029495398 cites W1994514428 @default.
• W2029495398 cites W2024201176 @default.
• W2029495398 cites W2036603632 @default.
• W2029495398 cites W2056064357 @default.
• W2029495398 cites W2091723900 @default.
• W2029495398 cites W2106355420 @default.
• W2029495398 cites W2110908283 @default.
• W2029495398 cites W2130427425 @default.
• W2029495398 cites W2143987772 @default.
• W2029495398 cites W2145378765 @default.
• W2029495398 cites W2164419371 @default.
• W2029495398 cites W3046946143 @default.
• W2029495398 cites W3146857454 @default.
• W2029495398 cites W41329643 @default.
• W2029495398 cites W4233804448 @default.
• W2029495398 cites W4241904514 @default.
• W2029495398 cites W4250853124 @default.
• W2029495398 cites W4250979901 @default.
• W2029495398 doi "https://doi.org/10.4204/eptcs.149.8" @default.
• W2029495398 hasPublicationYear "2014" @default.
• W2029495398 type Work @default.
• W2029495398 sameAs 2029495398 @default.
• W2029495398 citedByCount "42" @default.
• W2029495398 countsByYear W20294953982014 @default.
• W2029495398 countsByYear W20294953982015 @default.
• W2029495398 countsByYear W20294953982016 @default.
• W2029495398 countsByYear W20294953982017 @default.
• W2029495398 countsByYear W20294953982018 @default.
• W2029495398 countsByYear W20294953982019 @default.
• W2029495398 countsByYear W20294953982020 @default.
• W2029495398 countsByYear W20294953982021 @default.
• W2029495398 countsByYear W20294953982022 @default.
• W2029495398 countsByYear W20294953982023 @default.
• W2029495398 crossrefType "journal-article" @default.
• W2029495398 hasAuthorship W2029495398A5073886655 @default.
• W2029495398 hasBestOaLocation W20294953981 @default.
• W2029495398 hasConcept C115903868 @default.
• W2029495398 hasConcept C121332964 @default.
• W2029495398 hasConcept C1276947 @default.
• W2029495398 hasConcept C132106392 @default.
• W2029495398 hasConcept C168702491 @default.
• W2029495398 hasConcept C186846655 @default.
• W2029495398 hasConcept C199360897 @default.
• W2029495398 hasConcept C2777904410 @default.
• W2029495398 hasConcept C2778505590 @default.
• W2029495398 hasConcept C33054407 @default.
• W2029495398 hasConcept C41008148 @default.
• W2029495398 hasConcept C529173508 @default.
• W2029495398 hasConcept C548217200 @default.
• W2029495398 hasConcept C60945770 @default.
• W2029495398 hasConceptScore W2029495398C115903868 @default.
• W2029495398 hasConceptScore W2029495398C121332964 @default.
• W2029495398 hasConceptScore W2029495398C1276947 @default.
• W2029495398 hasConceptScore W2029495398C132106392 @default.
• W2029495398 hasConceptScore W2029495398C168702491 @default.
• W2029495398 hasConceptScore W2029495398C186846655 @default.
• W2029495398 hasConceptScore W2029495398C199360897 @default.
• W2029495398 hasConceptScore W2029495398C2777904410 @default.
• W2029495398 hasConceptScore W2029495398C2778505590 @default.
• W2029495398 hasConceptScore W2029495398C33054407 @default.
• W2029495398 hasConceptScore W2029495398C41008148 @default.
• W2029495398 hasConceptScore W2029495398C529173508 @default.
• W2029495398 hasConceptScore W2029495398C548217200 @default.
• W2029495398 hasConceptScore W2029495398C60945770 @default.
• W2029495398 hasLocation W20294953981 @default.
• W2029495398 hasLocation W20294953982 @default.
• W2029495398 hasLocation W20294953983 @default.
• W2029495398 hasLocation W20294953984 @default.
• W2029495398 hasOpenAccess W2029495398 @default.
• W2029495398 hasPrimaryLocation W20294953981 @default.
• W2029495398 hasRelatedWork W1481383228 @default.
• W2029495398 hasRelatedWork W1493446239 @default.
• W2029495398 hasRelatedWork W1546517032 @default.
• W2029495398 hasRelatedWork W164113562 @default.
• W2029495398 hasRelatedWork W1825982205 @default.
• W2029495398 hasRelatedWork W2035195546 @default.
• W2029495398 hasRelatedWork W2990514 @default.
• W2029495398 hasRelatedWork W4236057684 @default.
• W2029495398 hasRelatedWork W583902652 @default.
• W2029495398 hasRelatedWork W2141533451 @default.
• W2029495398 hasVolume "149" @default.

• next