A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO

S. Morasca، نويسنده , , A. Morzenti and P. San Pietro ، نويسنده ,

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

31

125

155

Functional testing , Structural testing , modular notations , time critical systems , specification testing , formal specification , System simulation

Automated Software Engineering

2000

Automated Software Engineering

307066