1288 search results - page 141 / 258 » On Analysis of Design Component Contracts: A Case Study |
126
click to vote
DAC
2003
ACM
16 years 2 months ago
2003
ACM
A binary decoder is a common component of software development tools such as instruction set simulators, disassemblers and debuggers. The efficiency of the decoder can have a sign...
117
click to vote
VSTTE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
IAJIT
2007
15 years 1 months ago
2007
: Software analysis pattern is an approach of software reuse which provides a way to reuse expertise that can be used across domains at early level of development. Developing softw...
123
click to vote
ICST
2009
IEEE
14 years 11 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
118
click to vote
CVPR
2007
IEEE
16 years 3 months ago
2007
IEEE
Cross-modal analysis offers information beyond that extracted from individual modalities. Consider a camcorder having a single microphone in a cocktail-party: it captures several ...