1376 search results - page 76 / 276 » Model-Driven Software Verification |
181
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...
170
click to vote
SIGSAND
2008
15 years 7 months ago
2008
Configurable business software solutions are increasingly being implemented based on service oriented architectures (SOA). Hereunto model driven approaches for the definition and i...
250
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...
169
click to vote
ISICT
2003
15 years 7 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
181
click to vote
ICSE
2009
IEEE-ACM
15 years 3 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...