2019 | One-Click Formal Methods IEEE Software 2019 (6); by J. Backes, P. Bolignano, B. Cook, A. Gacek, K. S. Luckow, N. Rungta, M. Schaef, C. Schlesinger, R. Tanash, C. Varming, M. Whalen Formal methods are mathematically based approaches for specifying, building, and reasoning about software. |
|
2019 | |
2019 | Think Your Artificial Intelligence Software Is Fair? Think Again IEEE Software 2019 (4); by R. K. E. Bellamy, K. Dey, M. Hind, S. C. Hoffman, S. Houde, K. Kannan, P. Lohia, S. Mehta, A. Mojsilovic, S. Nagar, K. N. Ramamurthy, J. Richards, D. Saha, P. Sattigeri, M. Singh, K. R. Varshney, Y. Zhang Today, machine-learning software is used to help make decisions that affect people's lives. |
|
2019 | Is Your Software Valueless? IEEE Software 2019 (3); by J. Whittle Software development ignores human values. As a society, we rely on software systems that neither align with nor respect our core values, such as… |
|
2019 | |
2018 | |
2018 | |
2018 | |
2018 | Reconsidering Whether GOTO Is Harmful IEEE Software 2018 (3); by M. Nagappan Is it always bad to use GOTO statements An empirical analysis of open source C projects on GitHub suggests otherwise.Topics: Edsger… |
|
2018 | |
2018 | From Voice of Evidence to Redirections IEEE Software 2018 (1); by R. Prikladnicki, T. Menzies The Voice of Experience department is being relaunched as Redirections, which will focus on the surprises in software engineering.Topics:… |
|