International Workshop on Software Specification and Design | Revista