2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)最新文献

筛选

英文中文

Keynote Talk III: A formal methods perspective on product line engineering 主题演讲三:产品线工程的形式化方法视角

2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) Pub Date : 2015-09-01 DOI: 10.1109/MEMCOD.2015.7340483

P. Clements

{"title":"Keynote Talk III: A formal methods perspective on product line engineering","authors":"P. Clements","doi":"10.1109/MEMCOD.2015.7340483","DOIUrl":"https://doi.org/10.1109/MEMCOD.2015.7340483","url":null,"abstract":"Summary form only given. A product line is a family of similar products with variations in features and functions. Product Line Engineering (PLE) is an engineering discipline for product lines using a shared set of engineering assets, a managed set of features, and an efficient means of production. It takes advantage of the commonality shared across the family while efficiently and systematically managing the variation among the products. PLE can trace its roots in software back to the 1970s; its roots in manufacturing go back centuries. But only the relatively recent (2000s or so) advent of industrial-strength automation and methodology has enabled Systems and Software PLE to emerge as a reliably repeatable engineering paradigm. It is worth studying because of the phenomenal improvements in product time to market, engineering productivity, portfolio scalability, and system quality that PLE has shown, over and over, to bring to organizations that apply it. This talk explains the fundamentals of modern PLE, shares some brief case studies, and discusses how the underpinnings of formal methods and notations are enabling PLE to achieve its remarkable results.","PeriodicalId":106851,"journal":{"name":"2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)","volume":"34 5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125721824","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

MEMOCODE 2015 design contest: Continuous skyline computation MEMOCODE 2015设计竞赛:连续的天际线计算

2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) Pub Date : 2015-09-01 DOI: 10.1109/MEMCOD.2015.7340467

Peter Milder

引用次数: 5

Model and program repair via SAT solving 通过SAT求解模型和程序修复

2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) Pub Date : 2007-10-17 DOI: 10.1145/3147426

P. Attie, K. Bab, Mouhammad Sakr

引用次数: 18

首页上一页