مرکز منطقه ای اطلاع رساني علوم و فناوري - Lightweight Formalisation in Support of Requirements Engineering

Title of article :

Lightweight Formalisation in Support of Requirements Engineering

Author/Authors :

Jane Hesketh، نويسنده , , J. David Robertson، نويسنده , , Norbert Fuchs and Alan Bundy ، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 1998

Pages :

From page :

183

To page :

210

Keywords :

Automated reasoning , design , safety-critical systems , Specifications , Software engineering , requirements

Journal title :

Automated Software Engineering

Serial Year :

1998

Journal title :

Automated Software Engineering

Record number :

307031

Link To Document :