1782 search results - page 33 / 357 » Tool Support for Proof Engineering |
138
click to vote
QSIC
2005
IEEE
15 years 10 months ago
2005
IEEE
Software inspections are established means of ensuring quality in software engineering. The traditional paper-based inspections are considered too laborious for widespread usage, ...
151
click to vote
SIGCSE
2006
ACM
15 years 11 months ago
2006
ACM
This paper describes our experiences in promoting a learning environment where active student involvement and interaction, as well as openness to diversity of ideas are supported ...
148
click to vote
GECCO
2008
Springer
15 years 6 months ago
2008
Springer
While recent attempts to search a conceptual software engineering design search space with multi-objective evolutionary algorithms have yielded promising results, the practical ap...
119
click to vote
WSC
1997
15 years 6 months ago
1997
Proof Animation™ 4.0 is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, mi...
141
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
Developer testing is a type of testing where developers test their code as they write it, as opposed to testing done by a separate quality assurance organization. Developer testin...