1376 search results - page 228 / 276 » Model-Driven Software Verification |
107
Voted
ISESE
2006
IEEE
15 years 8 months ago
2006
IEEE
Inspection is considered a powerful method to check software documents for defects. Many published work shows that inspections in requirements specification phase are particularly...
107
click to vote
DATE
1999
IEEE
15 years 6 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
121
click to vote
CASES
2005
ACM
15 years 3 months ago
2005
ACM
Computer security becomes increasingly important with continual growth of the number of interconnected computing platforms. Moreover, as capabilities of embedded processors increa...
105
click to vote
BCSHCI
2007
15 years 3 months ago
2007
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
119
click to vote
SIGPLAN
2008
15 years 1 months ago
2008
It is argued that the teaching of programming is central to the education of skilled computer professionals, that the teaching of programming languages is central to the teaching ...