مرکز منطقه ای اطلاع رساني علوم و فناوري - Making formal methods education effective for professional software engineers

Title of article :

Making formal methods education effective for professional software engineers

Author/Authors :

David Garlan، نويسنده ,

Issue Information :

ماهنامه با شماره پیاپی سال 1995

Pages :

From page :

261

To page :

268

Keywords :

Z , software engineering education , formal methods , masters programs , MSE

Journal title :

Information and Software Technology

Serial Year :

1995

Journal title :

Information and Software Technology

Record number :

134319

Link To Document :