{"id":"https://openalex.org/W2187833827","doi":"https://doi.org/10.1109/memcod.2015.7340483","title":"Keynote Talk III: A formal methods perspective on product line engineering","display_name":"Keynote Talk III: A formal methods perspective on product line engineering","publication_year":2015,"publication_date":"2015-09-01","ids":{"openalex":"https://openalex.org/W2187833827","doi":"https://doi.org/10.1109/memcod.2015.7340483","mag":"2187833827"},"language":"en","primary_location":{"id":"doi:10.1109/memcod.2015.7340483","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2015.7340483","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)","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/A5108918729","display_name":"Paul Clements","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Paul Clements","raw_affiliation_strings":["BigLever Software, Austin, TX"],"affiliations":[{"raw_affiliation_string":"BigLever Software, Austin, TX","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5108918729"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06182622,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"168","last_page":"168"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9947999715805054,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9947999715805054,"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"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9811000227928162,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9695000052452087,"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.6520190238952637},{"id":"https://openalex.org/keywords/product-engineering","display_name":"Product engineering","score":0.5700111389160156},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.5486873984336853},{"id":"https://openalex.org/keywords/software-product-line","display_name":"Software product line","score":0.5326969623565674},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5273771286010742},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.5264840126037598},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5256470441818237},{"id":"https://openalex.org/keywords/portfolio","display_name":"Portfolio","score":0.505744457244873},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.47772762179374695},{"id":"https://openalex.org/keywords/productivity","display_name":"Productivity","score":0.4573246240615845},{"id":"https://openalex.org/keywords/perspective","display_name":"Perspective (graphical)","score":0.45537978410720825},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.43215981125831604},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.4240933358669281},{"id":"https://openalex.org/keywords/new-product-development","display_name":"New product development","score":0.41102683544158936},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.40817907452583313},{"id":"https://openalex.org/keywords/product-design","display_name":"Product design","score":0.33170318603515625},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.32729023694992065},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.22053533792495728},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18974119424819946},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11234092712402344},{"id":"https://openalex.org/keywords/marketing","display_name":"Marketing","score":0.09646359086036682},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.08912268280982971}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6520190238952637},{"id":"https://openalex.org/C121615247","wikidata":"https://www.wikidata.org/wiki/Q7247761","display_name":"Product engineering","level":4,"score":0.5700111389160156},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.5486873984336853},{"id":"https://openalex.org/C2778177629","wikidata":"https://www.wikidata.org/wiki/Q2111823","display_name":"Software product line","level":4,"score":0.5326969623565674},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5273771286010742},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5264840126037598},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5256470441818237},{"id":"https://openalex.org/C2780821815","wikidata":"https://www.wikidata.org/wiki/Q5340806","display_name":"Portfolio","level":2,"score":0.505744457244873},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.47772762179374695},{"id":"https://openalex.org/C204983608","wikidata":"https://www.wikidata.org/wiki/Q2111958","display_name":"Productivity","level":2,"score":0.4573246240615845},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.45537978410720825},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.43215981125831604},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.4240933358669281},{"id":"https://openalex.org/C19351080","wikidata":"https://www.wikidata.org/wiki/Q1395034","display_name":"New product development","level":2,"score":0.41102683544158936},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.40817907452583313},{"id":"https://openalex.org/C120823896","wikidata":"https://www.wikidata.org/wiki/Q1043226","display_name":"Product design","level":3,"score":0.33170318603515625},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.32729023694992065},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.22053533792495728},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18974119424819946},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11234092712402344},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.09646359086036682},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.08912268280982971},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C139719470","wikidata":"https://www.wikidata.org/wiki/Q39680","display_name":"Macroeconomics","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","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/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/memcod.2015.7340483","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2015.7340483","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.4699999988079071,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1191065893","https://openalex.org/W2198164489","https://openalex.org/W2344882486","https://openalex.org/W2983228683","https://openalex.org/W2524609436","https://openalex.org/W3160453869","https://openalex.org/W2236711079","https://openalex.org/W2111740100","https://openalex.org/W1968930765","https://openalex.org/W2072996905"],"abstract_inverted_index":{"Summary":[0],"form":[1],"only":[2,87],"given.":[3],"A":[4],"product":[5,28,124],"line":[6],"is":[7,23,115],"a":[8,31,37,109],"family":[9,57],"of":[10,34,40,46,51,95,119,154,167],"similar":[11],"products":[12],"with":[13],"variations":[14],"in":[15,73,81,123],"features":[16],"and":[17,42,60,98,103,132,140,162,170],"functions.":[18],"Product":[19],"Line":[20],"Engineering":[21],"(PLE)":[22],"an":[24,43],"engineering":[25,35,112,128],"discipline":[26],"for":[27],"lines":[29],"using":[30],"shared":[32,54],"set":[33,39],"assets,":[36],"managed":[38],"features,":[41],"efficient":[44],"means":[45],"production.":[47],"It":[48,114],"takes":[49],"advantage":[50],"the":[52,56,63,66,77,88,120,152,165],"commonality":[53],"across":[55],"while":[58],"efficiently":[59],"systematically":[61],"managing":[62],"variation":[64],"among":[65],"products.":[67],"PLE":[68,105,136,174],"can":[69],"trace":[70],"its":[71,79,177],"roots":[72,80],"software":[74],"back":[75,84],"to":[76,106,126,142,144,175],"1970s;":[78],"manufacturing":[82],"go":[83],"centuries.":[85],"But":[86],"relatively":[89],"recent":[90],"(2000s":[91],"or":[92],"so)":[93],"advent":[94],"industrial-strength":[96],"automation":[97],"methodology":[99],"has":[100,137],"enabled":[101],"Systems":[102],"Software":[104],"emerge":[107],"as":[108],"reliably":[110],"repeatable":[111],"paradigm.":[113],"worth":[116],"studying":[117],"because":[118],"phenomenal":[121],"improvements":[122],"time":[125],"market,":[127],"productivity,":[129],"portfolio":[130],"scalability,":[131],"system":[133],"quality":[134],"that":[135,146],"shown,":[138],"over":[139],"over,":[141],"bring":[143],"organizations":[145],"apply":[147],"it.":[148],"This":[149],"talk":[150],"explains":[151],"fundamentals":[153],"modern":[155],"PLE,":[156],"shares":[157],"some":[158],"brief":[159],"case":[160],"studies,":[161],"discusses":[163],"how":[164],"underpinnings":[166],"formal":[168],"methods":[169],"notations":[171],"are":[172],"enabling":[173],"achieve":[176],"remarkable":[178],"results.":[179]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}