Sciweavers

5832 search results - page 465 / 1167
» Software complexity and maintainability
Sort
View
RE
2002
Springer
15 years 6 months ago
Requirements Engineering in the Health Care Domain
There are many different approaches to elicit requirements each having its strengths and weaknesses. Hence, some approaches may be ore suitable to one domain then another. Moreove...
Luiz Marcio Cysneiros
RE
2002
Springer
15 years 6 months ago
On the Use of Visualization in Formal Requirements Specification
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...
FSTTCS
2010
Springer
15 years 5 months ago
Global Escape in Multiparty Sessions
Abstract. This paper proposes a global escape mechanism which can handle unexpected or unwanted conditions changing the default execution of distributed communicational flows, pres...
Sara Capecchi, Elena Giachino, Nobuko Yoshida
CC
2010
Springer
117views System Software» more  CC 2010»
15 years 4 months ago
Efficiently Certifying Non-Integer Powers
We describe a randomized algorithm that, given an integer a, produces a certificate that the integer is not a pure power of an integer in expected (log a)1+o(1) bit operations unde...
Erich Kaltofen, Mark Lavin
CLEIEJ
2010
15 years 4 months ago
Quality Improvement in Annotated Code
In order to customize their behavior at runtime, a wide sort of modern frameworks do use code annotations at the applications classes as metadata configuration. However, despite i...
Diego A. A. Correia, Eduardo M. Guerra, Fáb...