Process and progress of requirement formalization in Software Engineering
ABSTRACT Since the middle of the last century was initiated the research in formal methods and was presented proposals and methodologies to apply them in software development. The idea was overcome the diagnosed software crisis through the materialization of the life cycle of this product developmen...
Saved in:
| Main Authors: | , |
|---|---|
| Language: | English |
| Published: |
Universidad de Tarapacá.
2020
|
| Subjects: | |
| Online Access: | http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-33052020000300411 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|