{"id":"https://openalex.org/W2147893331","doi":"https://doi.org/10.1017/s0269888900007748","title":"Algebraic specification techniques and tools for software development\u2014the ACT approach by I. ClaBen, H. Ehrig and D. Wolz, AMAST Series in Computing, Vol 1. World Scientific Publishing Co., USA, 1993, pp 237, \u00a327.00, ISBN 981-02-1227-5.","display_name":"Algebraic specification techniques and tools for software development\u2014the ACT approach by I. ClaBen, H. Ehrig and D. Wolz, AMAST Series in Computing, Vol 1. World Scientific Publishing Co., USA, 1993, pp 237, \u00a327.00, ISBN 981-02-1227-5.","publication_year":1996,"publication_date":"1996-03-01","ids":{"openalex":"https://openalex.org/W2147893331","doi":"https://doi.org/10.1017/s0269888900007748","mag":"2147893331"},"language":"en","primary_location":{"id":"doi:10.1017/s0269888900007748","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0269888900007748","pdf_url":null,"source":{"id":"https://openalex.org/S137506714","display_name":"The Knowledge Engineering Review","issn_l":"0269-8889","issn":["0269-8889","1469-8005"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Knowledge Engineering Review","raw_type":"journal-article"},"type":"book-review","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/A5104031502","display_name":"S P Wilson","orcid":null},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Stephen P. Wilson","raw_affiliation_strings":["University of York, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of York, UK","institution_ids":["https://openalex.org/I52099693"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5104031502"],"corresponding_institution_ids":["https://openalex.org/I52099693"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"11","issue":"1","first_page":"81","last_page":"82"},"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.9857000112533569,"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.9857000112533569,"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/T10142","display_name":"Formal Methods in Verification","score":0.9824000000953674,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9793999791145325,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/scientific-publishing","display_name":"Scientific publishing","score":0.7213383316993713},{"id":"https://openalex.org/keywords/publishing","display_name":"Publishing","score":0.6639651656150818},{"id":"https://openalex.org/keywords/series","display_name":"Series (stratigraphy)","score":0.5844997763633728},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5233078002929688},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4845380187034607},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.4637352526187897},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4527660608291626},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.43737849593162537},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3835892081260681},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2067926824092865},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20452803373336792},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.14569449424743652},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.07108211517333984}],"concepts":[{"id":"https://openalex.org/C2984423262","wikidata":"https://www.wikidata.org/wiki/Q17327049","display_name":"Scientific publishing","level":3,"score":0.7213383316993713},{"id":"https://openalex.org/C151719136","wikidata":"https://www.wikidata.org/wiki/Q3972943","display_name":"Publishing","level":2,"score":0.6639651656150818},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.5844997763633728},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5233078002929688},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4845380187034607},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.4637352526187897},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4527660608291626},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.43737849593162537},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3835892081260681},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2067926824092865},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20452803373336792},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.14569449424743652},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.07108211517333984},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0269888900007748","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0269888900007748","pdf_url":null,"source":{"id":"https://openalex.org/S137506714","display_name":"The Knowledge Engineering Review","issn_l":"0269-8889","issn":["0269-8889","1469-8005"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Knowledge Engineering Review","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4399999976158142,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2294677930","https://openalex.org/W2801905285","https://openalex.org/W2028846973","https://openalex.org/W2698935035","https://openalex.org/W2756635080","https://openalex.org/W249766449","https://openalex.org/W1504443673","https://openalex.org/W4293238240","https://openalex.org/W2750416796","https://openalex.org/W2626564437"],"abstract_inverted_index":{"Algebraic":[0],"specification":[1],"techniques":[2],"and":[3,15],"tools":[4],"for":[5],"software":[6],"development\u2014the":[7],"ACT":[8],"approach":[9],"by":[10],"I.":[11],"ClaBen,":[12],"H.":[13],"Ehrig":[14],"D.":[16],"Wolz,":[17],"AMAST":[18],"Series":[19],"in":[20],"Computing,":[21],"Vol":[22],"1.":[23],"World":[24],"Scientific":[25],"Publishing":[26],"Co.,":[27],"USA,":[28],"1993,":[29],"pp":[30],"237,":[31],"\u00a327.00,":[32],"ISBN":[33],"981-02-1227-5.":[34],"-":[35],"Volume":[36],"11":[37],"Issue":[38],"1":[39]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}