البرمجة, النمذجة, علوم الحاسوب, لغات البرمجة, هندسة البرمجياتلغة آلات الحالة المجردة (Abstract State Machine Language)