2493 search results - page 362 / 499 » Tool Support for Design by Contract |
143
click to vote
ECSA
2011
Springer
13 years 9 months ago
2011
Springer
Modeling of software architectures is a fundamental part of software development processes. Reuse of software components and early analysis of software topologies allow the reduct...
114
click to vote
BMCBI
2007
14 years 10 months ago
2007
Background: MicroRNAs (miRNAs) are recognized as one of the most important families of noncoding RNAs that serve as important sequence-specific post-transcriptional regulators of ...
WWW
2007
ACM
15 years 10 months ago
2007
ACM
Requirement engineering (RE) is emerging as an increasingly important discipline for supporting Web application development, as these are designed to satisfy diverse stakeholder n...
WWW
2006
ACM
15 years 10 months ago
2006
ACM
The evolution of the Web requires to consider an increasing number of context-dependency issues. Therefore, in our research we focus on how to extend a Web application with additi...
CHI
2008
ACM
15 years 10 months ago
2008
ACM
Increasing functionality, growing media volumes and dynamic data in today's in-vehicle information systems bear new challenges for user interaction design. Traditional hierar...