6 citations · 8 across the 6 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.SE2016
Unifying Requirements and Code: an Example
Alexandr Naumchev, Bertrand Meyer, Victor Rivera
Requirements and code, in conventional software engineering wisdom, belong to entirely different worlds. Is it possible to unify these two worlds? A unified framework could help ma…
cs.SE2016
Complete contracts through specification drivers
Alexandr Naumchev, Bertrand Meyer
Existing techniques of Design by Contract do not allow software developers to specify complete contracts in many cases. Incomplete contracts leave room for malicious implementation…