{"id":"https://openalex.org/W2094160561","doi":"https://doi.org/10.1145/1127878.1127884","title":"Preliminary design of JML","display_name":"Preliminary design of JML","publication_year":2006,"publication_date":"2006-05-01","ids":{"openalex":"https://openalex.org/W2094160561","doi":"https://doi.org/10.1145/1127878.1127884","mag":"2094160561"},"language":"en","primary_location":{"id":"doi:10.1145/1127878.1127884","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1127878.1127884","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014066009","display_name":"Gary T. Leavens","orcid":"https://orcid.org/0000-0003-3271-3921"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Gary T. Leavens","raw_affiliation_strings":["Iowa State University, Ames, Iowa","Iowa State University, Ames Iowa"],"affiliations":[{"raw_affiliation_string":"Iowa State University, Ames, Iowa","institution_ids":["https://openalex.org/I173911158"]},{"raw_affiliation_string":"Iowa State University, Ames Iowa","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077629996","display_name":"Albert L. Baker","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Albert L. Baker","raw_affiliation_strings":["ABC Virtual Communications, Inc., IA"],"affiliations":[{"raw_affiliation_string":"ABC Virtual Communications, Inc., IA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034144850","display_name":"Clyde Ruby","orcid":null},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Clyde Ruby","raw_affiliation_strings":["Iowa State University, Ames, Iowa","Iowa State University, Ames Iowa"],"affiliations":[{"raw_affiliation_string":"Iowa State University, Ames, Iowa","institution_ids":["https://openalex.org/I173911158"]},{"raw_affiliation_string":"Iowa State University, Ames Iowa","institution_ids":["https://openalex.org/I173911158"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5014066009"],"corresponding_institution_ids":["https://openalex.org/I173911158"],"apc_list":null,"apc_paid":null,"fwci":75.8327,"has_fulltext":false,"cited_by_count":787,"citation_normalized_percentile":{"value":0.99977891,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":100},"biblio":{"volume":"31","issue":"3","first_page":"1","last_page":"38"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/eiffel","display_name":"Eiffel","score":0.9640265703201294},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.8348424434661865},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8270320892333984},{"id":"https://openalex.org/keywords/java-modeling-language","display_name":"Java Modeling Language","score":0.8120161890983582},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.6745349168777466},{"id":"https://openalex.org/keywords/design-by-contract","display_name":"Design by contract","score":0.6006221771240234},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.5499895215034485},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.48802295327186584},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4632128179073334},{"id":"https://openalex.org/keywords/programming-language-specification","display_name":"Programming language specification","score":0.4353407025337219},{"id":"https://openalex.org/keywords/java-annotation","display_name":"Java annotation","score":0.4220297932624817},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.4159308671951294},{"id":"https://openalex.org/keywords/real-time-java","display_name":"Real time Java","score":0.3122192621231079},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.3032209873199463},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.27003973722457886},{"id":"https://openalex.org/keywords/object-oriented-programming","display_name":"Object-oriented programming","score":0.18249720335006714},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.08192849159240723},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.06458324193954468}],"concepts":[{"id":"https://openalex.org/C186362262","wikidata":"https://www.wikidata.org/wiki/Q732089","display_name":"Eiffel","level":3,"score":0.9640265703201294},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8348424434661865},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8270320892333984},{"id":"https://openalex.org/C60945770","wikidata":"https://www.wikidata.org/wiki/Q2517517","display_name":"Java Modeling Language","level":5,"score":0.8120161890983582},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6745349168777466},{"id":"https://openalex.org/C80291951","wikidata":"https://www.wikidata.org/wiki/Q1200691","display_name":"Design by contract","level":5,"score":0.6006221771240234},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.5499895215034485},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.48802295327186584},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4632128179073334},{"id":"https://openalex.org/C15077461","wikidata":"https://www.wikidata.org/wiki/Q7248507","display_name":"Programming language specification","level":5,"score":0.4353407025337219},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.4220297932624817},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.4159308671951294},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.3122192621231079},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.3032209873199463},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.27003973722457886},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.18249720335006714},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.08192849159240723},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.06458324193954468},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.0},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C119263510","wikidata":"https://www.wikidata.org/wiki/Q7248501","display_name":"Programming domain","level":4,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1127878.1127884","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1127878.1127884","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":91,"referenced_works":["https://openalex.org/W26172741","https://openalex.org/W49853902","https://openalex.org/W61720063","https://openalex.org/W96207911","https://openalex.org/W162574485","https://openalex.org/W168248273","https://openalex.org/W1480119827","https://openalex.org/W1490574387","https://openalex.org/W1492315860","https://openalex.org/W1495187315","https://openalex.org/W1500987966","https://openalex.org/W1503871268","https://openalex.org/W1505973930","https://openalex.org/W1509146189","https://openalex.org/W1511826042","https://openalex.org/W1530735169","https://openalex.org/W1533109738","https://openalex.org/W1533592581","https://openalex.org/W1535103785","https://openalex.org/W1544972275","https://openalex.org/W1550403972","https://openalex.org/W1554683232","https://openalex.org/W1555070304","https://openalex.org/W1560643514","https://openalex.org/W1566785395","https://openalex.org/W1580876082","https://openalex.org/W1583095677","https://openalex.org/W1583826417","https://openalex.org/W1584285747","https://openalex.org/W1588335385","https://openalex.org/W1591007360","https://openalex.org/W1597211849","https://openalex.org/W1597593761","https://openalex.org/W1600849051","https://openalex.org/W1644882639","https://openalex.org/W1689913591","https://openalex.org/W1731357855","https://openalex.org/W1759032052","https://openalex.org/W1943468401","https://openalex.org/W1970495662","https://openalex.org/W1993836075","https://openalex.org/W1995008247","https://openalex.org/W2003539206","https://openalex.org/W2011660287","https://openalex.org/W2013492611","https://openalex.org/W2023774721","https://openalex.org/W2024201176","https://openalex.org/W2038814435","https://openalex.org/W2046137117","https://openalex.org/W2048921878","https://openalex.org/W2052363833","https://openalex.org/W2055095027","https://openalex.org/W2057835515","https://openalex.org/W2059295282","https://openalex.org/W2073357091","https://openalex.org/W2081814494","https://openalex.org/W2087713039","https://openalex.org/W2090741114","https://openalex.org/W2091089602","https://openalex.org/W2091949134","https://openalex.org/W2097488638","https://openalex.org/W2099008194","https://openalex.org/W2107283383","https://openalex.org/W2107778618","https://openalex.org/W2107995193","https://openalex.org/W2110050316","https://openalex.org/W2113486906","https://openalex.org/W2113944334","https://openalex.org/W2115484804","https://openalex.org/W2118002698","https://openalex.org/W2122042218","https://openalex.org/W2122291521","https://openalex.org/W2129518651","https://openalex.org/W2133360754","https://openalex.org/W2144973245","https://openalex.org/W2158376721","https://openalex.org/W2161079291","https://openalex.org/W2161825580","https://openalex.org/W2170486381","https://openalex.org/W2170898576","https://openalex.org/W2411621622","https://openalex.org/W2913965119","https://openalex.org/W2987907651","https://openalex.org/W3000560506","https://openalex.org/W3023216518","https://openalex.org/W3106729728","https://openalex.org/W3146075203","https://openalex.org/W3160363841","https://openalex.org/W4235155664","https://openalex.org/W4236743822","https://openalex.org/W4250853124"],"related_works":["https://openalex.org/W2105142318","https://openalex.org/W2094160561","https://openalex.org/W1518075319","https://openalex.org/W2285702817","https://openalex.org/W2070852605","https://openalex.org/W2915240685","https://openalex.org/W2104957668","https://openalex.org/W1916258364","https://openalex.org/W88307446","https://openalex.org/W122391711"],"abstract_inverted_index":{"JML":[0,29,51],"is":[1,30,105],"a":[2],"behavioral":[3,117],"interface":[4],"specification":[5,118],"language":[6,101],"tailored":[7],"to":[8,18,32,39,61],"Java(TM).":[9],"Besides":[10],"pre-":[11,120],"and":[12,27,66,82,94,116,121],"postconditions,":[13],"it":[14,42],"also":[15],"allows":[16],"assertions":[17],"be":[19,33],"intermixed":[20],"with":[21,57,113],"Java":[22,47,115],"code;":[23],"these":[24],"aid":[25],"verification":[26],"debugging.":[28],"designed":[31],"used":[34],"by":[35,64],"working":[36],"software":[37],"engineers;":[38],"do":[40],"this":[41,53],"follows":[43],"Eiffel":[44,56,77],"in":[45,49,70],"using":[46,119],"expressions":[48],"assertions.":[50],"combines":[52],"idea":[54],"from":[55],"the":[58,87,91,96,100],"model-based":[59],"approach":[60],"specifications,":[62],"typified":[63],"VDM":[65],"Larch,":[67],"which":[68],"results":[69],"greater":[71],"expressiveness.":[72],"Other":[73],"expressiveness":[74],"advantages":[75],"over":[76],"include":[78],"quantifiers,":[79],"specification-only":[80],"variables,":[81],"frame":[83],"conditions.This":[84],"paper":[85],"discusses":[86],"goals":[88],"of":[89,99],"JML,":[90],"overall":[92],"approach,":[93],"describes":[95],"basic":[97],"features":[98],"through":[102],"examples.":[103],"It":[104],"intended":[106],"for":[107],"readers":[108],"who":[109],"have":[110],"some":[111],"familiarity":[112],"both":[114],"postconditions.":[122]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":14},{"year":2023,"cited_by_count":12},{"year":2022,"cited_by_count":11},{"year":2021,"cited_by_count":13},{"year":2020,"cited_by_count":8},{"year":2019,"cited_by_count":12},{"year":2018,"cited_by_count":15},{"year":2017,"cited_by_count":18},{"year":2016,"cited_by_count":22},{"year":2015,"cited_by_count":32},{"year":2014,"cited_by_count":36},{"year":2013,"cited_by_count":36},{"year":2012,"cited_by_count":48}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}