2836 search results - page 40 / 568 » Model Checking for Software Architectures |
120
Voted
ICSE
2005
IEEE-ACM
16 years 3 months ago
2005
IEEE-ACM
We demonstrate a tool to incrementally synchronize an Acme architectural model described in the Acme Architectural Description Language (ADL) with an implementation in ArchJava, a...
110
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
During software maintenance, some non-functional properties may be lost. This is due to the lack of an explicit definition of their links with the corresponding architectural choi...
82
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
118
Voted
TASE
2007
IEEE
15 years 9 months ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
133
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
: Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisi...