Publication Information

{'id': 'https://openalex.org/W2329494096', 'doi': 'https://doi.org/10.15514/syrcose-2008-2-8', 'title': 'Automata-Based Programming Technology Extension for Generation of JML Annotated Java Card Code', 'display_name': 'Automata-Based Programming Technology Extension for Generation of JML Annotated Java Card Code', 'publication_year': 2008, 'publication_date': '2008-01-01', 'ids': {'openalex': 'https://openalex.org/W2329494096', 'doi': 'https://doi.org/10.15514/syrcose-2008-2-8', 'mag': '2329494096'}, 'language': 'en', 'primary_location': {'is_oa': True, 'landing_page_url': 'https://doi.org/10.15514/syrcose-2008-2-8', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4220651699', 'display_name': "Proceedings of the Spring/Summer young researchers' colloquium on software engineering", 'issn_l': '2311-7230', 'issn': ['2311-7230'], 'is_oa': True, 'is_in_doaj': True, 'is_core': False, 'host_organization': 'https://openalex.org/P4310312722', 'host_organization_name': 'Institute for System Programming of the Russian Academy of Sciences (ISPRAS)', 'host_organization_lineage': ['https://openalex.org/P4310312722'], 'host_organization_lineage_names': ['Institute for System Programming of the Russian Academy of Sciences (ISPRAS)'], 'type': 'journal'}, 'license': 'cc-by', 'license_id': 'https://openalex.org/licenses/cc-by', 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, 'type': 'article', 'type_crossref': 'proceedings-article', 'indexed_in': ['crossref'], 'open_access': {'is_oa': True, 'oa_status': 'diamond', 'oa_url': 'https://doi.org/10.15514/syrcose-2008-2-8', 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5081923592', 'display_name': 'Andrey Klebanov', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I173089394', 'display_name': 'ITMO University', 'ror': 'https://ror.org/04txgxn49', 'country_code': 'RU', 'type': 'education', 'lineage': ['https://openalex.org/I173089394']}], 'countries': ['RU'], 'is_corresponding': False, 'raw_author_name': 'Andrey Klebanov', 'raw_affiliation_strings': ['Computer Technologies Department, Saint-Petersburg State University of Information Technologies, Mechanics and Optics, Saint-Petersburg, Russia'], 'affiliations': [{'raw_affiliation_string': 'Computer Technologies Department, Saint-Petersburg State University of Information Technologies, Mechanics and Optics, Saint-Petersburg, Russia', 'institution_ids': ['https://openalex.org/I173089394', 'https://openalex.org/I173089394']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5097317570', 'display_name': 'Alexander Mikhaylov', 'orcid': None}, 'institutions': [], 'countries': [], 'is_corresponding': False, 'raw_author_name': 'Alexander Mikhaylov', 'raw_affiliation_strings': [], 'affiliations': []}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 1, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': {'value': 0, 'currency': 'USD', 'value_usd': 0, 'provenance': 'doaj'}, 'apc_paid': None, 'fwci': 0.0, 'has_fulltext': True, 'fulltext_origin': 'pdf', 'cited_by_count': 1, 'citation_normalized_percentile': {'value': 0.540356, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 63, 'max': 70}, 'biblio': {'volume': None, 'issue': None, 'first_page': None, 'last_page': None}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10904', 'display_name': 'Reconfigurable Computing Systems and Design Methods', 'score': 0.9998, 'subfield': {'id': 'https://openalex.org/subfields/1708', 'display_name': 'Hardware and Architecture'}, '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/T10904', 'display_name': 'Reconfigurable Computing Systems and Design Methods', 'score': 0.9998, 'subfield': {'id': 'https://openalex.org/subfields/1708', 'display_name': 'Hardware and Architecture'}, '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/T10054', 'display_name': 'Parallel Computing and Performance Optimization', 'score': 0.9987, 'subfield': {'id': 'https://openalex.org/subfields/1708', 'display_name': 'Hardware and Architecture'}, '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/T10933', 'display_name': 'Real-Time Scheduling in Embedded Systems', 'score': 0.9986, 'subfield': {'id': 'https://openalex.org/subfields/1708', 'display_name': 'Hardware and Architecture'}, '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/platform-based-design', 'display_name': 'Platform-Based Design', 'score': 0.483886}, {'id': 'https://openalex.org/keywords/code', 'display_name': 'Code (set theory)', 'score': 0.47349983}], 'concepts': [{'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.83695304}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.76682436}, {'id': 'https://openalex.org/C2778029271', 'wikidata': 'https://www.wikidata.org/wiki/Q5421931', 'display_name': 'Extension (predicate logic)', 'level': 2, 'score': 0.7249944}, {'id': 'https://openalex.org/C47747970', 'wikidata': 'https://www.wikidata.org/wiki/Q46101', 'display_name': 'Java Card', 'level': 4, 'score': 0.6396437}, {'id': 'https://openalex.org/C548217200', 'wikidata': 'https://www.wikidata.org/wiki/Q251', 'display_name': 'Java', 'level': 2, 'score': 0.5919538}, {'id': 'https://openalex.org/C2776760102', 'wikidata': 'https://www.wikidata.org/wiki/Q5139990', 'display_name': 'Code (set theory)', 'level': 3, 'score': 0.47349983}, {'id': 'https://openalex.org/C133162039', 'wikidata': 'https://www.wikidata.org/wiki/Q1061077', 'display_name': 'Code generation', 'level': 3, 'score': 0.41228935}, {'id': 'https://openalex.org/C111919701', 'wikidata': 'https://www.wikidata.org/wiki/Q9135', 'display_name': 'Operating system', 'level': 1, 'score': 0.29624134}, {'id': 'https://openalex.org/C132106392', 'wikidata': 'https://www.wikidata.org/wiki/Q1373903', 'display_name': 'Real time Java', 'level': 3, 'score': 0.18385622}, {'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/C26517878', 'wikidata': 'https://www.wikidata.org/wiki/Q228039', 'display_name': 'Key (lock)', 'level': 2, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': True, 'landing_page_url': 'https://doi.org/10.15514/syrcose-2008-2-8', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4220651699', 'display_name': "Proceedings of the Spring/Summer young researchers' colloquium on software engineering", 'issn_l': '2311-7230', 'issn': ['2311-7230'], 'is_oa': True, 'is_in_doaj': True, 'is_core': False, 'host_organization': 'https://openalex.org/P4310312722', 'host_organization_name': 'Institute for System Programming of the Russian Academy of Sciences (ISPRAS)', 'host_organization_lineage': ['https://openalex.org/P4310312722'], 'host_organization_lineage_names': ['Institute for System Programming of the Russian Academy of Sciences (ISPRAS)'], 'type': 'journal'}, 'license': 'cc-by', 'license_id': 'https://openalex.org/licenses/cc-by', 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}], 'best_oa_location': {'is_oa': True, 'landing_page_url': 'https://doi.org/10.15514/syrcose-2008-2-8', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4220651699', 'display_name': "Proceedings of the Spring/Summer young researchers' colloquium on software engineering", 'issn_l': '2311-7230', 'issn': ['2311-7230'], 'is_oa': True, 'is_in_doaj': True, 'is_core': False, 'host_organization': 'https://openalex.org/P4310312722', 'host_organization_name': 'Institute for System Programming of the Russian Academy of Sciences (ISPRAS)', 'host_organization_lineage': ['https://openalex.org/P4310312722'], 'host_organization_lineage_names': ['Institute for System Programming of the Russian Academy of Sciences (ISPRAS)'], 'type': 'journal'}, 'license': 'cc-by', 'license_id': 'https://openalex.org/licenses/cc-by', 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 17, 'referenced_works': ['https://openalex.org/W1569952392', 'https://openalex.org/W1573154295', 'https://openalex.org/W1584667375', 'https://openalex.org/W1589153215', 'https://openalex.org/W1612432860', 'https://openalex.org/W174135918', 'https://openalex.org/W1964830323', 'https://openalex.org/W1983150384', 'https://openalex.org/W1983589404', 'https://openalex.org/W2052363833', 'https://openalex.org/W2089646912', 'https://openalex.org/W2094160561', 'https://openalex.org/W2107995193', 'https://openalex.org/W2111283802', 'https://openalex.org/W2127335869', 'https://openalex.org/W2151061082', 'https://openalex.org/W2164810907'], 'related_works': ['https://openalex.org/W537503', 'https://openalex.org/W4230071743', 'https://openalex.org/W2948473269', 'https://openalex.org/W2913127863', 'https://openalex.org/W2522787359', 'https://openalex.org/W2402420015', 'https://openalex.org/W2396826581', 'https://openalex.org/W2384512606', 'https://openalex.org/W2098862077', 'https://openalex.org/W2082669734'], 'abstract_inverted_index': {'This': [0], 'paper': [1], 'gives': [2], 'an': [3], 'overview': [4], 'of': [5, 13, 44, 50, 52, 60], 'the': [6, 19, 42, 48, 61], 'ongoing': [7], 'research': [8], 'project': [9], 'which': [10, 32], 'concerns': [11], 'generation': [12, 51], 'dependable': [14], 'Java': [15, 57], 'Card': [16], 'code.According': [17], 'to': [18], 'automata-based': [20], 'programming': [21], 'technology,': [22], 'code': [23, 62], 'is': [24, 33, 47], 'generated': [25], 'from': [26, 41], 'a': [27], 'high-level': [28], 'application': [29, 54], 'behavior': [30], 'description': [31, 46], 'based': [34], 'on': [35], 'finite': [36], 'state': [37, 77], 'machines.An': [38], 'extra': [39], 'benefit': [40], 'use': [43], 'such': [45], 'possibility': [49], 'formal': [53], 'specification': [55, 65], 'in': [56], 'Modeling': [58], 'Language.Conformance': [59], 'against': [63], 'its': [64], 'could': [66], 'be': [67], 'checked': [68], 'by': [69], 'different': [70], 'static': [71], 'checking': [72], 'and': [73], 'verification': [74], 'tools.Index': [75], 'Terms-Finite': [76]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2329494096', 'counts_by_year': [{'year': 2017, 'cited_by_count': 1}], 'updated_date': '2024-09-26T03:28:13.700873', 'created_date': '2016-06-24'}