نهج صارم لهندسة البرمجيات الصناعية

طُوِّرَ منهج RAISE ( المنهج الدقيق لهندسة البرمجيات الصناعية ) كجزء من مشروع ESPRIT II LaCoS الأوروبي في تسعينيات القرن الماضي، بقيادة دينيس بيورنر . ويتألف هذا المنهج من مجموعة أدوات مصممة للغة مواصفات (RSL) لتطوير البرمجيات . ويحظى هذا المنهج بدعم خاص من معهد UNU-IIST في ماكاو ، الذي يُقيم دورات تدريبية في مقره وحول العالم، لا سيما في الدول النامية .

• الأساليب الرسمية
• المواصفات الرسمية

• مدخل مكتبة RAISE الافتراضية
• RAISE – منهج دقيق لهندسة البرمجيات الصناعية (مؤرشف بتاريخ 23 أبريل 2011 على موقع Wayback Machine)
• رفع المعلومات من Dines Bjørner