English software specification language: תרגום לשפות אחרות