1376 search results - page 43 / 276 » Model-Driven Software Verification |
118
Voted
UML
2005
Springer
15 years 7 months ago
2005
Springer
Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This pape...
129
Voted
ECMDAFA
2009
Springer
14 years 11 months ago
2009
Springer
Technological and business changes influence the evolution of software systems. When this happens, the software artifacts may need to be adapted to the changes. This need is rapidl...
123
click to vote
BALT
2010
14 years 9 months ago
2010
Abstract. This paper addresses the pattern matching problem for model transformation languages. Despite being an NP-complete problem, the pattern matching can be solved efficiently...
114
click to vote
HVC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
126
click to vote
FC
2000
Springer
15 years 5 months ago
2000
Springer
Abstract Two protocols for authentication based on symmetric key cryptography are described, where the verifier can be implemented in software completely, without the need for secu...