1782 search results - page 150 / 357 » Tool Support for Proof Engineering |
155
click to vote
AVI
2008
15 years 8 months ago
2008
Browsing a blog archive is currently not well supported. Users cannot gain an overview of a blog easily, nor do they receive adequate support for finding potentially interesting e...
163
click to vote
IWPC
2009
IEEE
16 years 1 months ago
2009
IEEE
An approach is presented that automatically determines if a given source code change impacts the design (i.e., UML class diagram) of the system. This allows code-to-design traceab...
157
click to vote
SCAM
2006
IEEE
16 years 14 days ago
2006
IEEE
Refactoring is about changing the design of existing code without changing its behaviour, but with the aim of making code easier to understand, modify, or reuse. Taking Haskell an...
159
click to vote
WOSP
2005
ACM
16 years 16 hour ago
2005
ACM
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...
170
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used in a wide range of application areas such as communication protocols, software designs, and...