65 citations · 347 across the 17 of their papers we have counts for
3 papers · 1 filter
Flexible Invariants Through Semantic Collaboration
Nadia Polikarpova, Julian Tschannen, Carlo A. Furia +1
Modular reasoning about class invariants is challenging in the presence of dependencies among collaborating objects that need to maintain global consistency. This paper presents se…
What Good Are Strong Specifications?
Nadia Polikarpova, Carlo A. Furia, Yu Pei +2
Experience with lightweight formal methods suggests that programmers are willing to write specification if it brings tangible benefits to their usual development activities. This p…
Specifying Reusable Components
Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer
Reusable software components need expressive specifications. This paper outlines a rigorous foundation to model-based contracts, a method to equip classes with strong contracts tha…