1799 search results - page 259 / 360 » The Logic of Correctness in Software Engineering |
218
click to vote
RV
2009
Springer
15 years 11 months ago
2009
Springer
Monitoring of software’s execution is crucial in numerous software development tasks. Current monitoring efforts generally require extensive instrumentation of the software or d...
192
click to vote
CCS
2005
ACM
16 years 10 hour ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
186
click to vote
ISSTA
2006
ACM
16 years 13 days ago
2006
ACM
This paper addresses issues involved when an architect explore alternative designs including non-functional requirements; in our approach, non-functional requirements are expresse...
138
click to vote
OOPSLA
2007
Springer
16 years 18 days ago
2007
Springer
Unit testing frameworks like JUnit are a popular and effective way to prevent developer bugs. We are investigating two ways of building on these frameworks to prevent more bugs wi...
165
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...