{"id":"https://openalex.org/W3048422056","doi":"https://doi.org/10.1007/978-3-030-54997-8_19","title":"ViennaDoc: An Animatable and Testable Specification Documentation Tool","display_name":"ViennaDoc: An Animatable and Testable Specification Documentation Tool","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3048422056","doi":"https://doi.org/10.1007/978-3-030-54997-8_19","mag":"3048422056"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-54997-8_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-54997-8_19","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","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/A5108133988","display_name":"Tomohiro Oda","orcid":"https://orcid.org/0000-0002-4424-7780"},"institutions":[{"id":"https://openalex.org/I4210130202","display_name":"Software Research Associates (Japan)","ror":"https://ror.org/02frcze54","country_code":"JP","type":"company","lineage":["https://openalex.org/I4210130202"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Tomohiro Oda","raw_affiliation_strings":["Software Research Associates, Inc., Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Software Research Associates, Inc., Tokyo, Japan","institution_ids":["https://openalex.org/I4210130202"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113944992","display_name":"Keijiro Araki","orcid":null},"institutions":[{"id":"https://openalex.org/I3018098410","display_name":"National Institute of Technology, Kumamoto College","ror":"https://ror.org/01c697313","country_code":"JP","type":"education","lineage":["https://openalex.org/I3018098410","https://openalex.org/I4210120810"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Keijiro Araki","raw_affiliation_strings":["National Institute of Technology, Kumamoto College, Kumamoto, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Institute of Technology, Kumamoto College, Kumamoto, Japan","institution_ids":["https://openalex.org/I3018098410"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106500209","display_name":"Yasuhiro Yamamoto","orcid":null},"institutions":[{"id":"https://openalex.org/I84400586","display_name":"Future University Hakodate","ror":"https://ror.org/05szw2z23","country_code":"JP","type":"education","lineage":["https://openalex.org/I84400586"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yasuhiro Yamamoto","raw_affiliation_strings":["Future University Hakodate, Hakodate, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Future University Hakodate, Hakodate, Japan","institution_ids":["https://openalex.org/I84400586"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050454688","display_name":"Kumiyo Nakakoji","orcid":"https://orcid.org/0000-0001-8961-716X"},"institutions":[{"id":"https://openalex.org/I4210130202","display_name":"Software Research Associates (Japan)","ror":"https://ror.org/02frcze54","country_code":"JP","type":"company","lineage":["https://openalex.org/I4210130202"]},{"id":"https://openalex.org/I84400586","display_name":"Future University Hakodate","ror":"https://ror.org/05szw2z23","country_code":"JP","type":"education","lineage":["https://openalex.org/I84400586"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Kumiyo Nakakoji","raw_affiliation_strings":["Future University Hakodate, Hakodate, Japan","Software Research Associates, Inc., Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Future University Hakodate, Hakodate, Japan","institution_ids":["https://openalex.org/I84400586"]},{"raw_affiliation_string":"Software Research Associates, Inc., Tokyo, Japan","institution_ids":["https://openalex.org/I4210130202"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113654313","display_name":"Hiroshi Sako","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hiroshi Sako","raw_affiliation_strings":["Designer\u2019s Den, Tokyo, Japan","Designer's Den, Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Designer\u2019s Den, Tokyo, Japan","institution_ids":[]},{"raw_affiliation_string":"Designer's Den, Tokyo, Japan","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022133400","display_name":"Han-Myung Chang","orcid":null},"institutions":[{"id":"https://openalex.org/I119031078","display_name":"Nanzan University","ror":"https://ror.org/042b6j696","country_code":"JP","type":"education","lineage":["https://openalex.org/I119031078"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Han-Myung Chang","raw_affiliation_strings":["Nanzan University, Nagoya, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanzan University, Nagoya, Japan","institution_ids":["https://openalex.org/I119031078"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037561273","display_name":"Peter Gorm Larsen","orcid":"https://orcid.org/0000-0002-4589-1500"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Peter Gorm Larsen","raw_affiliation_strings":["DIGIT, Department of Engineering, Aarhus University, Aarhus, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DIGIT, Department of Engineering, Aarhus University, Aarhus, Denmark","institution_ids":["https://openalex.org/I204337017"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5108133988"],"corresponding_institution_ids":["https://openalex.org/I4210130202"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12748463,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"289","last_page":"302"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9995999932289124,"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/T10430","display_name":"Software Engineering Techniques and Practices","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.826602578163147},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.8067605495452881},{"id":"https://openalex.org/keywords/documentation","display_name":"Documentation","score":0.7286937832832336},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.6878710389137268},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.6762331128120422},{"id":"https://openalex.org/keywords/language-of-temporal-ordering-specification","display_name":"Language Of Temporal Ordering Specification","score":0.6563307046890259},{"id":"https://openalex.org/keywords/system-requirements-specification","display_name":"System requirements specification","score":0.6287413835525513},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5952377319335938},{"id":"https://openalex.org/keywords/programming-language-specification","display_name":"Programming language specification","score":0.5692496299743652},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5551663041114807},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5182650089263916},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4974103271961212},{"id":"https://openalex.org/keywords/functional-specification","display_name":"Functional specification","score":0.49046632647514343},{"id":"https://openalex.org/keywords/design-by-contract","display_name":"Design by contract","score":0.4779084622859955},{"id":"https://openalex.org/keywords/obstacle","display_name":"Obstacle","score":0.4183701276779175},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.35039860010147095},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3035890460014343},{"id":"https://openalex.org/keywords/software-design","display_name":"Software design","score":0.2081613540649414},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.10401913523674011}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.826602578163147},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.8067605495452881},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.7286937832832336},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.6878710389137268},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.6762331128120422},{"id":"https://openalex.org/C90069079","wikidata":"https://www.wikidata.org/wiki/Q1805432","display_name":"Language Of Temporal Ordering Specification","level":3,"score":0.6563307046890259},{"id":"https://openalex.org/C84651959","wikidata":"https://www.wikidata.org/wiki/Q17052506","display_name":"System requirements specification","level":2,"score":0.6287413835525513},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5952377319335938},{"id":"https://openalex.org/C15077461","wikidata":"https://www.wikidata.org/wiki/Q7248507","display_name":"Programming language specification","level":5,"score":0.5692496299743652},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5551663041114807},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5182650089263916},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4974103271961212},{"id":"https://openalex.org/C57371142","wikidata":"https://www.wikidata.org/wiki/Q16914225","display_name":"Functional specification","level":5,"score":0.49046632647514343},{"id":"https://openalex.org/C80291951","wikidata":"https://www.wikidata.org/wiki/Q1200691","display_name":"Design by contract","level":5,"score":0.4779084622859955},{"id":"https://openalex.org/C2776650193","wikidata":"https://www.wikidata.org/wiki/Q264661","display_name":"Obstacle","level":2,"score":0.4183701276779175},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.35039860010147095},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3035890460014343},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.2081613540649414},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.10401913523674011},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C119263510","wikidata":"https://www.wikidata.org/wiki/Q7248501","display_name":"Programming domain","level":4,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"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/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-030-54997-8_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-54997-8_19","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.atira.dk:publications/fecd6349-5afc-497a-882a-a0e8c85c0f67","is_oa":false,"landing_page_url":"https://pure.au.dk/portal/en/publications/fecd6349-5afc-497a-882a-a0e8c85c0f67","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6299999952316284,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W160763779","https://openalex.org/W1577400083","https://openalex.org/W1830161078","https://openalex.org/W2050715636","https://openalex.org/W2118946099","https://openalex.org/W2531958919","https://openalex.org/W2605944870","https://openalex.org/W2783335973","https://openalex.org/W4285719527","https://openalex.org/W6686747454"],"related_works":["https://openalex.org/W2313419847","https://openalex.org/W794225219","https://openalex.org/W2047524021","https://openalex.org/W4245140145","https://openalex.org/W2117824779","https://openalex.org/W2211523418","https://openalex.org/W1916258364","https://openalex.org/W2398741539","https://openalex.org/W305592718","https://openalex.org/W3048422056"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}