Software para o dimensionamento de construções navais e corpos flutuantes