Works matching DE "SOFTWARE product line engineering"

Results: 270

Applying supervisory control synthesis to priced featured automata and energy problems.

Published in:

International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 6, p. 679, doi. 10.1007/s10009-019-00533-3

By:

Basile, Davide

Publication type:

Article

CTL⋆ family-based model checking using variability abstractions and modal transition systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 1, p. 35, doi. 10.1007/s10009-019-00528-0

By:

Dimovski, Aleksandar S.

Publication type:

Article

Efficient family-based model checking via variability abstractions.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 5, p. 585, doi. 10.1007/s10009-016-0425-2

By:

Dimovski, Aleksandar;
Al-Sibahi, Ahmad;
Brabrand, Claus;
Wąsowski, Andrzej

Publication type:

Article

Systematic synthesis of delta modeling languages.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 5, p. 601, doi. 10.1007/s10009-015-0387-9

By:

Haber, Arne;
Hölldobler, Katrin;
Kolassa, Carsten;
Look, Markus;
Müller, Klaus;
Rumpe, Bernhard;
Schaefer, Ina;
Schulze, Christoph

Publication type:

Article

Mapping the design-space of textual variability modeling languages: a refined analysis.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 5, p. 559, doi. 10.1007/s10009-014-0362-x

By:

Eichelberger, Holger;
Schmid, Klaus

Publication type:

Article

Special section on the 17th International Software Product Line Conference.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 5, p. 555, doi. 10.1007/s10009-015-0386-x

By:

Gnesi, Stefania;
Jarzabek, Stan

Publication type:

Article

Generating counterexamples of model-based software product lines.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 5, p. 585, doi. 10.1007/s10009-014-0341-2

By:

Filho, João;
Barais, Olivier;
Acher, Mathieu;
Le Noir, Jérôme;
Legay, Axel;
Baudry, Benoit

Publication type:

Article

Testing abstract behavioral specifications.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 107, doi. 10.1007/s10009-014-0301-x

By:

Wong, Peter;
Bubel, Richard;
Boer, Frank;
Gómez-Zamalloa, Miguel;
Gouw, Stijn;
Hähnle, Reiner;
Meinke, Karl;
Sindhu, Muddassar

Publication type:

Article

The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 5, p. 567, doi. 10.1007/s10009-012-0250-1

By:

Wong, Peter;
Albert, Elvira;
Muschevici, Radu;
Proença, José;
Schäfer, Jan;
Schlatte, Rudolf

Publication type:

Article

Visualization of variability and configuration options.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 5, p. 497, doi. 10.1007/s10009-012-0252-z

By:

Pleuss, Andreas;
Botterweck, Goetz

Publication type:

Article

Facilitating the evolution of products in product line engineering by capturing and replaying configuration decisions.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 5, p. 613, doi. 10.1007/s10009-012-0229-y

By:

Heider, Wolfgang;
Rabiser, Rick;
Grünbacher, Paul

Publication type:

Article

Model checking software product lines with SNIP.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 5, p. 589, doi. 10.1007/s10009-012-0234-1

By:

Classen, Andreas;
Cordy, Maxime;
Heymans, Patrick;
Legay, Axel;
Schobbens, Pierre-Yves

Publication type:

Article

A code tagging approach to software product line development.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 5, p. 553, doi. 10.1007/s10009-012-0242-1

By:

Heymans, Patrick;
Boucher, Quentin;
Classen, Andreas;
Bourdoux, Arnaud;
Demonceau, Laurent

Publication type:

Article

A constraint-based variability modeling framework.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 5, p. 511, doi. 10.1007/s10009-012-0254-x

By:

Jörges, Sven;
Lamprecht, Anna-Lena;
Margaria, Tiziana;
Schaefer, Ina;
Steffen, Bernhard

Publication type:

Article

A predictive multiphase model of silica aerogels for building envelope insulations.

Published in:

Computational Mechanics, 2022, v. 69, n. 6, p. 1457, doi. 10.1007/s00466-022-02150-5

By:

