Zobrazeno 1 - 10
of 187
pro vyhledávání: '"Don Batory"'
Autor:
Najd Altoyan, Don Batory
Publikováno v:
ACM Transactions on Software Engineering and Methodology. 32:1-42
Model Driven Engineering ( MDE ) is a general-purpose engineering methodology to elevate system design, maintenance, and analysis to corresponding activities on models. Models (graphical and/or textual) of a target application are automatically trans
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::416476a1493bf151a156e488620cd8dc
https://doi.org/10.1145/3549541
https://doi.org/10.1145/3549541
Real-world Software Product Lines (SPLs) need Numerical Feature Models (s) whose features have not only boolean values that satisfy boolean constraints but also have numeric attributes that satisfy arithmetic constraints. An essential operation on s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2659::3d21419e2b154df6a600fc44dc6e9cd8
https://zenodo.org/record/8168073
https://zenodo.org/record/8168073
Publikováno v:
Empirical Software Engineering. 27
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::855574419ca4e9b9f7032cbc67ef75b6
https://doi.org/10.1007/s10664-022-10141-6
https://doi.org/10.1007/s10664-022-10141-6
Publikováno v:
Empirical Software Engineering. 27
Many analyses on confgurable software systems are intractable when confronted with colossal and highly-constrained confguration spaces. These analyses could instead use statistical inference, where a tractable sample accurately predicts results for t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::582292b1d98c649cca749c1fa670e007
https://doi.org/10.1007/s10664-021-10102-5
https://doi.org/10.1007/s10664-021-10102-5
Publikováno v:
Reuse and Software Quality ISBN: 9783031081286
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4a5100c968d6296700bd476909def7d7
https://doi.org/10.1007/978-3-031-08129-3_4
https://doi.org/10.1007/978-3-031-08129-3_4
Publikováno v:
FOSD@GPCE
A feature interaction algebra (FIA) is an abstract model of features, feature interactions, and their compositions. A structured document algebra (SDA) defines modules with variation points and how such modules compose. We present both FIA and SDA in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5014fba525aa61ea4ed57ede2a7a7077
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/91213
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/91213
Publikováno v:
Logic, Computation and Rigorous Methods ISBN: 9783030760199
Logic, Computation and Rigorous Methods
Logic, Computation and Rigorous Methods
Stepwise design of programs is a divide-and-conquer strategy to control complexity in program modularization and theorems. It has been studied extensively in the last 30 years and has worked well, although it is not yet commonplace. This paper explor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f6af32d8402f6d109ce226b8092516b1
https://doi.org/10.1007/978-3-030-76020-5_4
https://doi.org/10.1007/978-3-030-76020-5_4
Autor:
Najd Altoyan, Don Batory
Publikováno v:
MODELSWARD
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::74fcb2116516b852a07b79f65295060b
https://doi.org/10.5220/0008942803190327
https://doi.org/10.5220/0008942803190327
Publikováno v:
SPLC (A)
Feature models were invented in 1990 and have been recognised as one of the main contributions to the software product line community. Although there have been several attempts to establish a sort of standard variability modelling language, there is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::66c03a0870239041a209dabf66f4bbf0
https://doi.org/10.1145/3336294.3342364
https://doi.org/10.1145/3336294.3342364
Autor:
Don Batory
Publikováno v:
SPLC (B)
Since the mid-2000s, Propositional Logic (PL) has been the de facto language to express constraints in Feature Models (FMs) of Software Product Line (SPLs). PL was adequate because product configurations were formed by binary decisions including or n
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::89145407518031b6c8e918e5c2887484
https://doi.org/10.1145/3307630.3342406
https://doi.org/10.1145/3307630.3342406