496 search results - page 43 / 100 » Concept Lattices in Software Analysis |
TOOLS
1997
IEEE
14 years 11 days ago
1997
IEEE
Function Point Analysis measures user requested functionality independent of the technology used for implementation. Software applications are represented stract model that contai...
CAISE
2004
Springer
14 years 1 months ago
2004
Springer
While there are a considerable number of software engineering methodologies for developing multi-agent systems, not much work has been reported on the evaluation and comparison of ...
PAMI
2012
11 years 10 months ago
2012
—In this paper, we present a comprehensive analysis of self-dual and m-idempotent operators. We refer to an operator as m-idempotent if it converges after m iterations. We focus ...
CCS
2006
ACM
13 years 12 months ago
2006
ACM
We propose an integrated process for component-based system development and security risk analysis. The integrated process is evaluated in a case study involving an instant messag...
QSIC
2005
IEEE
14 years 1 months ago
2005
IEEE
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...