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...
Kaydedildi:
| Yayımlandı: | Ingeniare. Revista Chilena de Ingeniería |
|---|---|
| Asıl Yazarlar: | , |
| Materyal Türü: | Artigo |
| Dil: | Espanhol |
| Baskı/Yayın Bilgisi: |
Universidad de Tarapacá
2014
|
| Konular: | |
| Online Erişim: | https://www.redalyc.org/articulo.oa?id=77231016010 |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|
