عرض بسيط للتسجيلة

المؤلفLarbi, R.M.
المؤلفMohamad, J.J.
تاريخ الإتاحة2024-03-20T01:55:09Z
تاريخ النشر2004
اسم المنشورProceedings - International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM)
المصدرScopus
معرّف المصادر الموحدhttp://dx.doi.org/10.1109/IPDPS.2004.1303298
معرّف المصادر الموحدhttp://hdl.handle.net/10576/53281
الملخصDistributed systems verification is one of the main issues in software engineering. It is considered as the major field of the formal specification techniques. However, many difficulties remain. In fact, the principal problem is in producing a coherent specification and providing a fully integrated semantics. Since formal methods are mathematical description models that try to give a response concerning the reliability of a system. It remains a hard way for the designers. Thus, we present, in this paper, an open environment for the integration of formal methods in the description and verification of distributed and concurrent systems. The system currently uses UML notation and provides rewriting logic, model checking, theorem proving, and simulation techniques.
اللغةen
الناشرIEEE
الموضوعSoftware systems
Computational modeling
Unified modeling language
Formal specifications
Distributed computing
Software engineering
Automatic logic units
Java
Computer simulation
Mathematical model
العنوانVALID-2: A practical modeling, simulation and verification software for distributed systems
النوعConference Paper
الصفحات3337-3344
رقم المجلد18
dc.accessType Abstract Only


الملفات في هذه التسجيلة

الملفاتالحجمالصيغةالعرض

لا توجد ملفات لها صلة بهذه التسجيلة.

هذه التسجيلة تظهر في المجموعات التالية

عرض بسيط للتسجيلة