Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

MANCOOSI

The consortium MANCOOSI (MANaging the COmplexity of the Open Source Infrastructure) is a project financed by the European Union that focuses on the… Expand
Wikipedia

Related topics

Related topics

2 relations
Operating systemUnix

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Towards a new package dependency model
Smalltalk originally did not have a package manager. Each Smalltalk implementation defined its own with more or less… Expand
  • table 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2011
Highly Cited
2011
Provenance views for module privacy
Scientific workflow systems increasingly store provenance information about the module executions used to produce a data item, as… Expand
  • figure 1
  • figure 2
2011
2011
Formal verification of a theory of packages
  • J. Boender
  • Electron. Commun. Eur. Assoc. Softw. Sci. Technol…
  • 2011
    • Corpus ID: 13199482
Over the years, open source distributions have become increasingly large and complex—as an example, the latest Debian… Expand
  • figure 1
Highly Cited
2011
Highly Cited
2011
Abstraction-Based Algorithm for 2QBF
Quantified Boolean Formulas (QBFs) enable standard representation of PSPACE problems. In particular, formulas with two quantifier… Expand
  • figure 1
  • table 1
  • figure 2
Highly Cited
2011
Highly Cited
2011
On Improving MUS Extraction Algorithms
Minimally Unsatisfiable Subformulas (MUS) find a wide range of practical applications, including product configuration, knowledge… Expand
  • figure 1
  • table 2
  • figure 2
Highly Cited
2010
Highly Cited
2010
Solving Linux Upgradeability Problems Using Boolean Optimization
Managing the software complexity of package-based systems can be regarded as one of the main challenges in software architectures… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
2010
2010
Using strong conflicts to detect quality issues in component-based complex systems
The mainstream adoption of free and open source software (FOSS) has widely popularised notions like software packages or plugins… Expand
  • figure 1
  • table 1
  • table 2
  • figure 2
2009
2009
Towards a Model Driven Approach to Upgrade Complex Software Systems
Complex software systems are more and more based on the abstraction of package, brought to popularity by Free and Open Source… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
2008
2008
Change Management in Multi-Viewpoint System Using ASP
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
2008
2008
Improving the Quality of GNU/Linux Distributions
The widespread adoption of free and open source software (FOSS) has lead to a freer and more agile marketplace where there is a… Expand
  • figure 2
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE