Title of article :
Executing Formal Specifications with Concurrent Constraint Programming
Author/Authors :
Tim Wahls، نويسنده , , Gary T. Leavens and Albert L. Baker ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2000
Keywords :
formal specification , precondition , postcondition , executable specification , concurrent constraint programming , c , model-based specification
Journal title :
Automated Software Engineering
Journal title :
Automated Software Engineering
