{"id":"https://openalex.org/W1569952392","doi":"https://doi.org/10.1023/a:1012392927006","title":"SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems","display_name":"SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems","publication_year":2001,"publication_date":"2001-09-01","ids":{"openalex":"https://openalex.org/W1569952392","doi":"https://doi.org/10.1023/a:1012392927006","mag":"1569952392"},"language":"en","primary_location":{"id":"doi:10.1023/a:1012392927006","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1012392927006","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","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/A5000959052","display_name":"Anatoly Shalyto","orcid":"https://orcid.org/0000-0002-2723-2077"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"A. A. Shalyto","raw_affiliation_strings":["Federal Scientific and Production Center \u201cAvrora,\u201d, St. Petersburg State Institute of Precise Mechanics and Optics (Technical University), Russia","Federal Scientific and Production Center \u201cAvrora,\u201d St. Petersburg State Institute of Precise Mechanics and Optics (Technical University) aurora@peterlink.ru#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Federal Scientific and Production Center \u201cAvrora,\u201d, St. Petersburg State Institute of Precise Mechanics and Optics (Technical University), Russia","institution_ids":[]},{"raw_affiliation_string":"Federal Scientific and Production Center \u201cAvrora,\u201d St. Petersburg State Institute of Precise Mechanics and Optics (Technical University) aurora@peterlink.ru#TAB#","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5097426306","display_name":"N. I. Tukkel'","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"N. I. Tukkel'","raw_affiliation_strings":["Federal Scientific and Production Center \u201cAvrora,\u201d, St. Petersburg State Institute of Precise Mechanics and Optics (Technical University), Russia","Federal Scientific and Production Center \u201cAvrora,\u201d St. Petersburg State Institute of Precise Mechanics and Optics (Technical University) aurora@peterlink.ru#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Federal Scientific and Production Center \u201cAvrora,\u201d, St. Petersburg State Institute of Precise Mechanics and Optics (Technical University), Russia","institution_ids":[]},{"raw_affiliation_string":"Federal Scientific and Production Center \u201cAvrora,\u201d St. Petersburg State Institute of Precise Mechanics and Optics (Technical University) aurora@peterlink.ru#TAB#","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1791,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":{"value":0.82916053,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"27","issue":"5","first_page":"260","last_page":"276"},"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.9993000030517578,"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.9993000030517578,"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.9645000100135803,"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.9606000185012817,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7348875999450684},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6341367363929749},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5662358999252319},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.5275313854217529},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4845949411392212},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4340533912181854},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10216426849365234}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7348875999450684},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6341367363929749},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5662358999252319},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.5275313854217529},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4845949411392212},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4340533912181854},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10216426849365234},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1023/a:1012392927006","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1012392927006","pdf_url":null,"source":{"id":"https://openalex.org/S150218641","display_name":"Programming and Computer Software","issn_l":"0361-7688","issn":["0361-7688","1608-3261"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320267","host_organization_name":"Pleiades Publishing","host_organization_lineage":["https://openalex.org/P4310320267","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Pleiades Publishing","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Programming and Computer Software","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.5199999809265137,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W91975816","https://openalex.org/W1501640954","https://openalex.org/W1584874830","https://openalex.org/W2059882809","https://openalex.org/W2096039823","https://openalex.org/W2159765281","https://openalex.org/W2189604793","https://openalex.org/W2983995785"],"related_works":["https://openalex.org/W1601811574","https://openalex.org/W4234604123","https://openalex.org/W1587224678","https://openalex.org/W4231460484","https://openalex.org/W1579177548","https://openalex.org/W2135396778","https://openalex.org/W1544341893","https://openalex.org/W181842068","https://openalex.org/W2523525283","https://openalex.org/W2025670560"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2016-06-24T00:00:00"}