2878 search results - page 51 / 576 » Analyzing the Uses of a Software Modeling Tool |
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
In many complex multi-agent domains it is impractical to compute exact analytic solutions. An alternate means of analysis applies computational tools to derive and analyze empiric...
ISPW
2007
IEEE
14 years 2 months ago
2007
IEEE
The primary objective of all software engineering courses is to help students learn how to develop successful software systems with good software engineering practices. Various too...
APAQS
2000
IEEE
14 years 14 days ago
2000
IEEE
The use of the statistical technique of mixture model analysis as a tool for early prediction of fault-prone program modules is investigated. The Expectation-Maximum likelihood (E...
IWPC
2003
IEEE
14 years 1 months ago
2003
IEEE
In the last decades several tools and environments defined and introduced languages for querying, navigating sforming abstract syntax trees. These environments were meant to supp...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...