1516 search results - page 13 / 304 » Trends in Software Verification |
AIM
2010
13 years 6 months ago
2010
The European Conference on Case-Based Reasoning (CBR) in 2008 marked 15 years of international and European CBR conferences where almost seven hundred research papers were publish...
CODES
2011
IEEE
12 years 8 months ago
2011
IEEE
Designing memory controllers for complex real-time and highperformance multi-processor systems-on-chip is challenging, since sufficient capacity and (real-time) performance must b...
UML
2005
Springer
14 years 2 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
DATESO
2010
13 years 6 months ago
2010
Database management has undergone more than four decades of evolution producing vast range of research and extensive array of technology solutions. The database research community ...
TASE
2010
IEEE
13 years 3 months ago
2010
IEEE
System and program verification has been a large