Мови специфікацій використовуються для формального задання властивостей програми. В статі висвітлюються ключові моменти використання специфікації при розробці програмного забезпечення, а саме розглядаються засоби мови специфікацій AsmL, що використовуються для побудови адекватного опису структури і логіки програми в об"єктно-орієнтованому стилі.