{"id":"https://openalex.org/W4242434955","doi":"https://doi.org/10.1007/bfb0019994","title":"VDM '91 Formal Software Development Methods","display_name":"VDM '91 Formal Software Development Methods","publication_year":1991,"publication_date":"1991-01-01","ids":{"openalex":"https://openalex.org/W4242434955","doi":"https://doi.org/10.1007/bfb0019994"},"language":"en","primary_location":{"id":"doi:10.1007/bfb0019994","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0019994","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"},"type":"book","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":null,"display_name":"Prehn, S\u00f8ren","orcid":null},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]},{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL","US"],"is_corresponding":true,"raw_author_name":"Prehn, S\u00f8ren","raw_affiliation_strings":["Computer Resources International A/S BregnerCdvej 144, P. O. Box 173, DK-3460 BirkerCd, Denmark","-7500 Karlsruhe, FRG Juris Hartmanis Department of Computer Science Cornell University Upson Hall Ithaca, NY 14853, USA","Delft University of Technology, Faculty of Technical Mathematics and Informatics P. O. Box 356, 2600 AJ Delft, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Computer Resources International A/S BregnerCdvej 144, P. O. Box 173, DK-3460 BirkerCd, Denmark","institution_ids":[]},{"raw_affiliation_string":"-7500 Karlsruhe, FRG Juris Hartmanis Department of Computer Science Cornell University Upson Hall Ithaca, NY 14853, USA","institution_ids":["https://openalex.org/I205783295"]},{"raw_affiliation_string":"Delft University of Technology, Faculty of Technical Mathematics and Informatics P. O. Box 356, 2600 AJ Delft, The Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"last","author":{"id":null,"display_name":"VDM 1991 Noordwijkerhout","orcid":null},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]},{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL","US"],"is_corresponding":false,"raw_author_name":"VDM 1991 Noordwijkerhout","raw_affiliation_strings":["-7500 Karlsruhe, FRG Juris Hartmanis Department of Computer Science Cornell University Upson Hall Ithaca, NY 14853, USA","Delft University of Technology, Faculty of Technical Mathematics and Informatics P. O. Box 356, 2600 AJ Delft, The Netherlands","Computer Resources International A/S BregnerCdvej 144, P. O. Box 173, DK-3460 BirkerCd, Denmark"],"affiliations":[{"raw_affiliation_string":"-7500 Karlsruhe, FRG Juris Hartmanis Department of Computer Science Cornell University Upson Hall Ithaca, NY 14853, USA","institution_ids":["https://openalex.org/I205783295"]},{"raw_affiliation_string":"Delft University of Technology, Faculty of Technical Mathematics and Informatics P. O. Box 356, 2600 AJ Delft, The Netherlands","institution_ids":["https://openalex.org/I98358874"]},{"raw_affiliation_string":"Computer Resources International A/S BregnerCdvej 144, P. O. Box 173, DK-3460 BirkerCd, Denmark","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I205783295","https://openalex.org/I98358874"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":4.274,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.93103448,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9952999949455261,"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.9952999949455261,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9787999987602234,"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/T10430","display_name":"Software Engineering Techniques and Practices","score":0.9674999713897705,"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.4850234389305115},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.42956188321113586},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.35668450593948364}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4850234389305115},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.42956188321113586},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35668450593948364}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/bfb0019994","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0019994","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"},{"id":"pmh:oai:aleph.bib-bvb.de:BVB01-018633968","is_oa":false,"landing_page_url":"https://doi.org/10.1007/BFb0019994","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"software, multimedia"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W1516022555","https://openalex.org/W1533592581","https://openalex.org/W1540791738","https://openalex.org/W1620275864","https://openalex.org/W1824455413","https://openalex.org/W2152389334","https://openalex.org/W2165102355"],"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/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-03-25T23:56:10.502304","created_date":"2022-05-12T00:00:00"}