15784 search results - page 670 / 3157 » Mega Software Engineering |
177
click to vote
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...
208
click to vote
CSI
2007
15 years 7 months ago
2007
In order to develop security critical Information Systems, specifying security quality requirements is vitally important, although it is a very difficult task. Fortunately, there ...
187
click to vote
RE
2002
Springer
15 years 6 months ago
2002
Springer
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...
199
click to vote
MSR
2006
ACM
16 years 1 months ago
2006
ACM
With the success of libre (free, open source) software, a new type of software compilation has become increasingly common. Such compilations, often referred to as ‘distributions...
236
click to vote
ICSM
2008
IEEE
16 years 1 months ago
2008
IEEE
In mission critical systems, such as those developed by NASA, it is very important that the test engineers properly recognize the severity of each issue they identify during testi...