ESSOS
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We present an approach to security requirements engineering, which makes use of special kinds of problem frames that serve to structure, characterize, analyze, and solve ...
ESEM
2009
ACM
13 years 11 months ago
2009
ACM
The long-term sustainability of a software product depends on more than developing features. Priorities are placed on aspects that support the development of software, like softwar...
ESEM
2009
ACM
13 years 11 months ago
2009
ACM
Test coverage is a promising measure of test effectiveness and development organizations are interested in costeffective levels of coverage that provide sufficient fault removal w...
EMSOFT
2009
Springer
13 years 11 months ago
2009
Springer
This paper addresses the question of producing modular sequential imperative code from synchronous data-flow networks. Precisely, given a system with several input and output flow...
FSTTCS
2007
Springer
13 years 11 months ago
2007
Springer
FSTTCS
2007
Springer
13 years 11 months ago
2007
Springer
FSTTCS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We investigate streaming evaluation of filters on XML documents, evaluated both at the root node and at an arbitrary node. Motivated by applications in protocol processin...
SWSTE
2010
IEEE
13 years 11 months ago
2010
IEEE
—In this paper we describe the application of the agile software development approach in system engineering projects. We describe the main characteristics of system projects, hig...
SSIRI
2010
13 years 11 months ago
2010
—Software reliability is defined as the probability of failure-free operation for a period of time, under certain conditions. To determine whether the reliability of an applicat...
SSIRI
2010
13 years 11 months ago
2010
Areas crucial to life such as medicine, transportation, nuclearenergy research and industry, aeronautics, and others, all make use of software in one way or another. However, the ...