15779 search results - page 2322 / 3156 » Change-oriented software engineering |
189
click to vote
VMCAI
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. It is a hotly researching topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. K Ravi proposes a two-stages counterexample min...
198
click to vote
VMCAI
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
176
Voted
VMCAI
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
204
click to vote
XPU
2005
Springer
16 years 28 days ago
2005
Springer
Dynamic market situation and changing customer requirements generate more demands for the product development. Product releases should be developed and managed in short iterations ...
166
Voted
XPU
2005
Springer
16 years 28 days ago
2005
Springer
Many have reported successful experiences using XP, but we have not yet seen many experiences adapting agile methodologies in developing countries such as Brazil. In a developing e...