1481 search results - page 93 / 297 » Enriching the Software Development Process by Formal Methods |
122
Voted
TELSYS
2002
15 years 3 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
133
Voted
METRICS
2005
IEEE
15 years 9 months ago
2005
IEEE
Using OTS (Off-The-Shelf) components in software development has become increasingly popular in the IT industry. OTS components can be either COTS (Commercial-Off-The-Shelf), or O...
118
Voted
DAGSTUHL
2006
15 years 4 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
129
click to vote
ICSE
2009
IEEE-ACM
16 years 4 months ago
2009
IEEE-ACM
We present the results of a three year field study of the software development process choices made by project teams at two leading offshore vendors. In particular, we focus on th...
110
Voted
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...