1782 search results - page 214 / 357 » Tool Support for Proof Engineering |
183
click to vote
QSIC
2006
IEEE
16 years 14 days ago
2006
IEEE
Aspect-oriented programming (AOP) has been proposed as a technique for improving the separation of concerns in software design and implementation. The field of AOP has, so far, f...
175
click to vote
WCRE
2006
IEEE
16 years 13 days ago
2006
IEEE
Requirements views, such as coverage and status views, are an important asset for monitoring and managing software development. We have developed a method that automates the proce...
169
click to vote
CODES
2005
IEEE
16 years 2 days ago
2005
IEEE
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....
155
click to vote
SEFM
2005
IEEE
16 years 22 hour 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...
147
click to vote
SWSTE
2005
IEEE
16 years 21 hour ago
2005
IEEE
We present a new automated software acceptance tests framework. The framework is novel in supporting the entire lifecycle and all QA activities, including test maintenance over mu...