{"id":"https://openalex.org/W1590212947","doi":"https://doi.org/10.1023/a:1018973501964","title":"A formal approach to scenario integration","display_name":"A formal approach to scenario integration","publication_year":1997,"publication_date":"1997-01-01","ids":{"openalex":"https://openalex.org/W1590212947","doi":"https://doi.org/10.1023/a:1018973501964","mag":"1590212947"},"language":"en","primary_location":{"id":"doi:10.1023/a:1018973501964","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1018973501964","pdf_url":null,"source":{"id":"https://openalex.org/S104191512","display_name":"Annals of Software Engineering","issn_l":"1022-7091","issn":["1022-7091","1573-7489"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Software Engineering","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/A5049424570","display_name":"F. Lustman","orcid":null},"institutions":[{"id":"https://openalex.org/I70931966","display_name":"Universit\u00e9 de Montr\u00e9al","ror":"https://ror.org/0161xgx34","country_code":"CA","type":"education","lineage":["https://openalex.org/I70931966"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Fran\u00e7 Lustman","raw_affiliation_strings":["D\u00e9partement d'Informatique et de Recherche Op\u00e9rationnelle, Universit\u00e9de Montr\u00e9al, C.P. 6128, succursale centre ville, Montr\u00e9al, QC, Canada, H3C 3J7","D\u00e9partement d\u2019Informatique et de Recherche Op\u00e9rationnelle, Universit\u00e9de Montr\u00e9al, C.P. 6128, succursale centre ville, Montr\u00e9al, QC, Canada H3C 3J7#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"D\u00e9partement d'Informatique et de Recherche Op\u00e9rationnelle, Universit\u00e9de Montr\u00e9al, C.P. 6128, succursale centre ville, Montr\u00e9al, QC, Canada, H3C 3J7","institution_ids":["https://openalex.org/I70931966"]},{"raw_affiliation_string":"D\u00e9partement d\u2019Informatique et de Recherche Op\u00e9rationnelle, Universit\u00e9de Montr\u00e9al, C.P. 6128, succursale centre ville, Montr\u00e9al, QC, Canada H3C 3J7#TAB#","institution_ids":["https://openalex.org/I70931966"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5049424570"],"corresponding_institution_ids":["https://openalex.org/I70931966"],"apc_list":null,"apc_paid":null,"fwci":2.8843,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.91528239,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"3","issue":"1","first_page":"255","last_page":"271"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9991999864578247,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9991999864578247,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9976999759674072,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9922999739646912,"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.7383045554161072},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.620334804058075},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.6034321188926697},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4568312168121338},{"id":"https://openalex.org/keywords/refinement","display_name":"Refinement","score":0.41341933608055115},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.32850420475006104},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.22277015447616577},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11444222927093506}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7383045554161072},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.620334804058075},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.6034321188926697},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4568312168121338},{"id":"https://openalex.org/C14331664","wikidata":"https://www.wikidata.org/wiki/Q3417382","display_name":"Refinement","level":3,"score":0.41341933608055115},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32850420475006104},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.22277015447616577},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11444222927093506}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1023/a:1018973501964","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1018973501964","pdf_url":null,"source":{"id":"https://openalex.org/S104191512","display_name":"Annals of Software Engineering","issn_l":"1022-7091","issn":["1022-7091","1573-7489"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1969804825","https://openalex.org/W2097733040","https://openalex.org/W2131824369","https://openalex.org/W2147273108"],"related_works":["https://openalex.org/W2145025660","https://openalex.org/W1903167137","https://openalex.org/W1922520186","https://openalex.org/W2171674700","https://openalex.org/W2143067915","https://openalex.org/W1876668708","https://openalex.org/W38524544","https://openalex.org/W1950421680","https://openalex.org/W1568529421","https://openalex.org/W2030452150"],"abstract_inverted_index":null,"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}