489 search results - page 55 / 98 » Reasoning about confidentiality at requirements engineering ... |
113
click to vote
IEE
2008
15 years 17 days ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
114
click to vote
XPU
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In distributed agile teams, people often use email as a knowledge sharing tool to clarify the project requirements (aka user stories). Knowledge about the project include...
128
Voted
KBSE
1995
IEEE
15 years 4 months ago
1995
IEEE
Cost-effective engineering and evolution of complex software must involve the different stakeholders concurrently and collaboratively. The hard problem is providing computer suppo...
112
Voted
CSMR
1998
IEEE
15 years 4 months ago
1998
IEEE
Many organizations are using measurement as a means to improve their software development and maintenance processes. A reasonable consensus has been reached about the main success...
100
click to vote
SIGSOFT
1994
ACM
15 years 4 months ago
1994
ACM
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...