{"id":"https://openalex.org/W1998340606","doi":"https://doi.org/10.1017/s0269888900007542","title":"Verification and validation of knowledge-based systems with formal specifications","display_name":"Verification and validation of knowledge-based systems with formal specifications","publication_year":1995,"publication_date":"1995-12-01","ids":{"openalex":"https://openalex.org/W1998340606","doi":"https://doi.org/10.1017/s0269888900007542","mag":"1998340606"},"language":"en","primary_location":{"id":"doi:10.1017/s0269888900007542","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0269888900007542","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":"article","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/A5028642023","display_name":"Pedro Meseguer","orcid":null},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Pedro Meseguer","raw_affiliation_strings":["Department de Llenguatges i Sistemes Inform\u00e0tics, Universitat Polit\u00e8cnica de Catalunya, 08028 Barcelona, Spain","Department de Llenguatges i Sistemes Inform\u00e0tics, Universitat Polit\u00e8cnica de Catalunya, 08028 Barcelona, Spain ("],"affiliations":[{"raw_affiliation_string":"Department de Llenguatges i Sistemes Inform\u00e0tics, Universitat Polit\u00e8cnica de Catalunya, 08028 Barcelona, Spain","institution_ids":["https://openalex.org/I9617848"]},{"raw_affiliation_string":"Department de Llenguatges i Sistemes Inform\u00e0tics, Universitat Polit\u00e8cnica de Catalunya, 08028 Barcelona, Spain (","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005253980","display_name":"Alun Preece","orcid":"https://orcid.org/0000-0003-0349-9057"},"institutions":[{"id":"https://openalex.org/I195460627","display_name":"University of Aberdeen","ror":"https://ror.org/016476m91","country_code":"GB","type":"education","lineage":["https://openalex.org/I195460627"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alun D. Preece","raw_affiliation_strings":["Computing Science Department, University of Aberdeen, Aberdeen A B9 2UE, Scotland","Computing Science Department, University of Aberdeen, Aberdeen A B9 2UE, Scotland ("],"affiliations":[{"raw_affiliation_string":"Computing Science Department, University of Aberdeen, Aberdeen A B9 2UE, Scotland","institution_ids":["https://openalex.org/I195460627"]},{"raw_affiliation_string":"Computing Science Department, University of Aberdeen, Aberdeen A B9 2UE, Scotland (","institution_ids":["https://openalex.org/I195460627"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5028642023"],"corresponding_institution_ids":["https://openalex.org/I9617848"],"apc_list":null,"apc_paid":null,"fwci":1.5621,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.84593023,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"10","issue":"4","first_page":"331","last_page":"343"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991000294685364,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991000294685364,"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/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9984999895095825,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7356098890304565},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.6247447729110718},{"id":"https://openalex.org/keywords/system-requirements-specification","display_name":"System requirements specification","score":0.5640745162963867},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5433474779129028},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5376637578010559},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5218693017959595},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.45627561211586},{"id":"https://openalex.org/keywords/conceptual-model","display_name":"Conceptual model","score":0.45160001516342163},{"id":"https://openalex.org/keywords/language-of-temporal-ordering-specification","display_name":"Language Of Temporal Ordering Specification","score":0.4364953637123108},{"id":"https://openalex.org/keywords/refinement","display_name":"Refinement","score":0.424543172121048},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.4152998924255371},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.4084705710411072},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40373629331588745},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.12187016010284424},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11675280332565308}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7356098890304565},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.6247447729110718},{"id":"https://openalex.org/C84651959","wikidata":"https://www.wikidata.org/wiki/Q17052506","display_name":"System requirements specification","level":2,"score":0.5640745162963867},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5433474779129028},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5376637578010559},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5218693017959595},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.45627561211586},{"id":"https://openalex.org/C13606891","wikidata":"https://www.wikidata.org/wiki/Q2623243","display_name":"Conceptual model","level":2,"score":0.45160001516342163},{"id":"https://openalex.org/C90069079","wikidata":"https://www.wikidata.org/wiki/Q1805432","display_name":"Language Of Temporal Ordering Specification","level":3,"score":0.4364953637123108},{"id":"https://openalex.org/C14331664","wikidata":"https://www.wikidata.org/wiki/Q3417382","display_name":"Refinement","level":3,"score":0.424543172121048},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.4152998924255371},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.4084705710411072},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40373629331588745},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.12187016010284424},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11675280332565308},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s0269888900007542","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0269888900007542","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"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.17.7692","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.7692","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://cgi.csd.abdn.ac.uk/%7Eapreece/research/download/ker1995a.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.550000011920929}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W72799286","https://openalex.org/W184753330","https://openalex.org/W229019754","https://openalex.org/W317793146","https://openalex.org/W1513688798","https://openalex.org/W1535682743","https://openalex.org/W1549872659","https://openalex.org/W1575200384","https://openalex.org/W1590686765","https://openalex.org/W1965992695","https://openalex.org/W1968762526","https://openalex.org/W1979241946","https://openalex.org/W2003724611","https://openalex.org/W2055674871","https://openalex.org/W2086200448","https://openalex.org/W2096536569","https://openalex.org/W2110679033","https://openalex.org/W2135817623","https://openalex.org/W2138461229","https://openalex.org/W2140755446","https://openalex.org/W2145482038","https://openalex.org/W2346933546","https://openalex.org/W2726355060","https://openalex.org/W6601893370","https://openalex.org/W6602971262","https://openalex.org/W6740774074"],"related_works":["https://openalex.org/W2171674700","https://openalex.org/W1568529421","https://openalex.org/W1520778375","https://openalex.org/W2145025660","https://openalex.org/W2156223462","https://openalex.org/W2378785653","https://openalex.org/W1977144985","https://openalex.org/W47092883","https://openalex.org/W2151688527","https://openalex.org/W1998340606"],"abstract_inverted_index":{"Abstract":[0],"This":[1],"paper":[2],"examines":[3],"how":[4],"formal":[5,45,118],"specification":[6,19,46,119],"techniques":[7,20,33,120],"can":[8,68,100],"support":[9,26,73],"the":[10,38,41,51,59,78,96,126,131],"verification":[11,28],"and":[12,29,31,83,86],"validation":[13],"(V&V)":[14],"of":[15,23,40,54,64,90],"knowledge-based":[16],"systems.":[17],"Formal":[18],"provide":[21],"levels":[22],"description":[24],"which":[25,99],"both":[27],"validation,":[30],"V&V":[32,79,97],"feed":[34],"back":[35],"to":[36,72],"assist":[37],"development":[39],"specifications.":[42,132],"Developing":[43],"a":[44,48,55,91],"for":[47,58,121],"system":[49],"requires":[50],"prior":[52],"construction":[53],"conceptual":[56,66,107],"model":[57,67],"intended":[60],"system.":[61],"Many":[62],"elements":[63],"this":[65],"be":[69,101],"effectively":[70],"used":[71],"V&V.":[74],"Using":[75],"these":[76],"elements,":[77],"process":[80],"becomes":[81],"deeper":[82],"more":[84],"elaborate,":[85],"it":[87],"produces":[88],"results":[89],"better":[92],"quality":[93],"compared":[94],"with":[95],"activities":[98],"performed":[102],"on":[103],"systems":[104],"developed":[105],"without":[106],"models.":[108],"However,":[109],"we":[110],"note":[111],"that":[112],"there":[113],"are":[114],"concerns":[115],"in":[116,129],"using":[117],"V&V,":[122],"not":[123],"least":[124],"being":[125],"effort":[127],"involved":[128],"creating":[130]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}