1200 search results - page 205 / 240 » The Problem Frames Approach to Software Engineering |
130
click to vote
INFSOF
2008
15 years 3 months ago
2008
Domain-specific modeling (DSM) assists subject matter experts in describing the essential characteristics of a problem in their domain. Various software artifacts can be generated...
235
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
146
click to vote
GECCO
2009
Springer
15 years 10 months ago
2009
Springer
Most of the software developed in the world follows the object-oriented (OO) paradigm. However, the existing work on evolutionary testing is mainly targeted to procedural language...
138
Voted
CBSE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Predicting the performance of component-based applications is difficult due to the complexity of the underlying component technology. This problem is exacerbated when a m...
131
click to vote
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
Retargetable C compilers are nowadays widely used to quickly obtain compiler support for new embedded processors and to perform early processor architecture exploration. One frequ...