{"id":"https://openalex.org/W1496926715","doi":"https://doi.org/10.1007/978-1-4471-3550-0_3","title":"Formalising Dijkstra\u2019s Development Strategy within Stark\u2019s Formalism","display_name":"Formalising Dijkstra\u2019s Development Strategy within Stark\u2019s Formalism","publication_year":1992,"publication_date":"1992-01-01","ids":{"openalex":"https://openalex.org/W1496926715","doi":"https://doi.org/10.1007/978-1-4471-3550-0_3","mag":"1496926715"},"language":"en","primary_location":{"id":"doi:10.1007/978-1-4471-3550-0_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-1-4471-3550-0_3","pdf_url":null,"source":{"id":"https://openalex.org/S4210193518","display_name":"Workshops in computing","issn_l":"1431-1682","issn":["1431-1682"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Workshops in Computing","raw_type":"book-chapter"},"type":"book-chapter","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/A5005843564","display_name":"Antonio Cau","orcid":"https://orcid.org/0000-0002-3046-1217"},"institutions":[{"id":"https://openalex.org/I32021983","display_name":"Christian-Albrechts-Universit\u00e4t zu Kiel","ror":"https://ror.org/04v76ef78","country_code":"DE","type":"education","lineage":["https://openalex.org/I32021983"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Antonio Cau","raw_affiliation_strings":["Institut f\u00fcr Informatik und Praktische Mathematik II, Christian-Albrechts-Universit\u00e4t zu Kiel, Preu\u00dferstr. 1-9, D-2300, Kiel 1, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informatik und Praktische Mathematik II, Christian-Albrechts-Universit\u00e4t zu Kiel, Preu\u00dferstr. 1-9, D-2300, Kiel 1, Germany","institution_ids":["https://openalex.org/I32021983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008245367","display_name":"Ruurd Kuiper","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Ruurd Kuiper","raw_affiliation_strings":["Department of Mathematics and Computing Science, Eindhoven University of Technology, 5600 MB, Eindhoven, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computing Science, Eindhoven University of Technology, 5600 MB, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113476078","display_name":"Willem-Paul de Roever","orcid":null},"institutions":[{"id":"https://openalex.org/I32021983","display_name":"Christian-Albrechts-Universit\u00e4t zu Kiel","ror":"https://ror.org/04v76ef78","country_code":"DE","type":"education","lineage":["https://openalex.org/I32021983"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Willem-Paul de Roever","raw_affiliation_strings":["Institut f\u00fcr Informatik und Praktische Mathematik II, Christian-Albrechts-Universit\u00e4t zu Kiel, Preu\u00dferstr. 1-9, D-2300, Kiel 1, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informatik und Praktische Mathematik II, Christian-Albrechts-Universit\u00e4t zu Kiel, Preu\u00dferstr. 1-9, D-2300, Kiel 1, Germany","institution_ids":["https://openalex.org/I32021983"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1358,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.80566281,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"4","last_page":"42"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11810","display_name":"Complex Systems and Decision Making","score":0.9873999953269958,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11810","display_name":"Complex Systems and Decision Making","score":0.9873999953269958,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9768999814987183,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9692999720573425,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/dijkstras-algorithm","display_name":"Dijkstra's algorithm","score":0.8160558938980103},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.7661441564559937},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.34805434942245483},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.21156218647956848},{"id":"https://openalex.org/keywords/art","display_name":"Art","score":0.15797924995422363},{"id":"https://openalex.org/keywords/visual-arts","display_name":"Visual arts","score":0.08187511563301086},{"id":"https://openalex.org/keywords/shortest-path-problem","display_name":"Shortest path problem","score":0.06246718764305115}],"concepts":[{"id":"https://openalex.org/C173870130","wikidata":"https://www.wikidata.org/wiki/Q8548","display_name":"Dijkstra's algorithm","level":4,"score":0.8160558938980103},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.7661441564559937},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.34805434942245483},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.21156218647956848},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.15797924995422363},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.08187511563301086},{"id":"https://openalex.org/C22590252","wikidata":"https://www.wikidata.org/wiki/Q1058754","display_name":"Shortest path problem","level":3,"score":0.06246718764305115},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-1-4471-3550-0_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-1-4471-3550-0_3","pdf_url":null,"source":{"id":"https://openalex.org/S4210193518","display_name":"Workshops in computing","issn_l":"1431-1682","issn":["1431-1682"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Workshops in Computing","raw_type":"book-chapter"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/7eb1c78d-11c6-49ff-b550-b32254bc28ce","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/7eb1c78d-11c6-49ff-b550-b32254bc28ce","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Cau, A G, Kuiper, R & Roever, de, W P 1992, Formalising Dijkstra's development strategy within Stark's formalism. in C B Jones, R C Shaw & T Denvir (eds), Proceedings 5th BCS-FACS Refinement Workshop (London, UK, January 8-10, 1992). Workshops in Computing, Springer, Berlin, pp. 4-42.","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:tue:oai:pure.tue.nl:publications/7eb1c78d-11c6-49ff-b550-b32254bc28ce","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/7eb1c78d-11c6-49ff-b550-b32254bc28ce","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings 5th BCS-FACS Refinement Workshop (London, UK, January 8-10, 1992), 4 - 42","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W25288640","https://openalex.org/W1521176854","https://openalex.org/W1525901496","https://openalex.org/W1554518300","https://openalex.org/W1567291991","https://openalex.org/W1597238128","https://openalex.org/W1803337261","https://openalex.org/W1847466561","https://openalex.org/W1988698742","https://openalex.org/W2038275022","https://openalex.org/W2038952689","https://openalex.org/W2124192263","https://openalex.org/W2137865376","https://openalex.org/W2571737579","https://openalex.org/W3049713846","https://openalex.org/W6635619687","https://openalex.org/W6660346337","https://openalex.org/W6680753846","https://openalex.org/W6732077479"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2379764279","https://openalex.org/W2360924501","https://openalex.org/W2766237626","https://openalex.org/W2372895815","https://openalex.org/W2167833628","https://openalex.org/W2349474539","https://openalex.org/W2366583813","https://openalex.org/W2390279801"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}