Tan, Jingye;
Maleki, Pedram;
An, Lu;
Di Luigi, Massimigliano;
Villa, Umberto;
Zhou, Chi;
Ren, Shenqiang;
Faghihi, Danial

Publication type:

Article

Control of technological parameters in the process of ribbed panel forging: use of measuring equipment and mathematical modeling methods.

Published in:

Measurement Techniques, 2024, v. 66, n. 10, p. 776, doi. 10.1007/s11018-024-02291-4

By:

Zharov, M. V.;
Preobrazhenskii, E. V.

Publication type:

Article

Impact of airborne total suspended particles (TSP) and fine particulate matter (PM<sub>2.5</sub>)-induced developmental toxicity in zebrafish (Danio rerio) embryos.

Published in:

Journal of Applied Toxicology, 2022, v. 42, n. 10, p. 1585, doi. 10.1002/jat.4325

By:

Zhi-li Jia;
Cheng-yue Zhu;
Rajendran, R. Samuel;
Qing Xia;
Ke-chun Liu;
Yun Zhang

Publication type:

Article

Proxima: Process Mining for Extracting Configurable Process Models Using Software Product Line Concepts.

Published in:

Journal of Computing & Security, 2022, v. 9, n. 1, p. 1, doi. 10.22108/jcs.2021.130065.1080

By:

Tehraninejad, Dina Khodayari;
Khoshnevis, Sedigheh

Publication type:

Article

大样本量( large-n) 碎屑锆石U-Pb 年代学分析技术研究进展.

Published in:

Rock & Mineral Analysis, 2022, v. 41, n. 6, p. 920, doi. 10.15898/j.cnki.11-2131/td.202112260209

By:

陈玺贇;
吕开来;
王平;
黄湘通;
孔兴功

Publication type:

Article

User Experience Evaluation in Software Product Lines.

Published in:

Ingénierie des Systèmes d'Information, 2025, v. 30, n. 1, p. 137, doi. 10.18280/isi.300111

By:

Benlarabi, Anissa;
Khtira, Amal;
Asri, Bouchra El

Publication type:

Article

一种基于K-means 聚类的跳频信号快速检测方法.

Published in:

Telecommunication Engineering, 2022, v. 62, n. 2, p. 199, doi. 10.3969/j.issn.1001-893x.2022.02.009

By:

侯范;
姚志成;
杨剑;
李昱婷;
王自维

Publication type:

Article

Effects of channel encroachment on the software and service decisions in it supply chains.

Published in:

Journal of Industrial & Management Optimization, 2022, v. 18, n. 5, p. 3787, doi. 10.3934/jimo.2021136

By:

Ren, Tinghai;
Zeng, Nengmin;
Wang, Dafei;
Cheng, Shuwei

Publication type:

Article

Could Artificial Intelligence/Machine Learning and Inclusion of Diet-Gut Microbiome Interactions Improve Disease Risk Prediction? Case Study: Coronary Artery Disease.

Published in:

Frontiers in Microbiology, 2022, v. 13, p. 1, doi. 10.3389/fmicb.2022.627892

By:

Vilne, Baiba;
Ķibilds, Juris;
Siksna, Inese;
Lazda, Ilva;
Valciņa, Olga;
Krūmiņa, Angelika

Publication type:

Article

Component Based Software Development: An Appropriate and Methodical Approach.

Published in:

International Journal of ElectroComputational World & Knowledge Interface, 2012, v. 1, n. 5, p. 10

By:

Shareef, Jawwad Wasat

Publication type:

Article

A core calculus for dynamic delta-oriented programming.

Published in:

Acta Informatica, 2018, v. 55, n. 4, p. 269, doi. 10.1007/s00236-017-0293-6

By:

Damiani, Ferruccio;
Padovani, Luca;
Schaefer, Ina;
Seidl, Christoph

Publication type:

Article

Compositional type checking of delta-oriented software product lines.

Published in:

Acta Informatica, 2013, v. 50, n. 2, p. 77, doi. 10.1007/s00236-012-0173-z

