2493 search results - page 21 / 499 » Tool Support for Design by Contract |
ICSE
2005
IEEE-ACM
15 years 9 months ago
2005
IEEE-ACM
The need for software architecture evaluation has drawn considerable attention in recent years. In practice, this is a challenging exercise for two main reasons. First, in deploye...
118
click to vote
ECOOP
2010
Springer
15 years 29 days ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
89
Voted
SIGMOD
2011
ACM
14 years 13 days ago
2011
ACM
Conventional OLTP systems assign each transaction to a worker thread and that thread accesses data, depending on what the transaction dictates. This thread-to-transaction work ass...
76
Voted
BCSHCI
2008
14 years 11 months ago
2008
Significant research has been dedicated to the development of creativity support tools, tools intended to amplify human creativity in the arts, sciences, and design disciplines. W...
ECSA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Knowledge management plays an important role in the software architecting process. Recently, this role has become more apparent by a paradigm shift that views a software ...