1116 search results - page 10 / 224 » An Eclipse-based tool framework for software model managemen... |
ICSE
2011
IEEE-ACM
12 years 10 months ago
2011
IEEE-ACM
Much research in software engineering have been focused on improving software quality and automating the maintenance process to reduce software costs and mitigating complications ...
ICSE
2010
IEEE-ACM
13 years 5 months ago
2010
IEEE-ACM
Team collaboration is essential for the success of multi-developer projects. When team members are spread across different locations, individual awareness of the activity of other...
CAV
2005
Springer
14 years 27 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
ENVSOFT
2006
13 years 7 months ago
2006
Knowledge of land surface water, energy, and carbon conditions are of critical importance due to their impact on many real world applications such as agricultural production, wate...