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

Fernandez-Fernandez, C.A. and Simons, A.J.H. (2014) An Implementation of the Task Algebra, a Formal Specification for the Task Model in the Discovery Method. Journal of Applied Research and Technology, 12 (5). pp. 908-918. ISSN 1665-6423

Abstract

Metadata

Authors/Creators:
  • Fernandez-Fernandez, C.A.
  • Simons, A.J.H.
Copyright, Publisher and Additional Information: This is an author produced version of The Implementation of the Task Algebra, a Formal Specification for the Task Model in the Discovery Method. White Rose Research Online.
Keywords: software modeling; formal specification; lightweight formal methods
Dates:
  • Published: October 2014
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 12 Apr 2016 13:57
Last Modified: 12 Apr 2016 13:57
Status: Published
Publisher: Universidad Nacional Autónoma de México (UNAM)
Refereed: Yes
Related URLs:

Share / Export