13137 search results - page 428 / 2628 » A Science of Software Design |
199
click to vote
FPL
2007
Springer
16 years 1 months ago
2007
Springer
Modern platform FPGAs integrate fine-grained reconfigurable logic with processor cores and allow the creation of complete configurable systems-on-chip. However, design methodol...
164
click to vote
SEFM
2005
IEEE
16 years 12 days ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...
177
click to vote
IEEEICCI
2002
IEEE
15 years 11 months ago
2002
IEEE
In software engineering community there is an increasing effort of design and development of multiagent systems (MAS). Among several issues emerging from this initiative, complexi...
165
click to vote
COMPSAC
1998
IEEE
15 years 11 months ago
1998
IEEE
A major problem in the development of distributed applications is that we cannot assume that the environment in which the application is to operate will remain the same. This mean...
198
click to vote
ISOOMS
1994
15 years 11 months ago
1994
Although object-oriented programming techniques have evolved into an accepted technology with recognized benefits for software development, profound investigations of qualitative a...