{"id":"https://openalex.org/W1896944471","doi":"https://doi.org/10.1023/a:1018927430556","title":"Composing, analyzing and validating software models to assess the performability of competing design candidates","display_name":"Composing, analyzing and validating software models to assess the performability of competing design candidates","publication_year":1999,"publication_date":"1999-02-01","ids":{"openalex":"https://openalex.org/W1896944471","doi":"https://doi.org/10.1023/a:1018927430556","mag":"1896944471"},"language":"en","primary_location":{"id":"doi:10.1023/a:1018927430556","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1018927430556","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/A5019549865","display_name":"Frederick T. Sheldon","orcid":"https://orcid.org/0000-0003-1241-2750"},"institutions":[{"id":"https://openalex.org/I72951846","display_name":"Washington State University","ror":"https://ror.org/05dk0ce17","country_code":"US","type":"education","lineage":["https://openalex.org/I72951846"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Frederick T. Sheldon","raw_affiliation_strings":["School of Electrical Engineering and Computer Science, Washington State University, PO Box 642752, Pullman, WA, 99164\u20102752, USA","School of Electrical Engineering and Computer Science, Washington State University, PO Box 642752, Pullman, WA 99164‐2752, USA E-mail: Sheldon@eecs.wsu.edu#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electrical Engineering and Computer Science, Washington State University, PO Box 642752, Pullman, WA, 99164\u20102752, USA","institution_ids":["https://openalex.org/I72951846"]},{"raw_affiliation_string":"School of Electrical Engineering and Computer Science, Washington State University, PO Box 642752, Pullman, WA 99164‐2752, USA E-mail: Sheldon@eecs.wsu.edu#TAB#","institution_ids":["https://openalex.org/I72951846"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111490464","display_name":"Stefan Greiner","orcid":null},"institutions":[{"id":"https://openalex.org/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stefan Greiner","raw_affiliation_strings":["Performance Modeling & Process Control Research Group, Department of Computer Science IMMD IV, The University of Erlangen\u2010N\u00fcrnberg, Martensstrasse 1, 91058, Erlangen, Germany","Performance Modeling & Process Control Research Group, Department of Computer Science IMMD IV, The University of Erlangen‐N\u00fcrnberg, Martensstrasse 1, 91058 Erlangen, Germany E-mai ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Performance Modeling & Process Control Research Group, Department of Computer Science IMMD IV, The University of Erlangen\u2010N\u00fcrnberg, Martensstrasse 1, 91058, Erlangen, Germany","institution_ids":["https://openalex.org/I181369854"]},{"raw_affiliation_string":"Performance Modeling & Process Control Research Group, Department of Computer Science IMMD IV, The University of Erlangen‐N\u00fcrnberg, Martensstrasse 1, 91058 Erlangen, Germany E-mai ...#TAB#","institution_ids":["https://openalex.org/I181369854"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5019549865"],"corresponding_institution_ids":["https://openalex.org/I72951846"],"apc_list":null,"apc_paid":null,"fwci":1.9601,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.84494877,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"8","issue":"1-4","first_page":"239","last_page":"287"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9993000030517578,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.7966936230659485},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7358807921409607},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.53825443983078},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.5312454700469971},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5288418531417847},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.45335260033607483},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.44412538409233093},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.42614272236824036},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4190632402896881},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37379008531570435}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7966936230659485},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7358807921409607},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.53825443983078},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5312454700469971},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5288418531417847},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.45335260033607483},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.44412538409233093},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.42614272236824036},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4190632402896881},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37379008531570435},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1023/a:1018927430556","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1018927430556","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":75,"referenced_works":["https://openalex.org/W70642710","https://openalex.org/W135288638","https://openalex.org/W1491475668","https://openalex.org/W1494871598","https://openalex.org/W1503973138","https://openalex.org/W1514324734","https://openalex.org/W1515235931","https://openalex.org/W1517982026","https://openalex.org/W1525103381","https://openalex.org/W1528519543","https://openalex.org/W1528883016","https://openalex.org/W1554130893","https://openalex.org/W1554854761","https://openalex.org/W1557379344","https://openalex.org/W1568125119","https://openalex.org/W1569289540","https://openalex.org/W1580182767","https://openalex.org/W1585042602","https://openalex.org/W1758609697","https://openalex.org/W1824639939","https://openalex.org/W1909562114","https://openalex.org/W1915145699","https://openalex.org/W1948251029","https://openalex.org/W1991509731","https://openalex.org/W1992580876","https://openalex.org/W1996109622","https://openalex.org/W2001104504","https://openalex.org/W2003159491","https://openalex.org/W2010667454","https://openalex.org/W2014100935","https://openalex.org/W2019699671","https://openalex.org/W2034883517","https://openalex.org/W2044047612","https://openalex.org/W2056172318","https://openalex.org/W2059589538","https://openalex.org/W2060840612","https://openalex.org/W2061438988","https://openalex.org/W2070215238","https://openalex.org/W2075675135","https://openalex.org/W2079636926","https://openalex.org/W2090188531","https://openalex.org/W2093512919","https://openalex.org/W2115309705","https://openalex.org/W2117834984","https://openalex.org/W2119239145","https://openalex.org/W2120837116","https://openalex.org/W2123156427","https://openalex.org/W2123867210","https://openalex.org/W2125739093","https://openalex.org/W2126585945","https://openalex.org/W2129535094","https://openalex.org/W2129946623","https://openalex.org/W2133820906","https://openalex.org/W2137604616","https://openalex.org/W2142484380","https://openalex.org/W2153851383","https://openalex.org/W2153977051","https://openalex.org/W2167220269","https://openalex.org/W2168755708","https://openalex.org/W2169898528","https://openalex.org/W2299193549","https://openalex.org/W2341415247","https://openalex.org/W2493235026","https://openalex.org/W2681991495","https://openalex.org/W2899253399","https://openalex.org/W3041961278","https://openalex.org/W3049336670","https://openalex.org/W3144368627","https://openalex.org/W3157604873","https://openalex.org/W3169762705","https://openalex.org/W4237138370","https://openalex.org/W6603764359","https://openalex.org/W6650912079","https://openalex.org/W6677871081","https://openalex.org/W6678417068"],"related_works":["https://openalex.org/W3008339103","https://openalex.org/W2404647514","https://openalex.org/W1667647204","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4241418540","https://openalex.org/W3097218026","https://openalex.org/W4390481443","https://openalex.org/W2037121848"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2016-06-24T00:00:00"}