1497 search results - page 187 / 300 » Extended static checking |
143
click to vote
GPCE
2007
Springer
15 years 7 months ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
95
Voted
AOSD
2005
ACM
15 years 6 months ago
2005
ACM
Abstract. Research in the design of aspect-oriented programming languages requires a workbench that facilitates easy experimentation with new language features and implementation t...
113
Voted
CHARME
2005
Springer
15 years 6 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
112
click to vote
FAC
2007
15 years 21 days ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
122
click to vote
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...