Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285242425> ?p ?o ?g. }
- W4285242425 endingPage "349" @default.
- W4285242425 startingPage "313" @default.
- W4285242425 abstract "AbstractJML is an ambitious project in formal specification and verification that has aimed to bring value to Java programmers. As an international, cooperative effort, JML has been a uniting force, bringing together tools such as KeY, OpenJML, and many others. Specification language designers can learn much from the experience gathered by the JML team. The lessons of the JML project can be useful to others designing specification languages and tools, not only for object-oriented languages such as Java, but more generally.KeywordsJMLBehavioral interface specification languageFormal specification language designFormal methods" @default.
- W4285242425 created "2022-07-14" @default.
- W4285242425 creator A5014066009 @default.
- W4285242425 creator A5072015993 @default.
- W4285242425 creator A5073886655 @default.
- W4285242425 date "2022-01-01" @default.
- W4285242425 modified "2023-10-17" @default.
- W4285242425 title "Further Lessons from the JML Project" @default.
- W4285242425 cites W1002779697 @default.
- W4285242425 cites W144724653 @default.
- W4285242425 cites W1480522639 @default.
- W4285242425 cites W1483403737 @default.
- W4285242425 cites W1488188749 @default.
- W4285242425 cites W1490574387 @default.
- W4285242425 cites W1498946538 @default.
- W4285242425 cites W1507029499 @default.
- W4285242425 cites W1510845095 @default.
- W4285242425 cites W1517943150 @default.
- W4285242425 cites W1520649334 @default.
- W4285242425 cites W1534850143 @default.
- W4285242425 cites W1537084112 @default.
- W4285242425 cites W1544646281 @default.
- W4285242425 cites W1556422878 @default.
- W4285242425 cites W1573044584 @default.
- W4285242425 cites W1578560741 @default.
- W4285242425 cites W1580328473 @default.
- W4285242425 cites W1583095677 @default.
- W4285242425 cites W1584285747 @default.
- W4285242425 cites W1589153215 @default.
- W4285242425 cites W1590064902 @default.
- W4285242425 cites W1606177908 @default.
- W4285242425 cites W1754514437 @default.
- W4285242425 cites W1761424764 @default.
- W4285242425 cites W179270291 @default.
- W4285242425 cites W1820726602 @default.
- W4285242425 cites W1848981483 @default.
- W4285242425 cites W1872021412 @default.
- W4285242425 cites W1959256509 @default.
- W4285242425 cites W1970168990 @default.
- W4285242425 cites W1976218147 @default.
- W4285242425 cites W1977978965 @default.
- W4285242425 cites W1985263153 @default.
- W4285242425 cites W1991364185 @default.
- W4285242425 cites W1996228525 @default.
- W4285242425 cites W2007146974 @default.
- W4285242425 cites W2008801889 @default.
- W4285242425 cites W2020673460 @default.
- W4285242425 cites W2023234892 @default.
- W4285242425 cites W2055095027 @default.
- W4285242425 cites W2066210260 @default.
- W4285242425 cites W2071313718 @default.
- W4285242425 cites W2077359497 @default.
- W4285242425 cites W2089387242 @default.
- W4285242425 cites W2091723900 @default.
- W4285242425 cites W2091949134 @default.
- W4285242425 cites W2094160561 @default.
- W4285242425 cites W2095907349 @default.
- W4285242425 cites W2098022036 @default.
- W4285242425 cites W2100466897 @default.
- W4285242425 cites W2101530705 @default.
- W4285242425 cites W2101928793 @default.
- W4285242425 cites W2103146382 @default.
- W4285242425 cites W2103591546 @default.
- W4285242425 cites W2109835551 @default.
- W4285242425 cites W2110283214 @default.
- W4285242425 cites W2113061194 @default.
- W4285242425 cites W2113944334 @default.
- W4285242425 cites W2117293074 @default.
- W4285242425 cites W2119436293 @default.
- W4285242425 cites W2122291521 @default.
- W4285242425 cites W2128186675 @default.
- W4285242425 cites W2130427425 @default.
- W4285242425 cites W2136839747 @default.
- W4285242425 cites W2137628566 @default.
- W4285242425 cites W2139555094 @default.
- W4285242425 cites W2141418073 @default.
- W4285242425 cites W2151131364 @default.
- W4285242425 cites W2157220115 @default.
- W4285242425 cites W2158376721 @default.
- W4285242425 cites W2164810907 @default.
- W4285242425 cites W2168468191 @default.
- W4285242425 cites W2565255124 @default.
- W4285242425 cites W2803344012 @default.
- W4285242425 cites W2809510152 @default.
- W4285242425 cites W2886838908 @default.
- W4285242425 cites W2898332178 @default.
- W4285242425 cites W2901733841 @default.
- W4285242425 cites W2908962945 @default.
- W4285242425 cites W3000560506 @default.
- W4285242425 cites W3106729728 @default.
- W4285242425 cites W3112208452 @default.
- W4285242425 cites W3123689272 @default.
- W4285242425 cites W3165666748 @default.
- W4285242425 cites W3175392260 @default.
- W4285242425 cites W3181568802 @default.
- W4285242425 cites W3185902186 @default.
- W4285242425 cites W3207026105 @default.
- W4285242425 cites W4211017683 @default.