1782 search results - page 102 / 357 » Tool Support for Proof Engineering |
155
click to vote
ISESE
2003
IEEE
15 years 11 months ago
2003
IEEE
One purpose of empirical software engineering is to enable an understanding of factors that influence software development. Surveys are an appropriate empirical strategy to gather...
188
click to vote
SOCO
2009
Springer
16 years 25 days ago
2009
Springer
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
290
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
187
click to vote
SIGCSE
2008
ACM
15 years 4 months ago
2008
ACM
We present the design and development of a Visual Learning Engine, a tool that can form the basis for interactive development of visually rich teaching and learning modules across...
160
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
The evolution of the Web requires to consider an increasing number of context-dependency issues. Therefore, in our research we focus on how to extend a Web application with additi...