3481 search results - page 449 / 697 » Architecture as Object Models of Software |
128
click to vote
ISCA
2006
IEEE
15 years 10 months ago
2006
IEEE
Microprocessor design is undergoing a major paradigm shift towards multi-core designs, in anticipation that future performance gains will come from exploiting threadlevel parallel...
136
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
127
click to vote
CBSE
2009
Springer
15 years 9 months ago
2009
Springer
A challenge of componentizing legacy applications is to extract behavior specification of suggested components. It is desirable to preserve a relation between the original structur...
116
click to vote
EDOC
2004
IEEE
15 years 8 months ago
2004
IEEE
Modeling is a technique used extensively in industry to define software systems, the UML being the most prominent example. With the increased use of modeling techniques has come t...
157
click to vote
VL
2005
IEEE
15 years 10 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...