1481 search results - page 25 / 297 » Enriching the Software Development Process by Formal Methods |
132
click to vote
FMAM
2010
15 years 1 months ago
2010
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...
123
click to vote
JSS
2006
15 years 3 months ago
2006
Estimating software size is a difficult task that requires a methodological approach. Many different methods that exist today use distinct abstractions to depict a software system...
134
click to vote
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
118
click to vote
SFM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
131
click to vote
ASM
2010
ASM
15 years 5 months ago
2010
ASM
Abstract. Smart Card applications usually require reliability and security to avoid incorrect operation or access violation in transactions and corruption or undue access to stored...