25 citations · 43 across the 2 of their papers we have counts for
2 papers
cs.SE2012★ 25 cited
Contracts in Practice
H. -Christian Estler, Carlo A. Furia, Martin Nordio +2
Contracts are a form of lightweight formal specification embedded in the program text. Being executable parts of the code, they encourage programmers to devote proper attention to…
cs.SE2011★ 18 cited
Collaborative Software Development on the Web
Martin Nordio, H. -Christian Estler, Carlo A. Furia +1
Software development environments (IDEs) have not followed the IT industry's inexorable trend towards distribution. They do too little to address the problems raised by today's inc…