共 50 条
- [1] DSLs, Formal Methods, and Feature Models SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A, 2020, : XXI - XXI
- [2] Formal approach to integrating feature and architecture models FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 4961 : 31 - +
- [3] Generating AMS Behavioral Models with Formal Guarantees on Feature Accuracy 2017 30TH INTERNATIONAL CONFERENCE ON VLSI DESIGN AND 2017 16TH INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS (VLSID 2017), 2017, : 233 - 238
- [4] FORMAL ANALOGIES BETWEEN ELEMENTARY INCOME DETERMINATION AND CREDIT CREATION MODELS OXFORD ECONOMIC PAPERS-NEW SERIES, 1970, 22 (02): : 220 - 228
- [5] A formal AIN service creation, feature interactions analysis and management environment: An industrial application FEATURE INTERACTIONS IN TELECOMMUNICATION NETWORKS IV, 1997, : 342 - 346
- [6] A feature-based classification of formal verification techniques for software models Software & Systems Modeling, 2019, 18 : 473 - 498
- [7] The Semantics of Cardinality-Based Feature Models via Formal Languages FM 2015: FORMAL METHODS, 2015, 9109 : 453 - 469
- [9] A feature-based classification of formal verification techniques for software models SOFTWARE AND SYSTEMS MODELING, 2019, 18 (01): : 473 - 498
- [10] Towards a formal approach to generative design: An assistant system for the creation of artefact models ADVANCES IN BRAIN, VISION, AND ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4729 : 468 - +