16725 search results - page 706 / 3345 » Engineering Software Correctness |
222
click to vote
ASWEC
2009
IEEE
15 years 5 months ago
2009
IEEE
Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. When using current approaches, ensuring requirements are satisfied is often d...
213
click to vote
MIDDLEWARE
2004
Springer
16 years 24 days ago
2004
Springer
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
180
click to vote
GTTSE
2007
Springer
16 years 1 months ago
2007
Springer
With the increase of amount of transistors which can be contained on a chip and the constant expectation for more sophisticated applications, the design of Systems-on-Chip (SoC) is...
217
click to vote
EDBTW
2010
Springer
15 years 6 months ago
2010
Springer
Spatial data warehouses (SDW) rely on extended multidimensional (MD) models in order to provide decision makers with appropriate structures to intuitively analyse spatial data. Se...
204
click to vote
APSEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Computer Aided Software Engineering tools represent one the main successes of software engineering in the past decades. They however need to be improved along several dimensions i...