1 citations · 3 across the 4 of their papers we have counts for
3 papers · 1 filter
Usability of AutoProof: a case study of software verification
Mansur Khazeev, Victor Rivera, Manuel Mazzara +1
Many verification tools come out of academic projects, whose natural constraints do not typically lead to a strong focus on usability. For widespread use, however, usability is ess…
Refinement types in Jolie
Alexander Tchitchigin, Larisa Safina, Manuel Mazzara +3
Jolie is the first language for microservices and it is currently dynamically type checked. This paper considers the opportunity to integrate dynamic and static type checking with…
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…