2878 search results - page 69 / 576 » Analyzing the Uses of a Software Modeling Tool |
COMPSAC
2003
IEEE
14 years 1 months ago
2003
IEEE
The parameters in these software reliability models are usually directly obtained from the field failure data. Due to the dynamic properties of the system and the insufficiency of...
IWPC
2003
IEEE
14 years 1 months ago
2003
IEEE
We detect design patterns in legacy code combining static and dynamic analyses. The analyses do not depend on coding or naming conventions. We classify potential pattern instances...
SPIN
2009
Springer
14 years 2 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
ENVSOFT
2007
13 years 8 months ago
2007
A toolkit for distributed hydrologic modeling at multiple scales using two independent models within a geographic information system is presented. This open-source, freely availab...
ICSM
2006
IEEE
14 years 2 months ago
2006
IEEE
Software Engineers frequently need to locate and understand the code that implements a specific user feature of a large system. This paper reports on a study by Motorola Inc. and ...