Publication Information

{'id': 'https://openalex.org/W2125729757', 'doi': 'https://doi.org/10.1109/icfem.1998.730583', 'title': 'The B Bank: a complete case study', 'display_name': 'The B Bank: a complete case study', 'publication_year': 2002, 'publication_date': '2002-11-27', 'ids': {'openalex': 'https://openalex.org/W2125729757', 'doi': 'https://doi.org/10.1109/icfem.1998.730583', 'mag': '2125729757'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1109/icfem.1998.730583', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'article', 'type_crossref': 'proceedings-article', 'indexed_in': ['crossref'], 'open_access': {'is_oa': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5017927328', 'display_name': 'Martin Büchi', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I183173800', 'display_name': 'Turku Centre for Computer Science', 'ror': 'https://ror.org/00vy7ed73', 'country_code': 'FI', 'type': 'facility', 'lineage': ['https://openalex.org/I130217899', 'https://openalex.org/I155660961', 'https://openalex.org/I183173800']}], 'countries': ['FI'], 'is_corresponding': True, 'raw_author_name': 'M. Buchi', 'raw_affiliation_strings': ['Turku Centre for Computer Science, Finland'], 'affiliations': [{'raw_affiliation_string': 'Turku Centre for Computer Science, Finland', 'institution_ids': ['https://openalex.org/I183173800']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 1, 'corresponding_author_ids': ['https://openalex.org/A5017927328'], 'corresponding_institution_ids': ['https://openalex.org/I183173800'], 'apc_list': None, 'apc_paid': None, 'fwci': 0.0, 'has_fulltext': True, 'fulltext_origin': 'ngrams', 'cited_by_count': 4, 'citation_normalized_percentile': {'value': 0.418991, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 71, 'max': 73}, 'biblio': {'volume': None, 'issue': None, 'first_page': '190', 'last_page': '199'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10126', 'display_name': 'Logic, programming, and type systems', 'score': 0.9896, '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.9896, '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/T10317', 'display_name': 'Advanced Database Systems and Queries', 'score': 0.9749, 'subfield': {'id': 'https://openalex.org/subfields/1705', 'display_name': 'Computer Networks and Communications'}, '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/T10260', 'display_name': 'Software Engineering Research', 'score': 0.973, 'subfield': {'id': 'https://openalex.org/subfields/1710', 'display_name': 'Information Systems'}, '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/executable', 'display_name': 'Executable', 'score': 0.86835253}, {'id': 'https://openalex.org/keywords/implementation', 'display_name': 'Implementation', 'score': 0.7433163}, {'id': 'https://openalex.org/keywords/code', 'display_name': 'Code (set theory)', 'score': 0.5165009}], 'concepts': [{'id': 'https://openalex.org/C160145156', 'wikidata': 'https://www.wikidata.org/wiki/Q778586', 'display_name': 'Executable', 'level': 2, 'score': 0.86835253}, {'id': 'https://openalex.org/C26713055', 'wikidata': 'https://www.wikidata.org/wiki/Q245962', 'display_name': 'Implementation', 'level': 2, 'score': 0.7433163}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.68317884}, {'id': 'https://openalex.org/C2776760102', 'wikidata': 'https://www.wikidata.org/wiki/Q5139990', 'display_name': 'Code (set theory)', 'level': 3, 'score': 0.5165009}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.5139443}, {'id': 'https://openalex.org/C43126263', 'wikidata': 'https://www.wikidata.org/wiki/Q128751', 'display_name': 'Source code', 'level': 2, 'score': 0.43620053}, {'id': 'https://openalex.org/C115903868', 'wikidata': 'https://www.wikidata.org/wiki/Q80993', 'display_name': 'Software engineering', 'level': 1, 'score': 0.40095988}, {'id': 'https://openalex.org/C177264268', 'wikidata': 'https://www.wikidata.org/wiki/Q1514741', 'display_name': 'Set (abstract data type)', 'level': 2, 'score': 0.28565794}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1109/icfem.1998.730583', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [{'display_name': 'Industry, innovation and infrastructure', 'score': 0.48, 'id': 'https://metadata.un.org/sdg/9'}], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 17, 'referenced_works': ['https://openalex.org/W1519170652', 'https://openalex.org/W1540492331', 'https://openalex.org/W1541085282', 'https://openalex.org/W1559870885', 'https://openalex.org/W1560393601', 'https://openalex.org/W1572969462', 'https://openalex.org/W1880655000', 'https://openalex.org/W2099293367', 'https://openalex.org/W2109492416', 'https://openalex.org/W2121212903', 'https://openalex.org/W2159765281', 'https://openalex.org/W242821809', 'https://openalex.org/W2571493780', 'https://openalex.org/W3018464802', 'https://openalex.org/W4248178742', 'https://openalex.org/W4254354208', 'https://openalex.org/W591436141'], 'related_works': ['https://openalex.org/W82161441', 'https://openalex.org/W3120610872', 'https://openalex.org/W3081644756', 'https://openalex.org/W2598672065', 'https://openalex.org/W2523911541', 'https://openalex.org/W2181943964', 'https://openalex.org/W1993817217', 'https://openalex.org/W1638297612', 'https://openalex.org/W1576042299', 'https://openalex.org/W1528423264'], 'abstract_inverted_index': {'We': [0], 'develop': [1], 'a': [2, 60], 'Web': [3], 'based': [4], 'banking': [5], 'application': [6, 33], 'with': [7], 'cashier': [8], 'and': [9, 28, 40, 51, 86, 109], 'automated': [10], 'teller': [11], 'machine': [12], 'functionality': [13], 'using': [14], 'the': [15, 23, 55, 75, 78, 87, 111], 'B': [16, 56, 79, 100], 'formal': [17], 'method.': [18], 'The': [19, 70], 'complete': [20], 'development,': [21], 'including': [22], 'front': [24], 'end,': [25], 'is': [26, 43, 58, 64], 'specified': [27], 'refined': [29], 'to': [30, 103], 'an': [31], 'executable': [32], 'in': [34, 67, 77], 'Atelier': [35], 'B.': [36], 'Refinement': [37], 'between': [38, 81], 'specifications': [39], 'their': [41], 'implementations': [42], 'proved': [44], 'mechanically.': [45], 'At': [46], "2'324": [47], 'lines': [48], 'of': [49], 'code': [50], "1'397": [52], 'proof': [53], 'obligations': [54], 'Bank': [57], 'not': [59], 'toy;': [61], 'yet': [62], 'it': [63], 'still': [65], 'understandable': [66], 'its': [68], 'details.': [69], 'paper': [71], 'aims': [72], 'at': [73], 'filling': [74], 'gap': [76], 'literature': [80], 'small': [82], 'text': [83], 'book': [84], 'examples': [85], "bird's": [88], 'eye': [89], 'view': [90], 'reports': [91], 'on': [92], 'large': [93], 'industrial': [94], 'size': [95], 'developments.': [96], 'Furthermore,': [97], 'we': [98], 'use': [99], 'from': [101], 'top': [102], 'bottom,': [104], 'fully': [105], 'prove': [106], 'all': [107], 'obligations,': [108], 'make': [110], 'case': [112], 'study': [113], 'available': [114], 'online.': [115]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2125729757', 'counts_by_year': [{'year': 2013, 'cited_by_count': 1}], 'updated_date': '2024-12-13T02:52:26.010829', 'created_date': '2016-06-24'}