241 search results - page 14 / 49 » Design by Contract Using Meta-Assertions |
INTERNET
2007
13 years 7 months ago
2007
it’s hardly Earth-shattering: abstracting your business services and separating them from your applications can yield an overall system that’s easier to build, maintain, and ex...
DAC
2009
ACM
14 years 8 months ago
2009
ACM
Efficient system-level design is increasingly relying on hierarchical design-space exploration, as well as compositional methods, to shorten time-to-market, leverage design re-use...
SEFM
2005
IEEE
14 years 1 months 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...
SEW
2007
IEEE
14 years 1 months ago
2007
IEEE
: After over a decade of use, design patterns continue to find new areas of application. In previous work, we presented a contract formalism for specifying patterns precisely, and...
PIMRC
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract—The use of licensed spectrum for wireless communication is driven by the need to control interference between different operators. However, with this mode of regulation,...