Type: Article
Refereed Journal Papers and Articles
2024
[136] , and : Using Music Features for Managing Revisions and Variants of Musical Scores, in Computer Music Journal, MIT Press, volume 46, .
2023
[135] , and : A Fuzzy AHP-based approach for prioritization of cost overhead factors in agile software development, in Applied Soft Computing, volume 133, . [doi]
[134] , , , and : A flexible operation-based infrastructure for collaborative model-driven engineering, in Journal of Object Technology, volume 22, . [doi]
[133] , , , and : Assessing industrial end-user programming of robotic production cells: A controlled experiment, in Journal of Systems and Software, volume 195, . [doi]
[132] , , , , , and : Composite refactoring: Representations, characteristics and effects on software projects, in Information and Software Technology, volume 156, . [doi]
[131] , , and : How do microservices evolve? An empirical analysis of changes in open-source microservice repositories, in Journal of Systems and Software, volume 204, . [doi]
[130] , , and : Model-driven engineering of safety and security software systems: A systematic mapping study and future research directions, in Journal of Software: Evolution and Process, volume 35, . [doi]
[129] , , , , , and : ProCon: An automated process-centric quality constraints checking framework, in Journal of Systems and Software, volume 202, . [doi]
[128] , and : Safety and security of cyber-physical systems, in Journal of Software: Evolution and Process, volume 35, . [doi]
[127] , , , , , and : Spectrum-based feature localization for families of systems, in Journal of Systems and Software, volume 195, . [doi]
2022
[126] , , , , , and : Analysis of a many-objective optimization approach for identifying microservices from legacy systems, in Empirical Software Engineering, Springer Science and Business Media LLC, volume 27, . [doi]
[125] , , and : Artificial Intelligence and Software Engineering: Are We Ready?, in Computer, volume 55, . [pdf] [doi]
[124] , , and : Cost-effective learning-based strategies for test case prioritization in continuous integration of highly-configurable software, in Empirical Software Engineering, Springer Science and Business Media LLC, volume 27, . [doi]
[123] , , , and : Developers’ perception matters: machine learning to detect developer-sensitive smells, in Empirical Software Engineering, Springer Science and Business Media LLC, volume 27, . [doi]
[122] , , , , , , and : Evolving software system families in space and time with feature revisions, in Empirical Software Engineering, volume 27, . [doi]
[121] , , and : Feature-oriented clone and pull operations for distributed development and evolution, in Software Quality Journal, Springer Science and Business Media LLC, volume 30, . [doi]
[120] , , and : Generating repairs for inconsistent models, in Software and Systems Modeling, Springer, . [pdf] [doi]
[119] , , and : Instant and global consistency checking during collaborative engineering, in Software and Systems Modeling, Springer, volume 21, . [doi]
[118] , , and : Intensifying the search-based optimization of product line architectures with crossover operators, in Empirical Software Engineering, Springer Science and Business Media LLC, volume 27, . [doi]
[117] , , and : Open-source software product line extraction processes: the ArgoUML-SPL and Phaser cases, in Empir. Softw. Eng., volume 27, . [doi]
[116] , , , , , and : Propagating frugal user feedback through closeness of code dependencies to improve IR-based traceability recovery, in Empir. Softw. Eng., volume 27, . [pdf] [doi]
[115] , , , and : Software product line scoping: A systematic literature review, in Journal of Systems and Software, volume 186, . [doi]
2021
[114] , , and : A Literature Review of Using Machine Learning in Software Development Life Cycle Stages, in IEEE Access, volume 9, . [pdf] [doi]
[113] , , and : Concepts of Variation Control Systems, in Journal of Systems and Software, volume 171, . [doi]
[112] , , and : Consistent change propagation within models, in Softw. Syst. Model., volume 20, . [pdf] [doi]
[111] , , and : Ensuring safe and consistent coengineering of cyber-physical production systems: A case study, in J. Softw. Evol. Process., volume 33, . [pdf] [doi]
[110] , , , , and : Evolution in Dynamic Software Product Lines, in Journal of Software: Evolution and Process, John Wiley & Sons, volume 33, . [doi]
[109] , , and : Genetic programming for feature model synthesis: a replication study, in Empir. Softw. Eng., volume 26, . [pdf] [doi]
[108] , , , and : Guiding Feature Model Evolution by Lifting Code-Level Dependencies, in Journal of Computer Languages, . [doi]
[107] , , and : TaskAllocator: A Recommendation Approach for Role-based Tasks Allocation in Agile Software Development, in CoRR, volume abs/2103.02330, . [pdf]
[106] , and : Team-oriented Consistency Checking of Heterogeneous Engineering Artifacts, in CoRR, volume abs/2103.14860, . [pdf]
[105] , and : Transforming abstract to concrete repairs with a generative approach of repair values, in J. Syst. Softw., volume 175, . [pdf] [doi]
[104] , and : Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification, in CoRR, volume abs/2102.06037, . [pdf]
2020
[103] , , , and : Automated test reuse for highly configurable software, in Empir. Softw. Eng., volume 25, . [pdf] [doi]
[102] and : Breaking the Deep Freeze: Visualizing Change in Agile, Safety-Critical Systems, in IEEE Software, . [pdf] [doi]
[101] , , and : Consistent change propagation within models, in Software and Systems Modeling, Springer, . [pdf]
[100] , and : Design and validation of a C++ code generator from Abstract State Machines specifications, in J. Softw. Evol. Process., volume 32, . [pdf] [doi]
[99] , , and : Evaluating an Interactive Memory Analysis Tool: Findings from a Cognitive Walkthrough and a User Study, in Proceedings of the ACM on Human-Computer Interaction, volume 4, . [doi]
[98] , , , and : Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks, in J. Softw. Evol. Process., volume 32, . [pdf] [doi]
[97] , and : Intelligent Autonomous Systems, in Computer, volume 53, . [pdf] [doi]
[96] , , and : Machine Learning for Software Engineering: A Systematic Mapping, in CoRR, volume abs/2005.13299, . [pdf]
[95] , and : Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study, in CoRR, volume abs/2004.08471, . [pdf]
[94] , , and : Security- and safety-critical cyber-physical systems, in J. Softw. Evol. Process., volume 32, . [pdf] [doi]
[93] , , and : Semantic Clone Detection via Probabilistic Software Modeling, in CoRR, volume abs/2008.04891, . [pdf]
[92] , , , and : Supporting Feature-Oriented Evolution in Industrial Automation Product Lines, in Concurrent Engineering: Research and Applications, volume 28, . [doi]
[91] , , and : Towards Fault Localization via Probabilistic Software Modeling, in CoRR, volume abs/2001.07409, . [pdf]
[90] , and : Towards Semantic Clone Detection via Probabilistic Software Modeling, in CoRR, volume abs/2001.07399, . [pdf]
2019
[89] , , , , and : A Domain Analysis of Resource and Requirements Monitoring: Towards a Comprehensive Model of the Software Monitoring Domain, in Information and Software Technology, volume 111, . [doi]
[88] , , and : Change Impact Analysis for Maintenance and Evolution of Variable Software Systems, in Automated Software Engineering, Springer US, volume 26, . [doi]
[87] : Human/machine/roboter: technologies for cognitive processes, in Elektrotech. Informationstechnik, volume 136, . [doi]
[86] , , and : Probabilistic Software Modeling: A Data-driven Paradigm for Software Analysis, in CoRR, volume abs/1912.07936, . [pdf]
2018
[85] , and : A systematic literature review of the use of formal methods in medical software systems, in Journal of Software: Evolution and Process, volume 30, . [pdf] [doi]
[84] , and : A systematic mapping study of information visualization for software product line engineering, in Journal of Software: Evolution and Process, volume 30, . [pdf] [doi]
[83] , , , and : An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study, in Comput. Lang. Syst. Struct., volume 54, . [pdf] [doi]
[82] , , , and : Developing and evolving a DSL-based approach for runtime monitoring of systems of systems, in Automated Software Engineering, volume 25, . [pdf] [doi]
[81] , , and : Do code data sharing dependencies support an early prediction of software actual change impact set?, in Journal of Software: Evolution and Process, volume 30, . [pdf] [doi]
[80] , and : Evaluating the suitability of state-based formal methods for industrial deployment, in Software Practice and Experience, volume 48, . [pdf] [doi]
[79] : Evolving software trace links between requirements and source code, in Empirical Software Engineering, volume 23, . [doi]
[78] , and : Feature Maps: A Comprehensible Software Representation for Design Pattern Detection, in CoRR, volume abs/1812.09873, . [pdf]
[77] , , , and : Integrating formal methods into medical software development: The ASM approach, in Sci. Comput. Program., volume 158, . [pdf] [doi]
[76] and : Introduction to the special issue on the 18th international conference on model driven engineering languages and systems (MODELS'15), in Software and System Modeling, volume 17, . [pdf] [doi]
[75] , , and : Maintaining Consistency across Engineering Artifacts, in IEEE Computer, volume 51, . [pdf] [doi]
[74] , , , , , , and : Multi-Purpose, Multi-Level Feature Modeling of Large-Scale Industrial Software Systems, in Software and Systems Modeling, volume 17, . [doi]
[73] , , and : Predicting User Demographics from Music Listening Information, in Multimedia Tools and Applications, . [doi]
2017
[72] , , , and : A Comparison Framework for Runtime Monitoring Approaches, in Journal of Systems and Software, volume 125, . [doi]
[71] , , , and : CASE Tool Support for Variability Management in Software Product Lines, in ACM Computing Surveys, volume 50, . [doi]
[70] , and : Exploiting traceability uncertainty between software architectural models and extra-functional results, in Journal of Systems and Software, volume 125, . [pdf] [doi]
[69] , , and : Exploring Code Clones in Programmable Logic Controller Software, in CoRR, volume abs/1706.03934, . [pdf]
[68] , , , and : Multi-objective Reverse Engineering of Variability-safe Feature Models based on Code Dependencies of System Variants, in Empirical Software Engineering, . [pdf] [doi]
[67] , , , and : Reengineering legacy applications into software product lines: a systematic mapping, in Empirical Software Engineering, volume 22, . [pdf] [doi]
[66] , and : Teaching Software Product Lines: A Snapshot of Current Practices and Challenges, in ACM Transactions on Computing Education, ACM, volume 18, . [doi]
[65] , , , and : The Practical Use of Inconsistency Information in Engineering Design Tasks, in Journal of Product Lifecycle Management (IJPLM, . [pdf]
[64] , and : Variability Extraction and Modeling for Product Variants, in Software & Systems Modeling, . [pdf] [doi]
2016
[63] , , and : Co-evolution of Metamodels and Models through Consistent Change Propagation, in Journal of Systems and Software, volume 111, . [pdf] [doi]
[62] , , and : Consistent Merging of Model Versions, in Journal of Systems and Software, volume 112, . [pdf] [doi]
[61] , and : Monitoring Requirements in Systems of Systems, in IEEE Software, volume 33, . [doi]
[60] , , , , and : Multi-objective Test Case Prioritization in Highly Configurable Systems: A Case Study, in Journal of Systems and Software, volume 122, . [pdf] [doi]
[59] , , , , and : REMINDS: A Flexible Runtime Monitoring Framework for Systems of Systems, in Journal of Systems and Software, volume 112, . [doi]
[58] , and : Requirements Monitoring Frameworks: A Systematic Review, in Information and Software Technology, volume 80, . [doi]
2015
[57] , and : A Systematic Mapping Study of Search-Based Software Engineering for Software Product Lines, in Information & Software Technology, volume 61, . [pdf] [doi]
[56] , , , , , and : An Assessment of Search-Based Techniques for Reverse Engineering Feature Models, in Journal of Systems and Software, volume 103, . [pdf] [doi]
[55] , , , and : Applying Multiobjective Evolutionary Algorithms to Dynamic Software Product Lines for Reconfiguring Mobile Applications, in Journal of Systems and Software, volume 103, . [pdf] [doi]
[54] , , , , , and : Can Method Data Dependencies support the Assessment of Traceability between Requirements and Source Code?, in Journal of Software: Evolution and Process, volume 27, . [pdf] [doi]
[53] , and : Constraint-Driven Modeling through Transformation, in Software and System Modeling, volume 14, . [pdf] [doi]
[52] and : Do Developers Benefit from Requirements Traceability when Evolving and Maintaining a Software System?, in Empirical Software Engineering, volume 20, . [pdf] [doi]
[51] and : Exploiting Traceability Uncertainty among Artifacts and Code, in Journal of Systems and Software, volume 108, . [pdf] [doi]
[50] , , , , and : Supporting Distributed Product Configuration by Integrating Heterogeneous Variability Modeling Approaches, in Information and Software Technology, volume 62, . [doi]
[49] , , , , , and : Variability and consistency in mechatronic design, in Concurrent Engineering: Research and Applications, volume 23, . [doi]
[48] , , , , , and : Variability and consistency in mechatronic design, in Concurrent Engineering: R&A, volume 23, . [pdf] [doi]
2014
[47] , , , , and : A Hitchhiker's Guide to Search-Based Software Engineering for Software Product Lines., in CoRR, volume abs/1406.2823, .
[46] , , , and : Consistency Checking in Early Software Product Line Specifications - The VCC Approach, in Journal of Universal Computer Science (JUCS), volume 20, . [pdf]
[45] , , , and : Systematic Knowledge Engineering: Building Bodies of Knowledge from Published Research, in International Journal of Software Engineering and Knowledge Engineering (IJSEKE), volume 24, . [doi]
[44] , , , , and : Towards a Benchmark and a Comparison Framework for Combinatorial Interaction Testing of Software Product Lines., in CoRR, volume abs/1401.5367, .
2013
[43] and : C2O configurator: a tool for guided decision-making., in Journal of Automated Software Engineering (JASE), volume 20, . [pdf] [doi]
[42] and : Determining the Cause of a Design Model Inconsistency., in IEEE Transactions on Software Engineering, volume 39, . [pdf]
[41] , and : Improving CASA Runtime Performance by Exploiting Basic Feature Model Analysis., in CoRR, volume abs/1311.7313, .
2012
[40] , and : A Systematic Review and an Expert Survey on Capabilities Supporting Multi Product Lines, in Information and Software Technology, volume 54, . [doi]
[39] , and : Bessere Anforderungen durch mobile Anforderungserhebung, in OBJEKTspektrum, .
[38] , and : Facilitating the Evolution of Products in Product Line Engineering by Capturing and Replaying Configuration Decisions, in International Journal on Software Tools for Technology Transfer, . [doi]
2011
[37] : Automatically Detecting and Tracking Inconsistencies in Software Design Models., in IEEE Transactions on Software Engineering, volume 37, . [pdf]
[36] , and : Modifiers for Quality Assurance in Group Facilitation, in Group Decision and Negotiation, Springer Netherlands, volume 20, . [doi]
[35] , and : The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study, in Automated Software Engineering, volume 18, . [doi]
2010
[34] , and : Requirements for product derivation support: Results from a systematic literature review and an expert survey, in Information & Software Technology, volume 52, . [doi]
[33] , , , and : Simulating evolution in model-based product line engineering, in Information & Software Technology, volume 52, . [doi]
[32] , , and : Structuring the modeling space and supporting evolution in software product line engineering, in Journal of Systems and Software, volume 83, . [doi]
2009
[31] , and : An Efficient and Scalable Approach to Correct Class Model Refinement., in IEEE Transactions on Software Engineeering, volume 35, . [pdf]
[30] , , , , and : Exploring how to use scenarios to discover requirements, in Requirements Engineering, volume 14, . [doi]
[29] and : Guest editors' introduction., in Journal of Automated Software Engineering, volume 16, . [pdf] [doi]
2008
[28] , and : Agile product line planning: A collaborative approach and a case study, in Journal of Systems and Software, volume 81, . [doi]
2007
[27] , , , , , , and : AWDRAT: A Cognitive Middleware System for Information Survivability., in AI Magazine, volume 28, . [pdf]
[26] , , , , , , , , , , and : Configuration, in IEEE Intelligent Systems, IEEE Computer Society, volume 22, . [doi]
[25] , , and : Determining Stakeholder Needs in the Workplace: How Mobile Technologies Can Help, in IEEE Software, volume 24, . [doi]
[24] , , , , and : Making every student a winner: The WinWin approach in software engineering education, in Journal of Systems and Software, volume 80, . [doi]
2006
[23] , and : A family of experiments to investigate the effects of groupware for software inspection, in Automated Software Engineering, volume 13, . [doi]
[22] and : Integrating COTS Software into Systems through Instrumentation and Reasoning., in Journal of Automated Software Engineering, volume 13, . [pdf] [doi]
[21] and : Support for Managing Design-Time Decisions., in IEEE Transactions on Software Engineering, volume 32, . [pdf]
[20] , and : Take Your Mobile Device Out from behind the Requirements Desk, in IEEE Software, volume 23, . [doi]
2005
[19] , and : Guest Editors' Introduction: Integrating COTS into the Development Process., in IEEE Software, volume 22, . [pdf]
[18] and : Scenarios and state machines: models, algorithms, and tools: a summary of the 4th workshop, in ACM SIGSOFT Software Engineering Notes, volume 30, . [pdf] [doi]
[17] , and : Separating architectural concerns to ease program understanding., in ACM SIGSOFT Software Engineering Notes, volume 30, . [pdf] [doi]
[16] and : Supporting Software Understanding with Automated Requirements Traceability, in Int'l Journal of Software Engineering and Knowledge Engineering, volume 15, . [pdf] [doi]
2004
[15] and : Identifying Requirements Conflicts and Cooperation: How Quality Attributes and Automated Traceability Can Help, in IEEE Software, volume 21, . [pdf] [doi]
[14] , , and : Integrating Collaborative Processes and Quality Assurance Techniques: Experiences from Requirements Negotiation, in Journal of Management Information Systems, M.E. Sharpe, Inc., volume 20, .
[13] , and : Reconciling software requirements and architectures with intermediate models, in Journal Software and System Modeling, volume 3, . [pdf] [doi]
2003
[12] : A Scenario-Driven Approach to Trace Dependency Analysis., in IEEE Transactions on Software Engineering, volume 29, . [pdf]
[11] , and : An economic approach for improving requirements negotiation models with inspection, in Requirements Engineering, volume 8, . [doi]
[10] , , and : Bridging models across the software lifecycle, in Journal of Systems and Software, volume 68, . [pdf] [doi]
2002
[9] : Automated abstraction of class diagrams., in ACM Transactions on Software Engineering and Methodologies, volume 11, . [pdf] [doi]
2001
[8] , and : Developing Groupware for Requirements Negotiation: Lessons Learned, in IEEE Software, volume 18, . [doi]
[7] and : System dynamics modelling and simulation of collaborative requirements engineering, in Journal of Systems and Software, volume 59, . [doi]
2000
[6] , and : Component-based perspective on software mismatch detection and resolution., in Journal IEE Proceedings - Software, volume 147, . [pdf]
[5] : UML/Analyzer - a system for defining and analyzing the conceptual integrity of UML models., in ACM SIGSOFT Software Engineering Notes, volume 25, . [pdf] [doi]
1998
[4] , , , , and : A Stakeholder Win-Win Approach to Software Engineering Education., in Journal Annals of Software Engineering, volume 6, . [pdf] [doi]
[3] , , , , and : Using the WinWin Spiral Model: A Case Study., in IEEE Computer, volume 31, . [pdf]
1996
[2] : Coordination and Communication Support in System Development Environments, in Cybernetics and Systems: An Int'l Journal, volume 27, .
1993
[1] , , and : Object-Oriented Implementation Aspects of an Abstract Relational Database Interface, in Structured Programming, volume 14, .
Powered by bibtexbrowser