By:

Bettini, Lorenzo;
Damiani, Ferruccio;
Schaefer, Ina

Publication type:

Article

A Context-Based Perspective on Frost Analysis in Reuse-Oriented Big Data-System Developments.

Published in:

Information (2078-2489), 2024, v. 15, n. 11, p. 661, doi. 10.3390/info15110661

By:

Buccella, Agustina;
Cechich, Alejandra;
Saurin, Federico;
Montenegro, Ayelén;
Rodríguez, Andrea;
Muñoz, Angel

Publication type:

Article

Quality Assessment Methods for Textual Conversational Interfaces: A Multivocal Literature Review.

Published in:

Information (2078-2489), 2021, v. 12, n. 11, p. 437, doi. 10.3390/info12110437

By:

Coppola, Riccardo;
Ardito, Luca

Publication type:

Article

Duplication Detection When Evolving Feature Models of Software Product Lines.

Published in:

Information (2078-2489), 2015, v. 6, n. 4, p. 592, doi. 10.3390/info6040592

By:

Khtira, Amal;
Benlarabi, Anissa;
El Asri, Bouchra

Publication type:

Article

Multi-Criteria Architecture Style Selection for Precision Farming Software Product Lines Using Fuzzy AHP.

Published in:

International Journal of Advances in Soft Computing & Its Applications, 2013, v. 5, n. 3, p. 1

By:

Mohd Z. M. Zaki;
Dayang N. A. Jawawi;
Norazian M. Hamdan;
Shahliza Abd. Halim;
Rosbi Mamat;
Fairuz S. Mahat;
Nur Athirah Omar

Publication type:

Article

Classification of digital stitch lines in machine embroidery.

Published in:

Industria Textila, 2021, v. 72, n. 5, p. 538, doi. 10.35530/IT.072.05.202017

By:

SOFRONOVA, DANIELA;
ANGELOVA, RADOSTINA A.

Publication type:

Article

Vulnerability Trends: Measuring Progress.

Published in:

IT Professional, 2010, v. 12, n. 4, p. 51, doi. 10.1109/MITP.2010.116

By:

Kuhn, Rick;
Johnson, Chris

Publication type:

Article

Los desafíos de las empresas de software frente a la globalización.

Published in:

Revista de Ingeniería, 2013, n. 38, p. 86, doi. 10.16924/revinge.38.13

By:

Cuéllar, María Cristina

Publication type:

Article

Developing Families of Software Services: A Semantic Web Approach.

Published in:

Journal of Research & Practice in Information Technology, 2011, v. 43, n. 3, p. 179

By:

Bošković, Marko;
Gašević, Dragan;
Mohabbati, Bardia;
Asadi, Mohsen;
Hatala, Marek;
Kaviani, Nima;
Rusk, Jeffrey;
Bagheri, Ebrahim

Publication type:

Article

AN OPTIMIZATION MODEL FOR REUSE SCENARIO SELECTION CONSIDERING RELIABILITY AND COST IN SOFTWARE PRODUCT LINE DEVELOPMENT.

Published in:

International Journal of Information Technology & Decision Making, 2011, v. 10, n. 5, p. 811, doi. 10.1142/S0219622011004580

By:

WU, ZHIQIAO;
TANG, JIAFU;
KWONG, C. K.;
CHAN, C. Y.

Publication type:

Article

Designing Cute Interactive Media.

Published in:

Innovation, 2008, v. 8, n. 3, p. 8

By:

Cheok, Adrian David;
Ohkura, Michiko;
Fernando, Owen Noel Newton;
Merritt, Tim

Publication type:

Article

Verifying consistency of software product line architectures with product architectures.

Published in:

Software & Systems Modeling, 2024, v. 23, n. 1, p. 195, doi. 10.1007/s10270-023-01114-4

By:

Duran-Limon, Hector A.;
Velasco-Elizondo, Perla;
Mora, Manuel;
Meda-Campana, Maria E.;
Aguilar, Karina;
Hernandez-Ochoa, Martha;
Sumuano, Leonardo Soto

