2088 search results - page 51 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
102
click to vote
CSREAEEE
2006
15 years 1 months ago
2006
- Improving software quality remains a key challenge. Software development formal peer inspection has emerged as an effective approach to address this challenge. Software peer insp...
CAISE
2005
Springer
15 years 5 months ago
2005
Springer
In data integration, a Merge operator takes as input a pair of schemas in some conceptual modelling language, together with a set of correspondences between their constructs, and p...
IWPC
1996
IEEE
15 years 4 months ago
1996
IEEE
Technology to support system comprehension tends to reflect either a "bottom-up" or "top-down" approach. Bottom-up approaches attempt to derive system models f...
121
click to vote
VLSID
2004
IEEE
16 years 5 days ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
DAC
2007
ACM
16 years 24 days ago
2007
ACM
The test time for core-external interconnect shorts/opens is typically much less than that for core-internal logic. Therefore, prior work on test infrastructure design for core-ba...