1180 search results - page 19 / 236 » Total Functional Software Engineering - Overview Paper |
VMCAI
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
CBSE
2006
Springer
15 years 2 months ago
2006
Springer
This paper presents AOKell, a framework for engineering component-based systems. This framework implements the Fractal model, a hierarchical and dynamic component model. The novelt...
SAFECOMP
2009
Springer
15 years 3 months ago
2009
Springer
We present patterns for expressing dependability requirements, such as confidentiality, integrity, availability, and reliability. The paper considers random faults as well as cert...
COMPSAC
2005
IEEE
15 years 4 months ago
2005
IEEE
RIES stands for Rijnland Internet Election System. It is an online voting system that has been used twice in the fall of 2004 for in total over two million potential voters. In th...
ESEM
2010
ACM
14 years 8 months ago
2010
ACM
Functional Size Measures are often used for effort estimation. However, these measures do not take into account the amount and complexity of elaboration required, concentrating in...