Publication Information

{'id': 'https://openalex.org/W2103378296', 'doi': 'https://doi.org/10.5555/952786.952802', 'title': 'An integration environment to put formal specifications into practical use in real-time systems', 'display_name': 'An integration environment to put formal specifications into practical use in real-time systems', 'publication_year': 1991, 'publication_date': '1991-10-25', 'ids': {'openalex': 'https://openalex.org/W2103378296', 'doi': 'https://doi.org/10.5555/952786.952802', 'mag': '2103378296'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://dl.acm.org/doi/10.5555/952786.952802', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306420354', 'display_name': 'International Workshop on Software Specification and Design', 'issn_l': None, 'issn': None, 'is_oa': False, 'is_in_doaj': False, 'is_core': False, 'host_organization': None, 'host_organization_name': None, 'host_organization_lineage': [], 'host_organization_lineage_names': [], 'type': 'conference'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'article', 'type_crossref': 'proceedings-article', 'indexed_in': [], '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/A5002321977', 'display_name': 'Shinichi Honiden', 'orcid': 'https://orcid.org/0000-0003-1385-3996'}, 'institutions': [{'id': 'https://openalex.org/I1292669757', 'display_name': 'Toshiba (Japan)', 'ror': 'https://ror.org/0326v3z14', 'country_code': 'JP', 'type': 'company', 'lineage': ['https://openalex.org/I1292669757']}], 'countries': ['JP'], 'is_corresponding': False, 'raw_author_name': 'Shinichi Honiden', 'raw_affiliation_strings': ['Syst. & Software Eng. Lab., Toshiba Corp., Kawasaki, Japan'], 'affiliations': [{'raw_affiliation_string': 'Syst. & Software Eng. Lab., Toshiba Corp., Kawasaki, Japan', 'institution_ids': ['https://openalex.org/I1292669757']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5013259601', 'display_name': 'Akihiko Ohsuga', 'orcid': 'https://orcid.org/0000-0001-6717-7028'}, 'institutions': [{'id': 'https://openalex.org/I1292669757', 'display_name': 'Toshiba (Japan)', 'ror': 'https://ror.org/0326v3z14', 'country_code': 'JP', 'type': 'company', 'lineage': ['https://openalex.org/I1292669757']}], 'countries': ['JP'], 'is_corresponding': False, 'raw_author_name': 'Akihiko Ohsuga', 'raw_affiliation_strings': ['Syst. & Software Eng. Lab., Toshiba Corp., Kawasaki, Japan'], 'affiliations': [{'raw_affiliation_string': 'Syst. & Software Eng. Lab., Toshiba Corp., Kawasaki, Japan', 'institution_ids': ['https://openalex.org/I1292669757']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5036452970', 'display_name': 'Naoshi Uchihira', 'orcid': 'https://orcid.org/0000-0002-8107-089X'}, 'institutions': [{'id': 'https://openalex.org/I1292669757', 'display_name': 'Toshiba (Japan)', 'ror': 'https://ror.org/0326v3z14', 'country_code': 'JP', 'type': 'company', 'lineage': ['https://openalex.org/I1292669757']}], 'countries': ['JP'], 'is_corresponding': False, 'raw_author_name': 'Naoshi Uchihira', 'raw_affiliation_strings': ['Syst. & Software Eng. Lab., Toshiba Corp., Kawasaki, Japan'], 'affiliations': [{'raw_affiliation_string': 'Syst. & Software Eng. Lab., Toshiba Corp., Kawasaki, Japan', 'institution_ids': ['https://openalex.org/I1292669757']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 1, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 0.0, 'has_fulltext': False, 'cited_by_count': 2, 'citation_normalized_percentile': {'value': 0.366584, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 61, 'max': 65}, 'biblio': {'volume': None, 'issue': None, 'first_page': '102', 'last_page': '109'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10142', 'display_name': 'Formal Methods in Verification', 'score': 0.9998, '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.9998, '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/T10933', 'display_name': 'Real-Time Systems Scheduling', 'score': 0.999, '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/T10904', 'display_name': 'Embedded Systems Design Techniques', 'score': 0.9983, '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/system-requirements-specification', 'display_name': 'System requirements specification', 'score': 0.66931903}, {'id': 'https://openalex.org/keywords/algebraic-specification', 'display_name': 'Algebraic specification', 'score': 0.5287159}, {'id': 'https://openalex.org/keywords/product-design-specification', 'display_name': 'Product design specification', 'score': 0.49283054}, {'id': 'https://openalex.org/keywords/software-requirements-specification', 'display_name': 'Software requirements specification', 'score': 0.44807082}, {'id': 'https://openalex.org/keywords/refinement', 'display_name': 'Refinement', 'score': 0.42277274}], 'concepts': [{'id': 'https://openalex.org/C116253237', 'wikidata': 'https://www.wikidata.org/wiki/Q1437424', 'display_name': 'Formal specification', 'level': 2, 'score': 0.7779201}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.7406645}, {'id': 'https://openalex.org/C90069079', 'wikidata': 'https://www.wikidata.org/wiki/Q1805432', 'display_name': 'Language Of Temporal Ordering Specification', 'level': 3, 'score': 0.7124282}, {'id': 'https://openalex.org/C84651959', 'wikidata': 'https://www.wikidata.org/wiki/Q17052506', 'display_name': 'System requirements specification', 'level': 2, 'score': 0.66931903}, {'id': 'https://openalex.org/C201677973', 'wikidata': 'https://www.wikidata.org/wiki/Q1209840', 'display_name': 'Specification language', 'level': 2, 'score': 0.6553487}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.6024965}, {'id': 'https://openalex.org/C75606506', 'wikidata': 'https://www.wikidata.org/wiki/Q1049183', 'display_name': 'Formal methods', 'level': 2, 'score': 0.56058764}, {'id': 'https://openalex.org/C25016198', 'wikidata': 'https://www.wikidata.org/wiki/Q781833', 'display_name': 'Temporal logic', 'level': 2, 'score': 0.52938145}, {'id': 'https://openalex.org/C2777691520', 'wikidata': 'https://www.wikidata.org/wiki/Q4724019', 'display_name': 'Algebraic specification', 'level': 3, 'score': 0.5287159}, {'id': 'https://openalex.org/C45135082', 'wikidata': 'https://www.wikidata.org/wiki/Q16960030', 'display_name': 'Product design specification', 'level': 4, 'score': 0.49283054}, {'id': 'https://openalex.org/C102780508', 'wikidata': 'https://www.wikidata.org/wiki/Q1761598', 'display_name': 'Software requirements specification', 'level': 5, 'score': 0.44807082}, {'id': 'https://openalex.org/C111498074', 'wikidata': 'https://www.wikidata.org/wiki/Q173326', 'display_name': 'Formal verification', 'level': 2, 'score': 0.43456557}, {'id': 'https://openalex.org/C14331664', 'wikidata': 'https://www.wikidata.org/wiki/Q3417382', 'display_name': 'Refinement', 'level': 3, 'score': 0.42277274}, {'id': 'https://openalex.org/C98045186', 'wikidata': 'https://www.wikidata.org/wiki/Q205663', 'display_name': 'Process (computing)', 'level': 2, 'score': 0.41754586}, {'id': 'https://openalex.org/C115903868', 'wikidata': 'https://www.wikidata.org/wiki/Q80993', 'display_name': 'Software engineering', 'level': 1, 'score': 0.37535134}, {'id': 'https://openalex.org/C90673727', 'wikidata': 'https://www.wikidata.org/wiki/Q901718', 'display_name': 'Product (mathematics)', 'level': 2, 'score': 0.31450826}, {'id': 'https://openalex.org/C120823896', 'wikidata': 'https://www.wikidata.org/wiki/Q1043226', 'display_name': 'Product design', 'level': 3, 'score': 0.2027959}, {'id': 'https://openalex.org/C529173508', 'wikidata': 'https://www.wikidata.org/wiki/Q638608', 'display_name': 'Software development', 'level': 3, 'score': 0.15249893}, {'id': 'https://openalex.org/C52913732', 'wikidata': 'https://www.wikidata.org/wiki/Q857102', 'display_name': 'Software design', 'level': 4, 'score': 0.111112356}, {'id': 'https://openalex.org/C2777904410', 'wikidata': 'https://www.wikidata.org/wiki/Q7397', 'display_name': 'Software', 'level': 2, 'score': 0.10347065}, {'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.089554995}, {'id': 'https://openalex.org/C2524010', 'wikidata': 'https://www.wikidata.org/wiki/Q8087', 'display_name': 'Geometry', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://dl.acm.org/doi/10.5555/952786.952802', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306420354', 'display_name': 'International Workshop on Software Specification and Design', 'issn_l': None, 'issn': None, 'is_oa': False, 'is_in_doaj': False, 'is_core': False, 'host_organization': None, 'host_organization_name': None, 'host_organization_lineage': [], 'host_organization_lineage_names': [], 'type': 'conference'}, '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': 14, 'referenced_works': ['https://openalex.org/W1534255573', 'https://openalex.org/W1589975973', 'https://openalex.org/W1688007422', 'https://openalex.org/W2002719766', 'https://openalex.org/W2010444348', 'https://openalex.org/W2020775305', 'https://openalex.org/W2040127143', 'https://openalex.org/W2042817666', 'https://openalex.org/W2048055472', 'https://openalex.org/W2063903592', 'https://openalex.org/W2077346861', 'https://openalex.org/W2404359689', 'https://openalex.org/W24737085', 'https://openalex.org/W3143351655'], 'related_works': ['https://openalex.org/W2620924551', 'https://openalex.org/W2537193390', 'https://openalex.org/W2162936397', 'https://openalex.org/W2159698722', 'https://openalex.org/W2150598796', 'https://openalex.org/W2136151768', 'https://openalex.org/W2126409379', 'https://openalex.org/W2116223423', 'https://openalex.org/W2109235995', 'https://openalex.org/W2103390401', 'https://openalex.org/W2098971106', 'https://openalex.org/W2089702347', 'https://openalex.org/W2079680418', 'https://openalex.org/W2075019250', 'https://openalex.org/W2033382181', 'https://openalex.org/W2018507204', 'https://openalex.org/W1964691584', 'https://openalex.org/W1877180621', 'https://openalex.org/W1638887518', 'https://openalex.org/W1503319068'], 'abstract_inverted_index': {'A': [0], 'discussion': [1], 'is': [2, 76, 101], 'given': [3], 'on': [4], 'several': [5, 81, 85], 'requirements': [6], 'to': [7, 24, 78, 90], 'put': [8], 'formal': [9, 105], 'specifications': [10], 'into': [11, 62], 'practical': [12], 'use': [13], 'in': [14, 51], 'real-time': [15, 35, 58], 'systems,': [16], 'and': [17, 38, 67, 84, 110], 'an': [18, 63], 'integration': [19, 28], 'environment': [20, 29], 'called': [21], 'MENDELS': [22], 'ZONE': [23], 'satisfy': [25], 'them.': [26], 'The': [27, 73], 'includes': [30], 'algebraic': [31, 108], 'specification,': [32, 66], 'temporal': [33, 111], 'logic,': [34], 'structured': [36, 59], 'analysis': [37, 60], 'object-oriented': [39, 64], 'design.': [40], 'It': [41], 'also': [42], 'defines': [43], 'a': [44, 49, 53], 'specification': [45, 54, 74, 82, 96, 106, 109], 'process': [46, 75], 'that': [47, 68], 'assists': [48], 'designer': [50], 'translating': [52], 'developed': [55], 'with': [56], 'the': [57, 92], 'method': [61], 'design': [65], 'finally': [69], 'generates': [70], 'Ada': [71], 'tasks.': [72], 'defined': [77], 'consist': [79], 'of': [80], 'steps': [83], 'intermediate': [86, 99], 'products.': [87], 'In': [88], 'order': [89], 'validate': [91], 'activity': [93], 'for': [94], 'each': [95, 98], 'step,': [97], 'product': [100], 'described': [102], 'by': [103], 'two': [104], 'methods:': [107], 'logic.': [112], '>': [113]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2103378296', 'counts_by_year': [], 'updated_date': '2024-12-14T21:18:32.480739', 'created_date': '2016-06-24'}