5 citations · 12 across the 12 of their papers we have counts for
Showing 2012Show 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.CY2012
A methodology for internal Web ethics
Michalis Vafopoulos, Petros Stefaneas, Ioannis Anagnostopoulos +1
The vigorous impact of the Web in time and space arises from the fact that it motivates massive creation, editing and distribution of information by Users with little knowledge. Th…