{"id":"https://openalex.org/W2092417937","doi":"https://doi.org/10.1007/s10617-005-1184-6","title":"Embedded System Design Using Formal Model Refinement: An Approach Based on the Combined Use of UML and the B Language","display_name":"Embedded System Design Using Formal Model Refinement: An Approach Based on the Combined Use of UML and the B Language","publication_year":2004,"publication_date":"2004-06-01","ids":{"openalex":"https://openalex.org/W2092417937","doi":"https://doi.org/10.1007/s10617-005-1184-6","mag":"2092417937"},"language":"en","primary_location":{"id":"doi:10.1007/s10617-005-1184-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10617-005-1184-6","pdf_url":null,"source":{"id":"https://openalex.org/S85498321","display_name":"Design Automation for Embedded Systems","issn_l":"0929-5585","issn":["0929-5585","1572-8080"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Design Automation for Embedded Systems","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/A5048927560","display_name":"Nikolaos Voros","orcid":"https://orcid.org/0000-0003-2410-5205"},"institutions":[{"id":"https://openalex.org/I86100027","display_name":"Intracom Telecom (Greece)","ror":"https://ror.org/04npy5k94","country_code":"GR","type":"company","lineage":["https://openalex.org/I86100027"]}],"countries":["GR"],"is_corresponding":true,"raw_author_name":"Nikolaos S. Voros","raw_affiliation_strings":["INTRACOM S.A., Hellenic Telecommunication and Electronics Industry, 254 Panepistimiou Str., 26443, Patra, Greece","INTRACOM S.A., Hellenic Telecommunication and Electronics Industry, Patra, Greece 26443#TAB#"],"affiliations":[{"raw_affiliation_string":"INTRACOM S.A., Hellenic Telecommunication and Electronics Industry, 254 Panepistimiou Str., 26443, Patra, Greece","institution_ids":["https://openalex.org/I86100027"]},{"raw_affiliation_string":"INTRACOM S.A., Hellenic Telecommunication and Electronics Industry, Patra, Greece 26443#TAB#","institution_ids":["https://openalex.org/I86100027"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018781402","display_name":"Colin Snook","orcid":"https://orcid.org/0000-0002-0210-0983"},"institutions":[{"id":"https://openalex.org/I43439940","display_name":"University of Southampton","ror":"https://ror.org/01ryk1543","country_code":"GB","type":"education","lineage":["https://openalex.org/I43439940"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Colin F. Snook","raw_affiliation_strings":["School of Electronics and Computer Science, University of Southampton, SO17 1BJ, UK","School of Electronics and Computer Science , University of Southampton , UK, SO17 1BJ"],"affiliations":[{"raw_affiliation_string":"School of Electronics and Computer Science, University of Southampton, SO17 1BJ, UK","institution_ids":["https://openalex.org/I43439940"]},{"raw_affiliation_string":"School of Electronics and Computer Science , University of Southampton , UK, SO17 1BJ","institution_ids":["https://openalex.org/I43439940"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000759525","display_name":"Stefan Hallerstede","orcid":"https://orcid.org/0000-0001-9952-0214"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Stefan Hallerstede","raw_affiliation_strings":["KeesDA S.A., Centre Equation, 2 avenue de Vignate, 38610, Gieres, France","KeesDA S.A., Centre Equation, Gieres, France 38610#TAB#"],"affiliations":[{"raw_affiliation_string":"KeesDA S.A., Centre Equation, 2 avenue de Vignate, 38610, Gieres, France","institution_ids":[]},{"raw_affiliation_string":"KeesDA S.A., Centre Equation, Gieres, France 38610#TAB#","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018954488","display_name":"\u039a\u03c9\u03bd\u03c3\u03c4\u03b1\u03bd\u03c4\u03af\u03bd\u03bf\u03c2 \u039c\u03b1\u03c3\u03c3\u03ad\u03bb\u03bf\u03c2","orcid":"https://orcid.org/0000-0001-9311-4696"},"institutions":[{"id":"https://openalex.org/I86100027","display_name":"Intracom Telecom (Greece)","ror":"https://ror.org/04npy5k94","country_code":"GR","type":"company","lineage":["https://openalex.org/I86100027"]},{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB","GR"],"is_corresponding":false,"raw_author_name":"Konstantinos Masselos","raw_affiliation_strings":["INTRACOM S.A., Hellenic Telecommunication and Electronics Industry, 19.5 Km Markopoulo Avenue, PO Box 68, 19002, Attika, Peania, Greece","INTRACOM S.A., Hellenic Telecommunication and Electronics Industry, Attika, Peania, Greece 19002 and Imperial College of Science Technology and Medicine, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"INTRACOM S.A., Hellenic Telecommunication and Electronics Industry, 19.5 Km Markopoulo Avenue, PO Box 68, 19002, Attika, Peania, Greece","institution_ids":["https://openalex.org/I86100027"]},{"raw_affiliation_string":"INTRACOM S.A., Hellenic Telecommunication and Electronics Industry, Attika, Peania, Greece 19002 and Imperial College of Science Technology and Medicine, UK#TAB#","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5048927560"],"corresponding_institution_ids":["https://openalex.org/I86100027"],"apc_list":{"value":2490,"currency":"EUR","value_usd":3190},"apc_paid":null,"fwci":0.396,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.68330253,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"9","issue":"2","first_page":"67","last_page":"99"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998999834060669,"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/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9991999864578247,"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.8266356587409973},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.6638076901435852},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6096900701522827},{"id":"https://openalex.org/keywords/applications-of-uml","display_name":"Applications of UML","score":0.586104154586792},{"id":"https://openalex.org/keywords/uml-tool","display_name":"UML tool","score":0.531862199306488},{"id":"https://openalex.org/keywords/object-constraint-language","display_name":"Object Constraint Language","score":0.48927852511405945},{"id":"https://openalex.org/keywords/refinement","display_name":"Refinement","score":0.46384671330451965},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4395117163658142},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.41826432943344116},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.11974203586578369}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8266356587409973},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.6638076901435852},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6096900701522827},{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.586104154586792},{"id":"https://openalex.org/C146939238","wikidata":"https://www.wikidata.org/wiki/Q2467310","display_name":"UML tool","level":4,"score":0.531862199306488},{"id":"https://openalex.org/C133264317","wikidata":"https://www.wikidata.org/wiki/Q1397689","display_name":"Object Constraint Language","level":5,"score":0.48927852511405945},{"id":"https://openalex.org/C14331664","wikidata":"https://www.wikidata.org/wiki/Q3417382","display_name":"Refinement","level":3,"score":0.46384671330451965},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4395117163658142},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.41826432943344116},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.11974203586578369}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10617-005-1184-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10617-005-1184-6","pdf_url":null,"source":{"id":"https://openalex.org/S85498321","display_name":"Design Automation for Embedded Systems","issn_l":"0929-5585","issn":["0929-5585","1572-8080"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Design Automation for Embedded Systems","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:publications/b1628266-8c44-4625-aa9d-650a5b321174","is_oa":false,"landing_page_url":"https://pure.au.dk/portal/en/publications/b1628266-8c44-4625-aa9d-650a5b321174","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Voros, N S, Snook, C F, Hallerstede, S & Masselos, K 2005, 'Embedded system design using formal model refinement : An approach based on the combined use of UML and the B language', Design Automation for Embedded Systems, vol. 9, no. 2, pp. 67-99. https://doi.org/10.1007/s10617-005-1184-6","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W33941996","https://openalex.org/W184965696","https://openalex.org/W1518695183","https://openalex.org/W1559870885","https://openalex.org/W1594713439","https://openalex.org/W1598579619","https://openalex.org/W1998017916","https://openalex.org/W2099529102","https://openalex.org/W2129353949","https://openalex.org/W2144625195","https://openalex.org/W2400387248","https://openalex.org/W3175309360","https://openalex.org/W4254354208","https://openalex.org/W4300174272","https://openalex.org/W6649619856"],"related_works":["https://openalex.org/W1991550997","https://openalex.org/W1601767717","https://openalex.org/W4241150048","https://openalex.org/W4230811716","https://openalex.org/W1529433638","https://openalex.org/W1495459135","https://openalex.org/W4229884746","https://openalex.org/W240414383","https://openalex.org/W2103939680","https://openalex.org/W2516157115"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}