Generating range fixes for software configuration
To prevent ill-formed configurations, highly configurable software often allows defining
constraints over the available options. As these constraints can be complex, fixing a …
constraints over the available options. As these constraints can be complex, fixing a …
Generating repairs for inconsistent models
There are many repair alternatives for resolving model inconsistencies, each involving one
or more model changes. Enumerating them all could overwhelm the developer because the …
or more model changes. Enumerating them all could overwhelm the developer because the …
Computing repair trees for resolving inconsistencies in design models
A Reder, A Egyed - Proceedings of the 27th IEEE/ACM International …, 2012 - dl.acm.org
Resolving inconsistencies in software models is a complex task because the number of
repairs grows exponentially. Existing approaches thus emphasize on selected repairs only …
repairs grows exponentially. Existing approaches thus emphasize on selected repairs only …
Range fixes: Interactive error resolution for software configuration
To prevent ill-formed configurations, highly configurable software often allows defining
constraints over the available options. As these constraints can be complex, fixing a …
constraints over the available options. As these constraints can be complex, fixing a …
Towards XML version control of office documents
S Rönnau, J Scheffczyk, UM Borghoff - … of the 2005 ACM symposium on …, 2005 - dl.acm.org
Office applications such as OpenOffice and Microsoft Office are widely used to edit the
majority of today's business documents: office documents. Usually, version control systems …
majority of today's business documents: office documents. Usually, version control systems …
Comparison of particle swarm optimization and genetic algorithm for HMM training
F Yang, C Zhang, T Sun - 2008 19th International Conference …, 2008 - ieeexplore.ieee.org
Hidden Markov model (HMM) is the dominant technology in speech recognition. The
problem of optimizing model parameters is of great interest to the researchers in this area …
problem of optimizing model parameters is of great interest to the researchers in this area …
Ranking guidance actions to support engineers in fulfilling process constraints
In safety‐critical systems engineering, regulations such as Automotive SPICE, ISO26262, or
ED‐109A mandate software quality assurance measures to provide evidence that the …
ED‐109A mandate software quality assurance measures to provide evidence that the …
Pragmatic consistency management in industrial requirements specifications
J Scheffczyk, UM Borghoff, A Birk… - … and Formal Methods …, 2005 - ieeexplore.ieee.org
Industrial requirements specifications suffer from consistency problems, particularly in multi-
angular or temporal relationships between different specification results. Current …
angular or temporal relationships between different specification results. Current …
A semi-automatic methodology for repairing faultyweb sites
The development and maintenance of Web sites are difficult tasks. To maintain the
consistency of ever-larger, complex Web sites, Web administrators need effective …
consistency of ever-larger, complex Web sites, Web administrators need effective …
Supporting Engineering Process Compliance via Generation of Detailed Guidance Actions
In regulation-intensive domains, software engineering organizations need to demonstrate
compliance with process and traceability guidelines. To this end, novel approaches have …
compliance with process and traceability guidelines. To this end, novel approaches have …