{"id":"https://openalex.org/W2155415431","doi":"https://doi.org/10.1007/978-3-540-73551-9_13","title":"Slicing of Component Behavior Specification with Respect to Their Composition","display_name":"Slicing of Component Behavior Specification with Respect to Their Composition","publication_year":2007,"publication_date":"2007-08-13","ids":{"openalex":"https://openalex.org/W2155415431","doi":"https://doi.org/10.1007/978-3-540-73551-9_13","mag":"2155415431"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-73551-9_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-73551-9_13","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","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/A5033145955","display_name":"Ond\u0159ej \u0160er\u00fd","orcid":null},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Ond\u0159ej \u0160er\u00fd","raw_affiliation_strings":["Charles University in Prague, Faculty of Mathematics and Physics, Department of Software Engineering, Malostranske namesti 25, 118 00 Prague 1, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Charles University in Prague, Faculty of Mathematics and Physics, Department of Software Engineering, Malostranske namesti 25, 118 00 Prague 1, Czech Republic","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038827584","display_name":"Franti\u0161ek Pl\u00e1\u0161il","orcid":"https://orcid.org/0000-0003-1910-8989"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]},{"id":"https://openalex.org/I4210100529","display_name":"Czech Academy of Sciences, Institute of Sociology","ror":"https://ror.org/018hy5194","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210100529"]},{"id":"https://openalex.org/I4210155092","display_name":"Czech Academy of Sciences, Institute of Computer Science","ror":"https://ror.org/0496n6574","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210155092"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Franti\u0161ek Pl\u00e1\u0161il","raw_affiliation_strings":["Academy of Sciences of the Czech Republic, Institute of Computer Science,","Charles University in Prague, Faculty of Mathematics and Physics, Department of Software Engineering, Malostranske namesti 25, 118 00 Prague 1, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Academy of Sciences of the Czech Republic, Institute of Computer Science,","institution_ids":["https://openalex.org/I4210100529","https://openalex.org/I4210155092"]},{"raw_affiliation_string":"Charles University in Prague, Faculty of Mathematics and Physics, Department of Software Engineering, Malostranske namesti 25, 118 00 Prague 1, Czech Republic","institution_ids":["https://openalex.org/I21250087"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.6465,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.65028002,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"189","last_page":"202"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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/T10260","display_name":"Software Engineering Research","score":0.9983999729156494,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.998199999332428,"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/program-slicing","display_name":"Program slicing","score":0.8570746183395386},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8524640798568726},{"id":"https://openalex.org/keywords/slicing","display_name":"Slicing","score":0.7598207592964172},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.7526723146438599},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.6779064536094666},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.6353578567504883},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.503635585308075},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.48718827962875366},{"id":"https://openalex.org/keywords/component-based-software-engineering","display_name":"Component-based software engineering","score":0.47509539127349854},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.47280043363571167},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.44290637969970703},{"id":"https://openalex.org/keywords/software-architecture","display_name":"Software architecture","score":0.42346152663230896},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4176778197288513},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.37186968326568604},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.3206964135169983},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3076533079147339}],"concepts":[{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.8570746183395386},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8524640798568726},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.7598207592964172},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.7526723146438599},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6779064536094666},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.6353578567504883},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.503635585308075},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.48718827962875366},{"id":"https://openalex.org/C174683762","wikidata":"https://www.wikidata.org/wiki/Q609588","display_name":"Component-based software engineering","level":4,"score":0.47509539127349854},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.47280043363571167},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.44290637969970703},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.42346152663230896},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4176778197288513},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.37186968326568604},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.3206964135169983},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3076533079147339},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"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/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-540-73551-9_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-73551-9_13","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.186.6634","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.6634","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.mff.cuni.cz/veda/konference/wds/contents/pdf07/WDS07_108_i2_Sery.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W83718415","https://openalex.org/W364417119","https://openalex.org/W1505714538","https://openalex.org/W1582292473","https://openalex.org/W1606484542","https://openalex.org/W1979603834","https://openalex.org/W1993454158","https://openalex.org/W1995284925","https://openalex.org/W2007464118","https://openalex.org/W2013658284","https://openalex.org/W2040834199","https://openalex.org/W2041669452","https://openalex.org/W2059177580","https://openalex.org/W2063900889","https://openalex.org/W2065300036","https://openalex.org/W2096973649","https://openalex.org/W2110976422","https://openalex.org/W2125579889","https://openalex.org/W2137948900","https://openalex.org/W2170509118","https://openalex.org/W2294890831","https://openalex.org/W2946926269","https://openalex.org/W4237631564","https://openalex.org/W4249740001"],"related_works":["https://openalex.org/W2023695259","https://openalex.org/W2101663592","https://openalex.org/W1499944943","https://openalex.org/W2469106144","https://openalex.org/W4246440311","https://openalex.org/W2387981732","https://openalex.org/W2153559306","https://openalex.org/W2121507724","https://openalex.org/W2155415431","https://openalex.org/W2157615579"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}