مرکز منطقه ای اطلاع رساني علوم و فناوري - On what exactly goes on when software is developed step-by-step, II: The sequel

Title of article :

On what exactly goes on when software is developed step-by-step, II: The sequel

Author/Authors :

Tom Maibaum، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2003

Pages :

From page :

To page :

Keywords :

Program specification , Software design and implementation , formal methods , Specification languages , Software engineering

Journal title :

Information Processing Letters

Serial Year :

2003

Journal title :

Information Processing Letters

Record number :

129786

Link To Document :