Mathieu Acher published a new Blog Post: On the Longest Chess Game Ever(!?)
Software Engineering Research for DevOps
> Word cloud generated from abstract articles available on hal
Research Topics
Modeling and Languages Engineering
Separation of concerns in the development of complex software-intensive systems leads to the use of various domain-specific modeling languages (DSMLs). SLE addresses the whole life cycle for designing, implementing and relating DSMLs to support heterogeneous modeling and analysis.
Advanced testing
Leveraging advanced research in automatic test generation, we aim at pushing automation in DevOps one step further through innovative methods of test amplification and diversification.
DevOps for distributed and heterogeneous system
Flexible yet dependable systems have to cope with heterogeneous hardware execution platforms ranging from smart sensors to huge computation infrastructures and data centers. We need to devise formalisms to reason about the impact of an evolution and about the transition from one configuration to another.
Variability Engineering
The systematic modeling of variability in software systems has emerged as an effective approach to document and reason about software evolutions and heterogeneity. Variability modeling characterizes an “envelope” of possible software variations.