4258 search results - page 269 / 852 » Languages and Interactive Software Development |
174
click to vote
KBSE
1995
IEEE
15 years 10 months ago
1995
IEEE
Numerical design optimization algorithms are highly sensitive to the particular formulation of the optimization problems they are given. The formulation of the search space, the o...
183
click to vote
SOFTVIS
2010
ACM
15 years 6 months ago
2010
ACM
Code smells are characteristics of software that indicate that code may have a design problem. Code smells have been proposed as a way for programmers to recognize the need for re...
156
click to vote
FASE
2007
Springer
16 years 23 days ago
2007
Springer
- Static Analysis and Abstract Interpretation I (Chair: Sophia Drossopulou, room: Multicert) • FASE - Specification (Chair: Marsha Chechik, room: Cisco) • TACAS - Specificati...
177
click to vote
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
165
click to vote
ICFEM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...