Title of article :
A two-level temporal logic for evolving specifications
Author/Authors :
P. Y. Schobbens، نويسنده , , G. Saake، نويسنده , , A. Sernadas، نويسنده , , C. Sernadas، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2002
Keywords :
program specification , Temporal Logic , Reconfigurable systems , Specification evolution
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters
