An Implementation of the Task Algebra, a Formal Specification for the Task Model in the Discovery Method

Fuente: Redalyc

Saved in:

Bibliographic Details
Main Author:	C. A. Fernández-Fernández
Format:	Artículo científico
Language:	en
Published:	Universidad Nacional Autónoma de México 2014
Subjects:	Ingeniería Software modeling formal specification lightweight formal methods
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet