6197 search results - page 451 / 1240 » Sandbridge Software Tools |
152
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
We present TReMer+, a tool for consistency checking of distributed models (i.e., models developed by distributed teams). TReMer+ works by first constructing a merged model before ...
164
click to vote
CSMR
2008
IEEE
16 years 1 months ago
2008
IEEE
Refactoring, in spite of widely acknowledged as one of the best practices of object-oriented design and programming, still lacks quantitative grounds and efficient tools for tasks...
171
click to vote
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Various program analysis techniques are efficient at discovering failures and properties. However, it is often difficult to evaluate results, such as program traces. ls for abst...
113
click to vote
HICSS
2005
IEEE
16 years 15 days ago
2005
IEEE
1 Ensuring the accuracy of intelligence assessments is made difficult by the pervasiveness of uncertainty in intelligence information and the demand to fuse information from multip...
147
click to vote
ICSM
2005
IEEE
16 years 15 days ago
2005
IEEE
This paper describes an approach and support tool for the modelling and analysis of proposed reconfigurations to complex systems. The configuration models used are quick to constr...