{"id":"https://openalex.org/W2103084863","doi":"https://doi.org/10.1109/icre.2002.1048521","title":"Validating functional system requirements with scenarios","display_name":"Validating functional system requirements with scenarios","publication_year":2003,"publication_date":"2003-06-25","ids":{"openalex":"https://openalex.org/W2103084863","doi":"https://doi.org/10.1109/icre.2002.1048521","mag":"2103084863"},"language":"en","primary_location":{"id":"doi:10.1109/icre.2002.1048521","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icre.2002.1048521","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings IEEE Joint International Conference on Requirements Engineering","raw_type":"proceedings-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/A5031538891","display_name":"Alistair\ufeff Sutcliffe\ufeff","orcid":"https://orcid.org/0000-0002-7955-2232"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]},{"id":"https://openalex.org/I2799725268","display_name":"Manchester Academic Health Science Centre","ror":"https://ror.org/04rrkhs81","country_code":"GB","type":"healthcare","lineage":["https://openalex.org/I2799725268"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"A. Sutcliffe","raw_affiliation_strings":["Centre for HCI Design, Department of Computation, University of Manchester, Institute of Science and Technology, Manchester, UK","Dept. of Comput., Univ. of Manchester Inst. of Sci. & Technol., , UK"],"affiliations":[{"raw_affiliation_string":"Centre for HCI Design, Department of Computation, University of Manchester, Institute of Science and Technology, Manchester, UK","institution_ids":["https://openalex.org/I2799725268","https://openalex.org/I28407311"]},{"raw_affiliation_string":"Dept. of Comput., Univ. of Manchester Inst. of Sci. & Technol., , UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020514740","display_name":"Andreas Gregoriades","orcid":"https://orcid.org/0000-0002-7422-1514"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]},{"id":"https://openalex.org/I2799725268","display_name":"Manchester Academic Health Science Centre","ror":"https://ror.org/04rrkhs81","country_code":"GB","type":"healthcare","lineage":["https://openalex.org/I2799725268"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"A. Gregoriades","raw_affiliation_strings":["Centre for HCI Design, Department of Computation, University of Manchester, Institute of Science and Technology, Manchester, UK","Dept. of Comput., Univ. of Manchester Inst. of Sci. & Technol., , UK"],"affiliations":[{"raw_affiliation_string":"Centre for HCI Design, Department of Computation, University of Manchester, Institute of Science and Technology, Manchester, UK","institution_ids":["https://openalex.org/I2799725268","https://openalex.org/I28407311"]},{"raw_affiliation_string":"Dept. of Comput., Univ. of Manchester Inst. of Sci. & Technol., , UK","institution_ids":["https://openalex.org/I28407311"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5031538891"],"corresponding_institution_ids":["https://openalex.org/I2799725268","https://openalex.org/I28407311"],"apc_list":null,"apc_paid":null,"fwci":6.1364,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.97011662,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"181","last_page":"188"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9987000226974487,"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/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.9947999715805054,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/human-reliability","display_name":"Human reliability","score":0.7107410430908203},{"id":"https://openalex.org/keywords/bayesian-network","display_name":"Bayesian network","score":0.657480001449585},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6398613452911377},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.5680222511291504},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5603447556495667},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5576368570327759},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4896007180213928},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.47377467155456543},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.43317508697509766},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.4313437044620514},{"id":"https://openalex.org/keywords/human-error","display_name":"Human error","score":0.2906738519668579},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2437976598739624},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.21996766328811646},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18911173939704895}],"concepts":[{"id":"https://openalex.org/C191147762","wikidata":"https://www.wikidata.org/wiki/Q186289","display_name":"Human reliability","level":3,"score":0.7107410430908203},{"id":"https://openalex.org/C33724603","wikidata":"https://www.wikidata.org/wiki/Q812540","display_name":"Bayesian network","level":2,"score":0.657480001449585},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6398613452911377},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.5680222511291504},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5603447556495667},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5576368570327759},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4896007180213928},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.47377467155456543},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.43317508697509766},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.4313437044620514},{"id":"https://openalex.org/C169806903","wikidata":"https://www.wikidata.org/wiki/Q5937752","display_name":"Human error","level":2,"score":0.2906738519668579},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2437976598739624},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.21996766328811646},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18911173939704895},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","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/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/icre.2002.1048521","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icre.2002.1048521","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings IEEE Joint International Conference on Requirements Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:ktisis.cut.ac.cy:20.500.14279/14760","is_oa":false,"landing_page_url":"https://hdl.handle.net/20.500.14279/14760","pdf_url":null,"source":{"id":"https://openalex.org/S4306400897","display_name":"Ktisis at Cyprus University of Technology (Cyprus University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I163151358","host_organization_name":"Cyprus University of Technology","host_organization_lineage":["https://openalex.org/I163151358"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/13","score":0.7599999904632568,"display_name":"Climate action"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1895087","https://openalex.org/W84355562","https://openalex.org/W1482866900","https://openalex.org/W1550960021","https://openalex.org/W1566818867","https://openalex.org/W1595833668","https://openalex.org/W1597124172","https://openalex.org/W1948941825","https://openalex.org/W1999240835","https://openalex.org/W2018786600","https://openalex.org/W2051028605","https://openalex.org/W2113223747","https://openalex.org/W2129886053","https://openalex.org/W2153033399","https://openalex.org/W2177007941","https://openalex.org/W3020990745","https://openalex.org/W4210651582","https://openalex.org/W4250143236","https://openalex.org/W6603397759","https://openalex.org/W6684148582","https://openalex.org/W6822563072"],"related_works":["https://openalex.org/W3009685199","https://openalex.org/W2903840402","https://openalex.org/W2478668171","https://openalex.org/W2550228720","https://openalex.org/W2000160512","https://openalex.org/W2357256365","https://openalex.org/W1734881440","https://openalex.org/W2092780670","https://openalex.org/W2368237856","https://openalex.org/W2388248935"],"abstract_inverted_index":{"This":[0],"paper":[1],"addresses":[2],"the":[3,76,90,104,110,140,157,201],"problem":[4],"of":[5,16,55,80,101,112,118,156,172,185,196],"requirements":[6,177,208,212],"engineering":[7],"for":[8,204],"complex":[9],"socio-technical":[10,206],"systems":[11,216],"where":[12],"an":[13],"optimal":[14],"set":[15,100,184],"technology":[17,199],"components":[18],"and":[19,69,78,127,134,165,175,200,210],"human":[20,68,119,133,173],"operators":[21,120],"have":[22],"to":[23,26,50],"be":[24],"selected":[25],"achieve":[27],"system":[28,56,207],"goals.":[29],"Goals":[30],"are":[31,36,179],"achieved":[32],"by":[33],"tasks":[34],"that":[35,97,138],"expressed":[37],"as":[38,58,122],"operational":[39],"scenarios":[40,102,186],"with":[41],"variations":[42],"in":[43,168,214],"environmental":[44,81,128],"conditions.":[45,129],"The":[46,64,130,194],"approach":[47],"taken":[48],"is":[49,95,159,217],"develop":[51],"a":[52,59,99,144,149,162,183,191],"probabilistic":[53],"model":[54,66],"reliability":[57,145],"Bayesian":[60],"Belief":[61],"Network":[62],"(BBN).":[63],"BBN":[65,105,198],"predicts":[67],"machine":[70],"reliabilities,":[71],"given":[72],"input":[73,114],"variables":[74,115],"representing":[75],"scenario":[77,141],"ranges":[79,111],"conditions":[82],"(i.e.":[83],"weather,":[84],"climate,":[85],"etc.).":[86],"A":[87,152],"software":[88],"tool,":[89],"System":[91],"Reliability":[92],"Analyser":[93],"(SRA)":[94],"described":[96],"runs":[98],"against":[103,182],"models":[106],"while":[107],"systematically":[108],"varying":[109],"12":[113],"specifying":[116],"properties":[117],"such":[121],"training,":[123],"technical":[124,135],"equipment":[125,136,176],"specification":[126],"tool":[131,158,203],"reports":[132],"specifications":[137,178],"\"survive\"":[139],"testing":[142],"at":[143],"level":[146],"higher":[147],"than":[148],"user-defined":[150],"level.":[151],"case":[153],"study":[154],"evaluation":[155],"reported":[160],"using":[161,197],"naval":[163],"command":[164],"control":[166],"domain,":[167],"which":[169],"different":[170],"combinations":[171],"roles":[174],"automatically":[180],"validated":[181],"describing":[187],"missile":[188],"attacks":[189],"on":[190],"navy":[192],"frigate.":[193],"implication":[195],"SRA":[202],"automating":[205],"validation":[209],"optimising":[211],"selection":[213],"component-based":[215],"discussed.":[218]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}