5 citations · 12 across the 12 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2012★ 2 cited
OTS/CafeOBJ2JML: An attempt to combine Design By Contract with Behavioral Specifications
Nikolaos Triantafyllou, Petros Stefaneas, Panayiotis Frangos
Design by Constract (DBC) has influenced the development of formal specification languages that allow the mix of specification and implementation code, like Eiffel, the Java Modeli…
cs.SE2011
Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking
Konstantinos Barlas, George Koletsos, Petros Stefaneas
The adoption of algebraic specification/formal method techniques by the networks' research community is happening slowly but steadily. We work towards a software environment that c…