Title of article
An integrated framework for formal development of open distributed systems
Author/Authors
Issa Traoré، نويسنده , , Demissie Aredo، نويسنده , , Hong Ye، نويسنده ,
Issue Information
ماهنامه با شماره پیاپی سال 2004
Pages
6
From page
281
To page
286
Keywords
Unified modeling language , Prototype Verification System , Object-orientatedprogramming , formal methods , Open distributed systems , Multi-formalism
Journal title
Information and Software Technology
Serial Year
2004
Journal title
Information and Software Technology
Record number
135031
Link To Document