{"id":"https://openalex.org/W2109157377","doi":"https://doi.org/10.1007/11589976_13","title":"Synthesizing B Specifications from eb 3 Attribute Definitions","display_name":"Synthesizing B Specifications from eb 3 Attribute Definitions","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W2109157377","doi":"https://doi.org/10.1007/11589976_13","mag":"2109157377"},"language":"en","primary_location":{"id":"doi:10.1007/11589976_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/11589976_13","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000206717","display_name":"Fr\u00e9d\u00e9ric Gervais","orcid":"https://orcid.org/0000-0003-3672-402X"},"institutions":[{"id":"https://openalex.org/I4210145724","display_name":"Centre d'Etudes et De Recherche en Informatique et Communications","ror":"https://ror.org/044j5mm75","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4210145724"]},{"id":"https://openalex.org/I135117807","display_name":"Universit\u00e9 de Sherbrooke","ror":"https://ror.org/00kybxq39","country_code":"CA","type":"education","lineage":["https://openalex.org/I135117807"]},{"id":"https://openalex.org/I124158823","display_name":"Conservatoire National des Arts et M\u00e9tiers","ror":"https://ror.org/0175hh227","country_code":"FR","type":"education","lineage":["https://openalex.org/I124158823","https://openalex.org/I4210134562"]}],"countries":["CA","FR"],"is_corresponding":true,"raw_author_name":"Fr\u00e9d\u00e9ric Gervais","raw_affiliation_strings":["GRIL, D\u00e9partement d\u2019informatique, Universit\u00e9 de Sherbrooke, Sherbrooke, Qu\u00e9bec, J1K\u00a02R1, Canada","Laboratoire CEDRIC, Institut d\u2019Informatique d\u2019Entreprise, Conservatoire National des Arts et M\u00e9tiers, 18 All\u00e9e Jean Rostand, 91025 Cedex, \u00c9vry, France","Laboratoire CEDRIC, Institut d'Informatique d'Entreprise, Conservatoire National des Arts et M\u00e9tiers, 18 All\u00e9e Jean Rostand, 91025 Cedex, \u00c9vry, France"],"affiliations":[{"raw_affiliation_string":"GRIL, D\u00e9partement d\u2019informatique, Universit\u00e9 de Sherbrooke, Sherbrooke, Qu\u00e9bec, J1K\u00a02R1, Canada","institution_ids":["https://openalex.org/I135117807"]},{"raw_affiliation_string":"Laboratoire CEDRIC, Institut d\u2019Informatique d\u2019Entreprise, Conservatoire National des Arts et M\u00e9tiers, 18 All\u00e9e Jean Rostand, 91025 Cedex, \u00c9vry, France","institution_ids":["https://openalex.org/I124158823"]},{"raw_affiliation_string":"Laboratoire CEDRIC, Institut d'Informatique d'Entreprise, Conservatoire National des Arts et M\u00e9tiers, 18 All\u00e9e Jean Rostand, 91025 Cedex, \u00c9vry, France","institution_ids":["https://openalex.org/I4210145724","https://openalex.org/I124158823"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007443078","display_name":"Marc Frappier","orcid":"https://orcid.org/0000-0002-4402-2514"},"institutions":[{"id":"https://openalex.org/I135117807","display_name":"Universit\u00e9 de Sherbrooke","ror":"https://ror.org/00kybxq39","country_code":"CA","type":"education","lineage":["https://openalex.org/I135117807"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Marc Frappier","raw_affiliation_strings":["GRIL, D\u00e9partement d\u2019informatique, Universit\u00e9 de Sherbrooke, Sherbrooke, Qu\u00e9bec, J1K\u00a02R1, Canada","GRIL, D\u00e9partement d'informatique, Universit\u00e9 de Sherbrooke, Sherbrooke, Qu\u00e9bec, J1K\u00a02R1, Canada"],"affiliations":[{"raw_affiliation_string":"GRIL, D\u00e9partement d\u2019informatique, Universit\u00e9 de Sherbrooke, Sherbrooke, Qu\u00e9bec, J1K\u00a02R1, Canada","institution_ids":["https://openalex.org/I135117807"]},{"raw_affiliation_string":"GRIL, D\u00e9partement d'informatique, Universit\u00e9 de Sherbrooke, Sherbrooke, Qu\u00e9bec, J1K\u00a02R1, Canada","institution_ids":["https://openalex.org/I135117807"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109368559","display_name":"R\u00e9gine Laleau","orcid":null},"institutions":[{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I197681013","display_name":"Universit\u00e9 Paris-Est Cr\u00e9teil","ror":"https://ror.org/05ggc9x40","country_code":"FR","type":"education","lineage":["https://openalex.org/I197681013"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"R\u00e9gine Laleau","raw_affiliation_strings":["Laboratoire LACL, Universit\u00e9 de Paris 12, IUT Fontainebleau, D\u00e9partement informatique, Route Foresti\u00e8re Hurtault, 77300, Fontainebleau, France"],"affiliations":[{"raw_affiliation_string":"Laboratoire LACL, Universit\u00e9 de Paris 12, IUT Fontainebleau, D\u00e9partement informatique, Route Foresti\u00e8re Hurtault, 77300, Fontainebleau, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I197681013"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5000206717"],"corresponding_institution_ids":["https://openalex.org/I124158823","https://openalex.org/I135117807","https://openalex.org/I4210145724"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.325,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.81735267,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"207","last_page":"226"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9965999722480774,"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.8477082252502441},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.7248767614364624},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6862683892250061},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.6651293635368347},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5970309972763062},{"id":"https://openalex.org/keywords/language-of-temporal-ordering-specification","display_name":"Language Of Temporal Ordering Specification","score":0.5216558575630188},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.513731837272644},{"id":"https://openalex.org/keywords/formal-language","display_name":"Formal language","score":0.4652842879295349},{"id":"https://openalex.org/keywords/b-method","display_name":"B-Method","score":0.4637938141822815},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.43066826462745667},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4259559214115143},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4203074872493744},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.383334219455719}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8477082252502441},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.7248767614364624},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6862683892250061},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.6651293635368347},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5970309972763062},{"id":"https://openalex.org/C90069079","wikidata":"https://www.wikidata.org/wiki/Q1805432","display_name":"Language Of Temporal Ordering Specification","level":3,"score":0.5216558575630188},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.513731837272644},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.4652842879295349},{"id":"https://openalex.org/C192698709","wikidata":"https://www.wikidata.org/wiki/Q3085774","display_name":"B-Method","level":3,"score":0.4637938141822815},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.43066826462745667},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4259559214115143},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4203074872493744},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.383334219455719},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/11589976_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/11589976_13","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W133467633","https://openalex.org/W1483063212","https://openalex.org/W1492056677","https://openalex.org/W1492102558","https://openalex.org/W1532064934","https://openalex.org/W1546708975","https://openalex.org/W1556500444","https://openalex.org/W1559174978","https://openalex.org/W1559870885","https://openalex.org/W1575221187","https://openalex.org/W1585758771","https://openalex.org/W1594381772","https://openalex.org/W1602419232","https://openalex.org/W1913060376","https://openalex.org/W1973853680","https://openalex.org/W2072418922","https://openalex.org/W2109157377","https://openalex.org/W2109492416","https://openalex.org/W2130642126","https://openalex.org/W2176300081","https://openalex.org/W2187118370","https://openalex.org/W2498046939","https://openalex.org/W2498829579","https://openalex.org/W2589217375","https://openalex.org/W2617307175","https://openalex.org/W2734681559","https://openalex.org/W2734827374","https://openalex.org/W2735993833","https://openalex.org/W2751084063","https://openalex.org/W2751199251","https://openalex.org/W2917724808","https://openalex.org/W2984690077","https://openalex.org/W3144368627","https://openalex.org/W4231029568","https://openalex.org/W4254354208"],"related_works":["https://openalex.org/W2034589735","https://openalex.org/W2347363247","https://openalex.org/W2049993111","https://openalex.org/W1994284435","https://openalex.org/W2018853037","https://openalex.org/W2323519609","https://openalex.org/W1524680871","https://openalex.org/W25224113","https://openalex.org/W1950917686","https://openalex.org/W2577693053"],"abstract_inverted_index":null,"counts_by_year":[{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":4}],"updated_date":"2026-01-15T23:16:33.117629","created_date":"2025-10-10T00:00:00"}