Publications by the researcher in collaboration with Jesús Manuel Almendros Jiménez (3)

2002

  1. Bases for the development of LAST: A formal method for business software requirements specification

    Information and Software Technology, Vol. 44, Núm. 2, pp. 65-75

  2. Erratum: Bases for the development of LAST - A formal method for business software requirements specification (Information and Software Technology (2002) 44 (65-75) PII: S0950584901002099)

    Information and Software Technology, Vol. 44, Núm. 6, pp. 393

2000

  1. The LAST project: Development of a formal method for IS-specification and of a CASE-tool for IS-design

    Proceedings - Asia-Pacific Software Engineering Conference, APSEC, pp. 54-61