1376 search results - page 76 / 276 » Model-Driven Software Verification |
138
Voted
ESWS
2008
Springer
15 years 4 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...
133
Voted
SIGSAND
2008
15 years 4 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...
202
Voted
POPL
2009
ACM
16 years 3 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...
134
Voted
ISICT
2003
15 years 4 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...
138
Voted
ICSE
2009
IEEE-ACM
15 years 15 days 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...