263
click to vote
FASE
14 years 9 months ago
2011 Springer 
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
193
click to vote
FASE
14 years 9 months ago
2011 Springer
Given a program and an assertion in that program, determining if the assertion can fail is one of the key applications of program analysis. Symbolic execution is a well-known techn...
188
click to vote
FASE
14 years 9 months ago
2011 Springer
Abstract. Container classes such as lists, sets, or maps are elementary data structures common to many programming languages. Since they are a part of standard libraries, they are ...
184
click to vote
FASE
14 years 9 months ago
2011 Springer
Abstract. Spreadsheets are notoriously error-prone. To help avoid the introduction of errors when changing spreadsheets, models that capture the structure and interdependencies of ...
|
Software Engineering