On UML statechart with variabilities
El uso de métodos formales para el diseño de software contribuye a la confiabilidad y robustez del sistema a construir. A medida que los sistemas se vuelven complejos, el enfoque formal es esencial, debido a que permite la demostrabilidad y verificabilidad del diseño. El diseño formal es un proceso...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | masterThesis |
| اللغة: | الإنجليزية |
| منشور في: |
2012
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | http://hdl.handle.net/20.500.12008/2970 |
| الوسوم: |
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة: On UML statechart with variabilities
- An institution for UML 2.0 state machines
- Behavioral refinements of UML-statecharts
- Extended UML stratecharts and product lines
- Comparación entre motores rotativos con sinfín y corona, frente a motores lineales en un prototipo industrial
- Modelos de memoria en entornos de virtualización
- An Adaptation of the UML Testing Profile for Quantum Software Testing