Publication type:

Article

Guest editorial for EMMSAD'2021 special section.

Published in:

2023

By:

Reinhartz-Berger, Iris;
Zdravkovic, Jelena;
Gill, Asif

Publication type:

Editorial

FloWare: a model-driven approach fostering reuse and customisation in IoT applications modelling and development.

Published in:

Software & Systems Modeling, 2023, v. 22, n. 1, p. 131, doi. 10.1007/s10270-022-01026-9

By:

Corradini, Flavio;
Fedeli, Arianna;
Fornari, Fabrizio;
Polini, Andrea;
Re, Barbara

Publication type:

Article

Empirical analysis of the tool support for software product lines.

Published in:

Software & Systems Modeling, 2023, v. 22, n. 1, p. 377, doi. 10.1007/s10270-022-01011-2

By:

Horcas, José Miguel;
Pinto, Mónica;
Fuentes, Lidia

Publication type:

Article

Reflection on the differences between modeling and programming.

Published in:

Software & Systems Modeling, 2022, v. 21, n. 6, p. 2097, doi. 10.1007/s10270-022-01057-2

By:

Gray, Jeff;
Rumpe, Bernhard

Publication type:

Article

SoSyM reflections: the 2021 "state of the journal" report.

Published in:

2022

By:

Ergin, Huseyin;
Gray, Jeff;
Rumpe, Bernhard;
Schindler, Martin

Publication type:

Editorial

Analysis of variability models: a systematic literature review.

Published in:

Software & Systems Modeling, 2021, v. 20, n. 4, p. 1043, doi. 10.1007/s10270-020-00839-w

By:

Pol'la, Matias;
Buccella, Agustina;
Cechich, Alejandra

Publication type:

Article

Design methodology for mass personalisation enabled by digital manufacturing.

Published in:

Design Science, 2022, v. 8, p. 1, doi. 10.1017/dsj.2022.3

By:

Ozdemir, Mehmet;
Verlinden, Jouke;
Cascini, Gaetano

Publication type:

Article

Multi-Device Consumption of Digital Goods: Optimal Product Line Design with Bundling.

Published in:

Journal of Management Information Systems, 2023, v. 40, n. 3, p. 724, doi. 10.1080/07421222.2023.2229122

By:

Bhargava, Hemant K.

Publication type:

Article

Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking.

Published in:

IEEE Transactions on Software Engineering, 2013, v. 39, n. 8, p. 1069, doi. 10.1109/TSE.2012.86

By:

Classen, Andreas;
Cordy, Maxime;
Schobbens, Pierre-Yves;
Heymans, Patrick;
Legay, Axel;
Raskin, Jean-Francois

Publication type:

Article

Modeling Product Line Software Assets Using Domain-Specific Kits.

Published in:

IEEE Transactions on Software Engineering, 2012, v. 38, n. 6, p. 1376, doi. 10.1109/TSE.2011.109

By:

Altintas, N. Ilker;
Cetin, Semih;
Dogru, Ali H.;
Oguztuzun, Halit

Publication type:

Article

Distributed Representation for Assembly Code.

Published in:

Computers (2073-431X), 2023, v. 12, n. 11, p. 222, doi. 10.3390/computers12110222

By:

Yoshida, Kazuki;
Suzuki, Kaiyu;
Matsuzawa, Tomofumi

Publication type:

Article

A multi-objective test data generation approach for mutation testing of feature models.

Published in:

Journal of Software Engineering Research & Development, 2016, v. 4, n. 1, p. 1, doi. 10.1186/s40411-016-0030-9

By:

Matnei Filho, Rui;
Vergilio, Silvia

Publication type:

Article

Ontological approach to derive product configurations from a Software Product Line Reference Architecture.

Published in:

Revista de Ciencia y Tecnología, 2016, v. 16, p. 91

By:

Losavio, Francisca;
Ordaz, Oscar Ramón;
Jean, Stephane

Publication type:

Article