2700 search results - page 119 / 540 » The role of abstraction in software engineering |
229
click to vote
KBSE
2007
IEEE
16 years 19 days ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
163
click to vote
CBSE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A component-based system consists of components linked by connectors. Data can reside in components and/or in external data stores. Operations on data, such as access, up...
160
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—With the wide support for serialization in objectoriented programming languages, persistent objects have become common place. Retrieving previously “persisted” objec...
143
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Nested if-then-else statements is the most common programming schema in applications like data transformation or data analysis. In most cases, these can be replaced by hi...
191
click to vote
ICSM
2007
IEEE
16 years 20 days ago
2007
IEEE
Regression testing, which plays an important role in software maintenance, usually relies on test adequacy criteria to select and prioritize test cases. However, with the wide use...