La especificación formal en contexto: actual y futuro
La especificación formal es un área de investigación activa en la ingeniería de software de este siglo, en la que se aplica en diversas configuraciones y técnicas, y aunque su uso industrial todavía es limitado, la comunidad científica tiene actualmente una comprensión diferente acerca de su utilida...
Wedi'i Gadw mewn:
| Cyhoeddwyd yn: | Ingeniare. Revista Chilena de Ingeniería |
|---|---|
| Prif Awduron: | , |
| Fformat: | Artigo |
| Iaith: | Espanhol |
| Cyhoeddwyd: |
Universidad de Tarapacá
2014
|
| Pynciau: | |
| Mynediad Ar-lein: | https://www.redalyc.org/articulo.oa?id=77231016010 |
| Tagiau: |
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|