{"id":"https://openalex.org/W1886021935","doi":"https://doi.org/10.1007/s10009-004-0145-x","title":"Live sequence charts applied to hardware requirements specification and verification","display_name":"Live sequence charts applied to hardware requirements specification and verification","publication_year":2004,"publication_date":"2004-10-28","ids":{"openalex":"https://openalex.org/W1886021935","doi":"https://doi.org/10.1007/s10009-004-0145-x","mag":"1886021935"},"language":"en","primary_location":{"id":"doi:10.1007/s10009-004-0145-x","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10009-004-0145-x","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","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/A5041869564","display_name":"A.S. Bunker","orcid":null},"institutions":[{"id":"https://openalex.org/I121980950","display_name":"Utah State University","ror":"https://ror.org/00h6set76","country_code":"US","type":"education","lineage":["https://openalex.org/I121980950"]},{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Annette Bunker","raw_affiliation_strings":["School of Computing, University of Utah, Salt Lake City, Utah, 84112, USA","School of Computing, University of Utah, 84112, Salt Lake City, Utah, USA and Electrical and Computer Engineering Department, Utah State University, 84322, Logan, Utah, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing, University of Utah, Salt Lake City, Utah, 84112, USA","institution_ids":["https://openalex.org/I223532165"]},{"raw_affiliation_string":"School of Computing, University of Utah, 84112, Salt Lake City, Utah, USA and Electrical and Computer Engineering Department, Utah State University, 84322, Logan, Utah, USA","institution_ids":["https://openalex.org/I121980950"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069846379","display_name":"Ganesh Gopalakrishnan","orcid":"https://orcid.org/0000-0002-3705-0031"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ganesh Gopalakrishnan","raw_affiliation_strings":["School of Computing, University of Utah, Salt Lake City, Utah, 84112, USA","School of Computing, University of Utah, 84112, Salt Lake City, Utah, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing, University of Utah, Salt Lake City, Utah, 84112, USA","institution_ids":["https://openalex.org/I223532165"]},{"raw_affiliation_string":"School of Computing, University of Utah, 84112, Salt Lake City, Utah, USA#TAB#","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041337242","display_name":"Konrad Slind","orcid":null},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Konrad Slind","raw_affiliation_strings":["School of Computing, University of Utah, Salt Lake City, Utah, 84112, USA","School of Computing, University of Utah, 84112, Salt Lake City, Utah, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing, University of Utah, Salt Lake City, Utah, 84112, USA","institution_ids":["https://openalex.org/I223532165"]},{"raw_affiliation_string":"School of Computing, University of Utah, 84112, Salt Lake City, Utah, USA#TAB#","institution_ids":["https://openalex.org/I223532165"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5041869564"],"corresponding_institution_ids":["https://openalex.org/I121980950","https://openalex.org/I223532165"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":3.0778,"has_fulltext":false,"cited_by_count":30,"citation_normalized_percentile":{"value":0.90717646,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"7","issue":"4","first_page":"341","last_page":"350"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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.9991000294685364,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9983000159263611,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9976000189781189,"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.7976259589195251},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.6038172841072083},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.5897601842880249},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5256641507148743},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3748483657836914}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7976259589195251},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.6038172841072083},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.5897601842880249},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5256641507148743},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3748483657836914},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10009-004-0145-x","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10009-004-0145-x","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W159904472","https://openalex.org/W1544543122","https://openalex.org/W1565843638","https://openalex.org/W1592055490","https://openalex.org/W1606582305","https://openalex.org/W1616559800","https://openalex.org/W1778827758","https://openalex.org/W1951899050","https://openalex.org/W1965042993","https://openalex.org/W1968019783","https://openalex.org/W2001503652","https://openalex.org/W2024578395","https://openalex.org/W2107286045","https://openalex.org/W2108571087","https://openalex.org/W2112134383","https://openalex.org/W2118970405","https://openalex.org/W2121243734","https://openalex.org/W2122760471","https://openalex.org/W2127404174","https://openalex.org/W2131416176","https://openalex.org/W2156208763","https://openalex.org/W2309132042","https://openalex.org/W2407238950","https://openalex.org/W2492360030","https://openalex.org/W4251903747"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2012,"cited_by_count":3}],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2025-10-10T00:00:00"}