Publication Information

{'id': 'https://openalex.org/W2038479603', 'doi': 'https://doi.org/10.1002/scj.4690271006', 'title': 'Error description on algebraic specification and its automatic addition', 'display_name': 'Error description on algebraic specification and its automatic addition', 'publication_year': 1996, 'publication_date': '1996-01-01', 'ids': {'openalex': 'https://openalex.org/W2038479603', 'doi': 'https://doi.org/10.1002/scj.4690271006', 'mag': '2038479603'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1002/scj.4690271006', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S58208175', 'display_name': 'Systems and Computers in Japan', 'issn_l': '0882-1666', 'issn': ['0882-1666', '1520-684X'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310320595', 'host_organization_name': 'Wiley', 'host_organization_lineage': ['https://openalex.org/P4310320595'], 'host_organization_lineage_names': ['Wiley'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'article', 'type_crossref': 'journal-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/A5044561358', 'display_name': 'Takeshi Hamaguchi', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I60134161', 'display_name': 'Nagoya University', 'ror': 'https://ror.org/04chrp450', 'country_code': 'JP', 'type': 'education', 'lineage': ['https://openalex.org/I60134161']}, {'id': 'https://openalex.org/I205924995', 'display_name': 'Japan Society for the Promotion of Science', 'ror': 'https://ror.org/00hhkn466', 'country_code': 'JP', 'type': 'nonprofit', 'lineage': ['https://openalex.org/I1319490839', 'https://openalex.org/I205924995']}], 'countries': ['JP'], 'is_corresponding': False, 'raw_author_name': 'Takeshi Hamaguchi', 'raw_affiliation_strings': ['School of Engineering, Nagoya University, Nagoya, Japan 464', 'Takeshi Hamaguchi:  received his B.E. degree in Information Engineering from Nagoya University in 1990, and is currently in the doctoral program. He is engaged in research on formal specification. He is a member of the Japan Society for Software and Technology.'], 'affiliations': [{'raw_affiliation_string': 'School of Engineering, Nagoya University, Nagoya, Japan 464', 'institution_ids': ['https://openalex.org/I60134161']}, {'raw_affiliation_string': 'Takeshi Hamaguchi:  received his B.E. degree in Information Engineering from Nagoya University in 1990, and is currently in the doctoral program. He is engaged in research on formal specification. He is a member of the Japan Society for Software and Technology.', 'institution_ids': ['https://openalex.org/I205924995']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5109034585', 'display_name': 'Shinichirou Yamamoto', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I60134161', 'display_name': 'Nagoya University', 'ror': 'https://ror.org/04chrp450', 'country_code': 'JP', 'type': 'education', 'lineage': ['https://openalex.org/I60134161']}], 'countries': ['JP'], 'is_corresponding': False, 'raw_author_name': 'Shinichirou Yamamoto', 'raw_affiliation_strings': ['School of Engineering, Nagoya University, Nagoya, Japan 464', 'Shinichirou Yamamoto:  received his B.E. and Dr. of Eng. degrees in Electric Engineering from Nagoya University in 1986 and 1991, respectively. Since 1991, he has been a Research Associate in the Dept. of Electronic Information Engineering. He is engaged in the study of term rewriting system and functional language processing. He is a member of the Information Processing Society, and Japan Society for, %ftware and Technology.'], 'affiliations': [{'raw_affiliation_string': 'Shinichirou Yamamoto:  received his B.E. and Dr. of Eng. degrees in Electric Engineering from Nagoya University in 1986 and 1991, respectively. Since 1991, he has been a Research Associate in the Dept. of Electronic Information Engineering. He is engaged in the study of term rewriting system and functional language processing. He is a member of the Information Processing Society, and Japan Society for, %ftware and Technology.', 'institution_ids': []}, {'raw_affiliation_string': 'School of Engineering, Nagoya University, Nagoya, Japan 464', 'institution_ids': ['https://openalex.org/I60134161']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5084062983', 'display_name': 'Kiyoshi Agusa', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I60134161', 'display_name': 'Nagoya University', 'ror': 'https://ror.org/04chrp450', 'country_code': 'JP', 'type': 'education', 'lineage': ['https://openalex.org/I60134161']}], 'countries': ['JP'], 'is_corresponding': False, 'raw_author_name': 'Kiyshi Agusa', 'raw_affiliation_strings': ['Kiyoshi Agusa:  received his B.E. degree in Electric Engineering from Kyoto University in 1970 and affiliatedwith the Information Engineering Department at Kyoto University in 1974. He also has a Dr. of Eng. degree. Since 1989, he has been Professor of Electric Engineering at Nagoya University, and currently is a Professor of Information Engineering. From 1986 to 1987, Visiting Researcher at University of California. He is engaged in the study of software engineering. His research interests include requirement analysis, software specification technique, software components, software development model. Received an award for excellent article from Information Processing Society in 1985.', 'School of Engineering, Nagoya University, Nagoya, Japan 464'], 'affiliations': [{'raw_affiliation_string': 'Kiyoshi Agusa:  received his B.E. degree in Electric Engineering from Kyoto University in 1970 and affiliatedwith the Information Engineering Department at Kyoto University in 1974. He also has a Dr. of Eng. degree. Since 1989, he has been Professor of Electric Engineering at Nagoya University, and currently is a Professor of Information Engineering. From 1986 to 1987, Visiting Researcher at University of California. He is engaged in the study of software engineering. His research interests include requirement analysis, software specification technique, software components, software development model. Received an award for excellent article from Information Processing Society in 1985.', 'institution_ids': []}, {'raw_affiliation_string': 'School of Engineering, Nagoya University, Nagoya, Japan 464', 'institution_ids': ['https://openalex.org/I60134161']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5054861254', 'display_name': 'Masahiko Sakai', 'orcid': 'https://orcid.org/0000-0002-6234-0161'}, 'institutions': [{'id': 'https://openalex.org/I177738480', 'display_name': 'Japan Advanced Institute of Science and Technology', 'ror': 'https://ror.org/03frj4r98', 'country_code': 'JP', 'type': 'education', 'lineage': ['https://openalex.org/I177738480']}], 'countries': ['JP'], 'is_corresponding': False, 'raw_author_name': 'Masahiko Sakai', 'raw_affiliation_strings': ['Japan Advanced Institute of Science and Technology, Hokuriku, Ishikawa, Japan 923', 'Masahiko Sakai:  received his B.E. and Dr. of Eng. degrees in Electric Engineering from Nagoya University in 1984 and 1989, respectively. Since 1993, He has been an Assistant Professor at Japan Advanced Institute of Science and Technology, Hokuriku. He is engaged in the study of formal specification, verification of specification, and automatic software generation. He is a member of the Information Processing Society.'], 'affiliations': [{'raw_affiliation_string': 'Masahiko Sakai:  received his B.E. and Dr. of Eng. degrees in Electric Engineering from Nagoya University in 1984 and 1989, respectively. Since 1993, He has been an Assistant Professor at Japan Advanced Institute of Science and Technology, Hokuriku. He is engaged in the study of formal specification, verification of specification, and automatic software generation. He is a member of the Information Processing Society.', 'institution_ids': ['https://openalex.org/I177738480']}, {'raw_affiliation_string': 'Japan Advanced Institute of Science and Technology, Hokuriku, Ishikawa, Japan 923', 'institution_ids': ['https://openalex.org/I177738480']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 3, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 0.0, 'has_fulltext': True, 'fulltext_origin': 'ngrams', 'cited_by_count': 1, 'citation_normalized_percentile': {'value': 0.307675, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 54, 'max': 62}, 'biblio': {'volume': '27', 'issue': '10', 'first_page': '59', 'last_page': '67'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10142', 'display_name': 'Formal Methods in Verification', 'score': 0.9983, '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.9983, '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/T10743', 'display_name': 'Software Testing and Debugging Techniques', 'score': 0.9976, '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/T10126', 'display_name': 'Logic, programming, and type systems', 'score': 0.9942, '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/value', 'display_name': 'Value (mathematics)', 'score': 0.5435898}, {'id': 'https://openalex.org/keywords/algebraic-specification', 'display_name': 'Algebraic specification', 'score': 0.46999988}, {'id': 'https://openalex.org/keywords/algebraic-operation', 'display_name': 'Algebraic operation', 'score': 0.46476778}], 'concepts': [{'id': 'https://openalex.org/C55439883', 'wikidata': 'https://www.wikidata.org/wiki/Q360812', 'display_name': 'Correctness', 'level': 2, 'score': 0.84650785}, {'id': 'https://openalex.org/C61797465', 'wikidata': 'https://www.wikidata.org/wiki/Q1188986', 'display_name': 'Term (time)', 'level': 2, 'score': 0.7368693}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.7240822}, {'id': 'https://openalex.org/C9376300', 'wikidata': 'https://www.wikidata.org/wiki/Q168817', 'display_name': 'Algebraic number', 'level': 2, 'score': 0.64363056}, {'id': 'https://openalex.org/C11413529', 'wikidata': 'https://www.wikidata.org/wiki/Q8366', 'display_name': 'Algorithm', 'level': 1, 'score': 0.56650996}, {'id': 'https://openalex.org/C2776291640', 'wikidata': 'https://www.wikidata.org/wiki/Q2912517', 'display_name': 'Value (mathematics)', 'level': 2, 'score': 0.5435898}, {'id': 'https://openalex.org/C88548561', 'wikidata': 'https://www.wikidata.org/wiki/Q347599', 'display_name': 'sort', 'level': 2, 'score': 0.5182112}, {'id': 'https://openalex.org/C2777691520', 'wikidata': 'https://www.wikidata.org/wiki/Q4724019', 'display_name': 'Algebraic specification', 'level': 3, 'score': 0.46999988}, {'id': 'https://openalex.org/C136003732', 'wikidata': 'https://www.wikidata.org/wiki/Q3854337', 'display_name': 'Algebraic operation', 'level': 3, 'score': 0.46476778}, {'id': 'https://openalex.org/C80444323', 'wikidata': 'https://www.wikidata.org/wiki/Q2878974', 'display_name': 'Theoretical computer science', 'level': 1, 'score': 0.32402587}, {'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.2528504}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.18540788}, {'id': 'https://openalex.org/C116253237', 'wikidata': 'https://www.wikidata.org/wiki/Q1437424', 'display_name': 'Formal specification', 'level': 2, 'score': 0.12122983}, {'id': 'https://openalex.org/C134306372', 'wikidata': 'https://www.wikidata.org/wiki/Q7754', 'display_name': 'Mathematical analysis', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C121332964', 'wikidata': 'https://www.wikidata.org/wiki/Q413', 'display_name': 'Physics', 'level': 0, 'score': 0.0}, {'id': 'https://openalex.org/C62520636', 'wikidata': 'https://www.wikidata.org/wiki/Q944', 'display_name': 'Quantum mechanics', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C119857082', 'wikidata': 'https://www.wikidata.org/wiki/Q2539', 'display_name': 'Machine learning', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C23123220', 'wikidata': 'https://www.wikidata.org/wiki/Q816826', 'display_name': 'Information retrieval', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1002/scj.4690271006', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S58208175', 'display_name': 'Systems and Computers in Japan', 'issn_l': '0882-1666', 'issn': ['0882-1666', '1520-684X'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310320595', 'host_organization_name': 'Wiley', 'host_organization_lineage': ['https://openalex.org/P4310320595'], 'host_organization_lineage_names': ['Wiley'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 3, 'referenced_works': ['https://openalex.org/W2045910943', 'https://openalex.org/W2053259597', 'https://openalex.org/W2149703747'], 'related_works': ['https://openalex.org/W749130412', 'https://openalex.org/W4232887165', 'https://openalex.org/W3143745619', 'https://openalex.org/W2493635660', 'https://openalex.org/W2372854171', 'https://openalex.org/W2031496568', 'https://openalex.org/W2000405793', 'https://openalex.org/W196064004', 'https://openalex.org/W1501405214', 'https://openalex.org/W1484338948'], 'abstract_inverted_index': {'Abstract': [0], 'We': [1], 'define': [2], 'an': [3, 14, 90, 97], 'algebraic': [4, 25, 51], 'specification': [5, 26, 52], 'having': [6], 'a': [7, 72, 80], 'framework': [8, 73], 'for': [9, 16, 74, 124], 'error': [10, 19, 22, 47, 56, 69, 75, 98, 109, 136, 153, 171], 'handling': [11], 'and': [12, 36, 58, 96, 108, 138, 169], 'give': [13], 'algorithm': [15], 'automatically': [17, 49], 'appending': [18], 'description.': [20], 'Generally,': [21], 'description': [23, 48, 57, 154, 172], 'in': [24, 160], 'is': [27, 32, 43, 83, 166], 'so': [28], 'complicated': [29], 'that': [30, 53, 67], 'it': [31, 42], 'difficult': [33], 'to': [34, 45, 50, 86, 92], 'comprehend': [35], 'inconsistencies': [37], 'arise': [38], 'if': [39], 'handwritten.': [40], 'Therefore,': [41], 'effective': [44], 'add': [46], 'has': [54], 'no': [55], 'without': [59], 'creating': [60], 'any': [61, 87, 145], 'inconsistency.': [62], 'Error': [63], 'constructors': [64], 'are': [65, 100], 'introduced': [66], 'represent': [68], 'values': [70], 'as': [71], 'handling.': [76], 'When': [77], 'there': [78], 'exists': [79], 'term': [81, 95], 'which': [82], 'not': [84], 'equal': [85], 'constructor': [88, 99], 'term,': [89], 'equation': [91], 'equalize': [93], 'the': [94, 161], 'appended.': [101], 'To': [102], 'avoid': [103], 'inconsistency,': [104], 'i.e.,': [105, 156], 'normal': [106, 127, 162], 'value': [107, 110], 'become': [111], 'equal,': [112], 'we': [113, 148], 'distinguish': [114], 'three': [115], 'kinds': [116], 'of': [117, 151, 158, 164], 'variables.': [118], 'Some': [119], 'variables': [120, 130, 140], 'can': [121, 131, 141], 'be': [122, 132, 142], 'substituted': [123], 'only': [125, 134], 'by': [126, 135, 144], 'terms,': [128], 'some': [129, 139], 'replaced': [133, 143], 'terms': [137, 159], 'term.': [146], 'Moreover,': [147], 'show': [149], 'correctness': [150], 'automatic': [152], 'addition;': [155], 'partitioning': [157], 'part': [163], 'sort': [165], 'preserved': [167], 'before': [168], 'after': [170], 'addition.': [173]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2038479603', 'counts_by_year': [{'year': 2018, 'cited_by_count': 1}], 'updated_date': '2024-12-14T22:11:19.908315', 'created_date': '2016-06-24'}