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...
Enregistré dans:
Auteurs principaux: | , |
---|---|
Langue: | Spanish / Castilian |
Publié: |
Universidad de Tarapacá.
2014
|
Sujets: | |
Accès en ligne: | http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-33052014000200010 |
Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|