2741 search results - page 186 / 549 » Engineering Mathematical Knowledge |
131
click to vote
CSMR
2008
IEEE
15 years 9 months ago
2008
IEEE
Effort to evolve and maintain a software system is likely to vary depending on the amount and frequency of change requests. This paper proposes to model change requests as time se...
127
click to vote
MPC
2004
Springer
15 years 8 months ago
2004
Springer
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
116
click to vote
ISIPTA
2003
IEEE
15 years 8 months ago
2003
IEEE
The finite element method is widely used for solving various problems in geotechnical engineering practice. The input parameters required for the calculations are generally impre...
109
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
163
click to vote
ITP
2010
15 years 5 months ago
2010
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...