{"id":"https://openalex.org/W1823684783","doi":"https://doi.org/10.1007/978-3-642-18070-5_11","title":"A Refinement Methodology for Object-Oriented Programs","display_name":"A Refinement Methodology for Object-Oriented Programs","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W1823684783","doi":"https://doi.org/10.1007/978-3-642-18070-5_11","mag":"1823684783"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-18070-5_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-18070-5_11","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/inria-00534336","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041461460","display_name":"Asma Tafat","orcid":null},"institutions":[{"id":"https://openalex.org/I4210144804","display_name":"Laboratoire de Recherche en Informatique","ror":"https://ror.org/04e3ktk27","country_code":"FR","type":"facility","lineage":["https://openalex.org/I102197404","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210144804","https://openalex.org/I4210159245"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Asma Tafat","raw_affiliation_strings":["Lab. de Recherche en Informatique, Univ Paris-Sud, CNRS, Orsay, F-91405"],"affiliations":[{"raw_affiliation_string":"Lab. de Recherche en Informatique, Univ Paris-Sud, CNRS, Orsay, F-91405","institution_ids":["https://openalex.org/I4210144804","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069645466","display_name":"Sylvain Boulm\u00e9","orcid":"https://orcid.org/0000-0002-9501-9606"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sylvain Boulm\u00e9","raw_affiliation_strings":["Institut Polytechnique de Grenoble, VERIMAG, Gi\u00e8res, F-38610"],"affiliations":[{"raw_affiliation_string":"Institut Polytechnique de Grenoble, VERIMAG, Gi\u00e8res, F-38610","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027356527","display_name":"Claude March\u00e9","orcid":"https://orcid.org/0000-0003-3035-1269"},"institutions":[{"id":"https://openalex.org/I4210144804","display_name":"Laboratoire de Recherche en Informatique","ror":"https://ror.org/04e3ktk27","country_code":"FR","type":"facility","lineage":["https://openalex.org/I102197404","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210144804","https://openalex.org/I4210159245"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210126360","display_name":"Inria Saclay - \u00cele de France","ror":"https://ror.org/0315e5x55","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210126360"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Claude March\u00e9","raw_affiliation_strings":["INRIA Saclay - \u00cele-de-France, F-91893","INRIA Saclay- \u00cele-de-France, Parc Orsay Universit\u00e9, 4 rue Jacques Monod, 91893, Orsay Cedex, France","Lab. de Recherche en Informatique, Univ Paris-Sud, CNRS, Orsay, F-91405"],"affiliations":[{"raw_affiliation_string":"INRIA Saclay - \u00cele-de-France, F-91893","institution_ids":["https://openalex.org/I4210126360","https://openalex.org/I1326498283"]},{"raw_affiliation_string":"INRIA Saclay- \u00cele-de-France, Parc Orsay Universit\u00e9, 4 rue Jacques Monod, 91893, Orsay Cedex, France","institution_ids":["https://openalex.org/I4210126360"]},{"raw_affiliation_string":"Lab. de Recherche en Informatique, Univ Paris-Sud, CNRS, Orsay, F-91405","institution_ids":["https://openalex.org/I4210144804","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5041461460"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210144804"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.4883,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.84087929,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"153","last_page":"167"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"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/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9976000189781189,"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/computer-science","display_name":"Computer science","score":0.8954871892929077},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7884355783462524},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.7722718119621277},{"id":"https://openalex.org/keywords/refinement-calculus","display_name":"Refinement calculus","score":0.6287819147109985},{"id":"https://openalex.org/keywords/aliasing","display_name":"Aliasing","score":0.5476190447807312},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5429401993751526},{"id":"https://openalex.org/keywords/object-oriented-programming","display_name":"Object-oriented programming","score":0.4902053475379944},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.488517165184021},{"id":"https://openalex.org/keywords/abstract-data-type","display_name":"Abstract data type","score":0.4459793269634247},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4312092065811157},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4242556691169739},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10181337594985962}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8954871892929077},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7884355783462524},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.7722718119621277},{"id":"https://openalex.org/C90483712","wikidata":"https://www.wikidata.org/wiki/Q7307205","display_name":"Refinement calculus","level":2,"score":0.6287819147109985},{"id":"https://openalex.org/C4069607","wikidata":"https://www.wikidata.org/wiki/Q868732","display_name":"Aliasing","level":3,"score":0.5476190447807312},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5429401993751526},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.4902053475379944},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.488517165184021},{"id":"https://openalex.org/C175971053","wikidata":"https://www.wikidata.org/wiki/Q827335","display_name":"Abstract data type","level":2,"score":0.4459793269634247},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4312092065811157},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4242556691169739},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10181337594985962},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C136536468","wikidata":"https://www.wikidata.org/wiki/Q1225894","display_name":"Undersampling","level":2,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-642-18070-5_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-18070-5_11","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.229.3278","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.229.3278","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://hal.inria.fr/docs/00/53/43/36/PDF/13.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.550.574","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.550.574","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://www.lri.fr/cepromi/images/1/1f/Tafat09refin.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.852.6157","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.852.6157","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://hal.inria.fr/inria-00534336/document/","raw_type":"text"},{"id":"pmh:oai:HAL:inria-00534336v1","is_oa":true,"landing_page_url":"https://inria.hal.science/inria-00534336","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Formal Verification of Object-Oriented Software, Jun 2010, Paris, France. pp.143--159","raw_type":"Conference papers"}],"best_oa_location":{"id":"pmh:oai:HAL:inria-00534336v1","is_oa":true,"landing_page_url":"https://inria.hal.science/inria-00534336","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Formal Verification of Object-Oriented Software, Jun 2010, Paris, France. pp.143--159","raw_type":"Conference papers"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W11332405","https://openalex.org/W170085078","https://openalex.org/W950248874","https://openalex.org/W1491103651","https://openalex.org/W1492315860","https://openalex.org/W1511826042","https://openalex.org/W1532097571","https://openalex.org/W1548974835","https://openalex.org/W1550200770","https://openalex.org/W1552647623","https://openalex.org/W1559870885","https://openalex.org/W1580328473","https://openalex.org/W1582439588","https://openalex.org/W1595316703","https://openalex.org/W1606177908","https://openalex.org/W1959256509","https://openalex.org/W1964830323","https://openalex.org/W1977978965","https://openalex.org/W1995008247","https://openalex.org/W2003539206","https://openalex.org/W2087875803","https://openalex.org/W2091089602","https://openalex.org/W2110050316","https://openalex.org/W2110980218","https://openalex.org/W2116518308","https://openalex.org/W2121707639","https://openalex.org/W2132500556","https://openalex.org/W2136371406","https://openalex.org/W2137628566","https://openalex.org/W2140001025","https://openalex.org/W2143127453","https://openalex.org/W2147650421","https://openalex.org/W2151131364","https://openalex.org/W2159181605","https://openalex.org/W2294943587","https://openalex.org/W2478992265","https://openalex.org/W2490354173","https://openalex.org/W2604845086","https://openalex.org/W2796564118","https://openalex.org/W2936157456","https://openalex.org/W4250853124","https://openalex.org/W4253748132","https://openalex.org/W4254354208"],"related_works":["https://openalex.org/W2096445092","https://openalex.org/W4285428772","https://openalex.org/W4213129642","https://openalex.org/W2025897881","https://openalex.org/W2990129438","https://openalex.org/W1688372159","https://openalex.org/W624863858","https://openalex.org/W2523205872","https://openalex.org/W2099540490","https://openalex.org/W1552423701"],"abstract_inverted_index":null,"counts_by_year":[{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}