{"id":"https://openalex.org/W41467094","doi":null,"title":"Attempto Controlled Natural Language for Requirements Specifications","display_name":"Attempto Controlled Natural Language for Requirements Specifications","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W41467094","mag":"41467094"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.48.6869","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.6869","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.usask.ca/projects/envlop/7WLPE/proceedings/fuchs.ps.gz","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5064159323","display_name":"Norbert E. Fuchs","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I202697423","display_name":"University of Zurich","ror":"https://ror.org/02crff812","country_code":"CH","type":"education","lineage":["https://openalex.org/I202697423"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Norbert E. Fuchs","raw_affiliation_strings":["Univ. of Zurich"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. of Zurich","institution_ids":["https://openalex.org/I202697423"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002458833","display_name":"Rolf Schwitter","orcid":"https://orcid.org/0000-0001-8998-7005","observed_orcids":["https://orcid.org/0000-0001-8998-7005"]},"institutions":[{"id":"https://openalex.org/I202697423","display_name":"University of Zurich","ror":"https://ror.org/02crff812","country_code":"CH","type":"education","lineage":["https://openalex.org/I202697423"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Rolf Schwitter","raw_affiliation_strings":["Univ. of Zurich"],"raw_orcid":"https://orcid.org/0000-0001-8998-7005","affiliations":[{"raw_affiliation_string":"Univ. of Zurich","institution_ids":["https://openalex.org/I202697423"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I202697423"],"apc_list":null,"apc_paid":null,"fwci":1.3851,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.83376289,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":97},"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.5615000128746033,"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.5615000128746033,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.1307000070810318,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.05510000139474869,"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/requirements-specification","display_name":"requirements specification","score":0.7239999771118164},{"id":"https://openalex.org/keywords/formal-specification","display_name":"formal specification","score":0.7760000228881836},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"first-order logic","score":0.7789999842643738},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.9980000257492065},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"formal semantics","score":0.7760000228881836},{"id":"https://openalex.org/keywords/executable-specifications","display_name":"executable specifications","score":0.5979999899864197}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8668673038482666},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7934081554412842},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.6663668155670166},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6612184643745422},{"id":"https://openalex.org/C67463725","wikidata":"https://www.wikidata.org/wiki/Q17081452","display_name":"Natural language programming","level":5,"score":0.6228700280189514},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.600365936756134},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.5875696539878845},{"id":"https://openalex.org/C15077461","wikidata":"https://www.wikidata.org/wiki/Q7248507","display_name":"Programming language specification","level":5,"score":0.5187428593635559},{"id":"https://openalex.org/C185954173","wikidata":"https://www.wikidata.org/wiki/Q4347052","display_name":"Object language","level":3,"score":0.5008296966552734},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.4760741591453552},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4571610987186432},{"id":"https://openalex.org/C26022165","wikidata":"https://www.wikidata.org/wiki/Q8091","display_name":"Grammar","level":2,"score":0.4246927499771118},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.4190077483654022},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4101472795009613},{"id":"https://openalex.org/C83479923","wikidata":"https://www.wikidata.org/wiki/Q2063748","display_name":"Universal Networking Language","level":4,"score":0.3803898096084595},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.2731574475765228},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.24862611293792725},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.20077547430992126},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.12660810351371765},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.0},{"id":"https://openalex.org/C119263510","wikidata":"https://www.wikidata.org/wiki/Q7248501","display_name":"Programming domain","level":4,"score":0.0},{"id":"https://openalex.org/C129353971","wikidata":"https://www.wikidata.org/wiki/Q5156949","display_name":"Comprehension approach","level":3,"score":0.0},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.48.6869","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.6869","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.usask.ca/projects/envlop/7WLPE/proceedings/fuchs.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.51.7657","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.7657","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.ifi.unizh.ch/staff/schwitt/ILPS95_Attempto.ps.gz","raw_type":"text"},{"id":"mag:41467094","doi":null,"is_oa":false,"landing_page_url":"https://www.researchgate.net/profile/Norbert_Fuchs/publication/2400255_Attempto_Controlled_Natural_Language_for_Requirements_Specifications/links/0a85e53c7bc86ef921000000.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306421267","display_name":"Workshop on Logic Programming Environments","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Workshop on Logic Programming Environments","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W40617580","https://openalex.org/W2055683862","https://openalex.org/W2085574295","https://openalex.org/W2087765563","https://openalex.org/W2126716987","https://openalex.org/W2145618437","https://openalex.org/W2148246864","https://openalex.org/W2399938656"],"related_works":["https://openalex.org/W1531297643","https://openalex.org/W7096505548","https://openalex.org/W4214599791","https://openalex.org/W7098841280","https://openalex.org/W201628046","https://openalex.org/W21842585","https://openalex.org/W203379805","https://openalex.org/W138525758","https://openalex.org/W7151526655","https://openalex.org/W2274070970"],"abstract_inverted_index":{"Introduction:":[0],"Views":[1],"as":[2,38],"Declarative":[3],"Specifications":[4],"We":[5],"develop":[6],"formal":[7,27,36,66,70,90,98,116,121],"specifications":[8,28,37,46],"in":[9,41],"logic":[10,15],"languages,":[11],"specifically":[12],"first-order":[13],"predicate":[14],"and":[16,26,32,63,83,91,109],"Prolog.":[17],"To":[18],"bridge":[19],"the":[20,42,73,78,93,106,111,120,131,134],"conceptual":[21,107],"gap":[22],"between":[23,60],"application":[24],"domains":[25],"we":[29],"introduce":[30],"graphical":[31],"textual":[33],"views":[34,76,104],"of":[35,80,95,103,133],"application-oriented,":[39],"i.e.":[40],"true":[43],"sense":[44],"declarative,":[45],"[Fuchs":[47],"&":[48],"Fromherz":[49],"94].":[50],"Formal":[51],"Specification":[52],"Textual":[53],"View":[54,56],"Graphical":[55],"An":[57],"automatic":[58],"mapping":[59],"a":[61,69],"view":[62],"its":[64,125],"associated":[65,97],"specification":[67,122],"assigns":[68],"semantics":[71,94],"to":[72,115],"view.":[74,135],"Though":[75],"give":[77],"impression":[79],"being":[81],"informal":[82,114],"having":[84],"no":[85],"intrinsic":[86],"meaning,":[87],"they":[88],"are":[89],"have":[92],"their":[96],"specification.":[99],"This":[100],"dual-faced":[101],"appearance":[102],"reduces":[105],"gap,":[108],"eases":[110],"transition":[112],"from":[113],"notations.":[117],"Furthermore,":[118],"if":[119],"is":[123],"executable":[124],"execution":[126],"can":[127],"be":[128],"observed":[129],"on":[130],"level":[132],"Thus":[136],"va":[137]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":2}],"updated_date":"2026-11-03T10:50:19.383937","created_date":"2016-06-24T00:00:00"}