{"id":"https://openalex.org/W194610784","doi":"https://doi.org/10.1007/3540539816_62","title":"On the relationship between algebraic module specifications and program modules","display_name":"On the relationship between algebraic module specifications and program modules","publication_year":1991,"publication_date":"1991-01-01","ids":{"openalex":"https://openalex.org/W194610784","doi":"https://doi.org/10.1007/3540539816_62","mag":"194610784"},"language":"en","primary_location":{"id":"doi:10.1007/3540539816_62","is_oa":true,"landing_page_url":"https://doi.org/10.1007/3540539816_62","pdf_url":"https://link.springer.com/content/pdf/10.1007/3540539816_62.pdf","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":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1007/3540539816_62.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088492159","display_name":"M. J. S. Lowe","orcid":"https://orcid.org/0000-0001-6093-1841"},"institutions":[{"id":"https://openalex.org/I4577782","display_name":"Technische Universit\u00e4t Berlin","ror":"https://ror.org/03v4gjf40","country_code":"DE","type":"education","lineage":["https://openalex.org/I4577782"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Michael L\u00f6we","raw_affiliation_strings":["Technische Universit\u00e4t Berlin, Franklinstra\u00dfe 28/29, 1000, Berlin 10","Technische Universitat Berlin"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Berlin, Franklinstra\u00dfe 28/29, 1000, Berlin 10","institution_ids":["https://openalex.org/I4577782"]},{"raw_affiliation_string":"Technische Universitat Berlin","institution_ids":["https://openalex.org/I4577782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002594574","display_name":"Hartmut Ehrig","orcid":null},"institutions":[{"id":"https://openalex.org/I4577782","display_name":"Technische Universit\u00e4t Berlin","ror":"https://ror.org/03v4gjf40","country_code":"DE","type":"education","lineage":["https://openalex.org/I4577782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hartmut Ehrig","raw_affiliation_strings":["Technische Universit\u00e4t Berlin, Franklinstra\u00dfe 28/29, 1000, Berlin 10","Technische Universitat Berlin"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Berlin, Franklinstra\u00dfe 28/29, 1000, Berlin 10","institution_ids":["https://openalex.org/I4577782"]},{"raw_affiliation_string":"Technische Universitat Berlin","institution_ids":["https://openalex.org/I4577782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010649563","display_name":"Werner Fey","orcid":null},"institutions":[{"id":"https://openalex.org/I4577782","display_name":"Technische Universit\u00e4t Berlin","ror":"https://ror.org/03v4gjf40","country_code":"DE","type":"education","lineage":["https://openalex.org/I4577782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Werner Fey","raw_affiliation_strings":["Technische Universit\u00e4t Berlin, Franklinstra\u00dfe 28/29, 1000, Berlin 10","Technische Universitat Berlin"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Berlin, Franklinstra\u00dfe 28/29, 1000, Berlin 10","institution_ids":["https://openalex.org/I4577782"]},{"raw_affiliation_string":"Technische Universitat Berlin","institution_ids":["https://openalex.org/I4577782"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108354156","display_name":"Dean Jacobs","orcid":null},"institutions":[{"id":"https://openalex.org/I2800817003","display_name":"Southern California University for Professional Studies","ror":"https://ror.org/058zz0t50","country_code":"US","type":"education","lineage":["https://openalex.org/I2800817003"]},{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dean Jacobs","raw_affiliation_strings":["University of Southern California, 90089-0782, Los Angeles, CA","University of Southern California"],"affiliations":[{"raw_affiliation_string":"University of Southern California, 90089-0782, Los Angeles, CA","institution_ids":["https://openalex.org/I1174212"]},{"raw_affiliation_string":"University of Southern California","institution_ids":["https://openalex.org/I2800817003","https://openalex.org/I1174212"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5088492159"],"corresponding_institution_ids":["https://openalex.org/I4577782"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.105,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.73290359,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"83","last_page":"98"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9997000098228455,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9997000098228455,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9988999962806702,"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/T10260","display_name":"Software Engineering Research","score":0.9988999962806702,"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/modular-programming","display_name":"Modular programming","score":0.8232092261314392},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7634899616241455},{"id":"https://openalex.org/keywords/algebraic-specification","display_name":"Algebraic specification","score":0.704889714717865},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7037857174873352},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.5336685180664062},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.21653059124946594},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1356273591518402}],"concepts":[{"id":"https://openalex.org/C88482812","wikidata":"https://www.wikidata.org/wiki/Q6453666","display_name":"Modular programming","level":2,"score":0.8232092261314392},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7634899616241455},{"id":"https://openalex.org/C2777691520","wikidata":"https://www.wikidata.org/wiki/Q4724019","display_name":"Algebraic specification","level":3,"score":0.704889714717865},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7037857174873352},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.5336685180664062},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.21653059124946594},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1356273591518402},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/3540539816_62","is_oa":true,"landing_page_url":"https://doi.org/10.1007/3540539816_62","pdf_url":"https://link.springer.com/content/pdf/10.1007/3540539816_62.pdf","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"}],"best_oa_location":{"id":"doi:10.1007/3540539816_62","is_oa":true,"landing_page_url":"https://doi.org/10.1007/3540539816_62","pdf_url":"https://link.springer.com/content/pdf/10.1007/3540539816_62.pdf","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"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W194610784.pdf","grobid_xml":"https://content.openalex.org/works/W194610784.grobid-xml"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W98294467","https://openalex.org/W127276186","https://openalex.org/W579689537","https://openalex.org/W1541593857","https://openalex.org/W1551368431","https://openalex.org/W1603788080","https://openalex.org/W1967975156","https://openalex.org/W2054164849","https://openalex.org/W2077592849","https://openalex.org/W2093415968","https://openalex.org/W2134119432","https://openalex.org/W2156076209","https://openalex.org/W2165121897","https://openalex.org/W2275773297","https://openalex.org/W3011496026","https://openalex.org/W4241979938","https://openalex.org/W4300128858","https://openalex.org/W4301507461"],"related_works":["https://openalex.org/W2164104454","https://openalex.org/W3038096277","https://openalex.org/W2121645155","https://openalex.org/W749130412","https://openalex.org/W1559579193","https://openalex.org/W1501405214","https://openalex.org/W2031496568","https://openalex.org/W2765695716","https://openalex.org/W2406066641","https://openalex.org/W1484338948"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}