摘要: The HATS project aims at developing a model-centric methodology for the design, implementation and verification of highly configurable systems, such as software product lines, centred around the Abstract Behavioural Specification ... 展开
作者 | Dave Clarke Radii Muschevici Jose Proenga Ina Schaefer Rudolf Schlatte | ||
---|---|---|---|
作者单位 | |||
文集名称 | Formal methods for components and objects | ||
出版年 | 2011 | ||
会议名称 | International symposium on formal methods for components and objects;FMCO 2010 | ||
组织单位 | Institute for Software Technology Leiden Institute of Advanced Computer Science | ||
页码 | p.204-224 | 开始页/总页数 | 00000204 / 21 |
会议日期/会议地点 | 20101129-1201;20101129-1201 / Graz(AT);Graz(AT) | 会议年/会议届次 | 2010 / 9th;9th |
中图分类号 | TP3 | ||
馆藏号 | P1102792 |