{"id":"https://openalex.org/W50774051","doi":"https://doi.org/10.3217/jucs-003-05-0443","title":"The Formal Specification of Oberon.","display_name":"The Formal Specification of Oberon.","publication_year":1997,"publication_date":"1997-01-01","ids":{"openalex":"https://openalex.org/W50774051","doi":"https://doi.org/10.3217/jucs-003-05-0443","mag":"50774051"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:6995372","is_oa":true,"landing_page_url":"https://zenodo.org/record/6995372","pdf_url":"https://zenodo.org/record/6995372","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 3((5)) 443-503","raw_type":"info:eu-repo/semantics/article"},"type":"article","indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/6995372","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034343594","display_name":"P Kutter","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"P Kutter","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5081084005","display_name":"Alfonso Pierantonio","orcid":"https://orcid.org/0000-0002-5231-3952"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alfonso Pierantonio","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-5231-3952","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":7.4387,"has_fulltext":true,"cited_by_count":26,"citation_normalized_percentile":{"value":0.96972159,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"3","issue":null,"first_page":"443","last_page":"503"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.8730000257492065,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.8730000257492065,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.035100001841783524,"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.01679999940097332,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9099845886230469},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6896771788597107},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4229133129119873},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33047226071357727}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9099845886230469},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6896771788597107},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4229133129119873},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33047226071357727}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:6995372","is_oa":true,"landing_page_url":"https://zenodo.org/record/6995372","pdf_url":"https://zenodo.org/record/6995372","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 3((5)) 443-503","raw_type":"info:eu-repo/semantics/article"},{"id":"mag:50774051","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/journals/jucs/jucs3.html#KutterP97a","pdf_url":null,"source":{"id":"https://openalex.org/S58563349","display_name":"JUCS - Journal of Universal Computer Science","issn_l":"0948-695X","issn":["0948-695X","0948-6968"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310317875","host_organization_name":"Verlag der Technischen Universit\u00e4t Graz","host_organization_lineage":["https://openalex.org/P4310317875"],"host_organization_lineage_names":["Verlag der Technischen Universit\u00e4t Graz"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"JUCS - Journal of Universal Computer Science","raw_type":null}],"best_oa_location":{"id":"pmh:oai:zenodo.org:6995372","is_oa":true,"landing_page_url":"https://zenodo.org/record/6995372","pdf_url":"https://zenodo.org/record/6995372","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 3((5)) 443-503","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W50774051.pdf","grobid_xml":"https://content.openalex.org/works/W50774051.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1818561783","https://openalex.org/W1969402593","https://openalex.org/W92962286","https://openalex.org/W2131540458","https://openalex.org/W3105529609","https://openalex.org/W2338961734","https://openalex.org/W2031506023","https://openalex.org/W1600689686","https://openalex.org/W127868156","https://openalex.org/W2169466088","https://openalex.org/W2001793006","https://openalex.org/W1983346515","https://openalex.org/W1580617510","https://openalex.org/W1487966966","https://openalex.org/W25583328","https://openalex.org/W2127391147","https://openalex.org/W2005915144","https://openalex.org/W1575900461","https://openalex.org/W1522088162","https://openalex.org/W1506722146"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"the":[3,7,27,52],"formal":[4],"specification":[5,30,53],"of":[6,17,23,26,38,45,51],"programming":[8],"language":[9],"Oberon.":[10,46],"Using":[11],"Montages":[12],"we":[13],"give":[14],"a":[15,42,63],"description":[16],"syntax,":[18],"static,":[19],"and":[20,49],"dynamic":[21],"semantics":[22],"all":[24],"constructs":[25],"language.":[28],"The":[29,47],"is":[31],"arranged":[32],"in":[33,41],"five":[34],"refinement":[35],"steps,":[36],"each":[37],"them":[39],"results":[40],"working":[43],"sub-language":[44],"compactness":[48],"readability":[50],"make":[54],"us":[55],"believe":[56],"that":[57],"it":[58],"can":[59],"be":[60],"used":[61],"for":[62],"reference":[64],"manual.":[65]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-08-28T12:50:07.497085","created_date":"2025-10-10T00:00:00"}