ECEASST
2010
12 years 11 months ago
2010
Abstract. We present Local Church-Rosser, Parallelism, and Concurrency Theorems for rules with nested application conditions in the framework of weak adhesive HLR categories includ...
ECEASST
2010
12 years 11 months ago
2010
ECEASST
2010
13 years 2 months ago
2010
ECEASST
2010
13 years 2 months ago
2010
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...
ECEASST
2010
13 years 2 months ago
2010
: The majority of Free and Open Source Software (FOSS) developers are mobile and often use different identities in the projects or communities they participate in. These characteri...
ECEASST
2010
13 years 2 months ago
2010
Abstract: The need of confidence that a product or service actually possesses declared behavioural / structural characteristics is the main reason for certification. It seems that ...
ECEASST
2010
13 years 2 months ago
2010
Abstract: An experiment in providing volunteer cloud computing support for automated audits of open source code is described here, along with the supporting theory. Certification a...
ECEASST
2010
13 years 2 months ago
2010
: For years, one of the main reasons to buy commercial software instead of adopting open-source applications was the, supposed, guarantee of quality. Unfortunately that was rarely ...
ECEASST
2010
13 years 2 months ago
2010
: The decision of using existing software components versus building from scratch custom software is one of the most complex and important choices of the entire development/integra...
ECEASST
2010
13 years 2 months ago
2010
: Free/Libre Open Source Software (FLOSS) projects can be considered as learning environments in which heterogeneous communities get together to exchange knowledge through discussi...