שפת התנהגות, נקראת גם שפת תכנות עילי (אם כי לדעתי בטעות כפי שאנסה להסביר בערך) היא כל שפת מחשב המשמשת רק או בעיקר להגדרת התנהגות של תוכנה בצורה מופשטת מאד ← איך תוכנה "תתנהג" או תפעל במצבים שונים.
נכון לעשור השלישי של שנות ה-2000 קיימות מאות (למעלה מ-600) שפות התנהגות, אם כי המנייה תלויה בשאלה איך מגדירים שפת כזו, כך שייתכן שהמספר גבוה יותר.