research

Enriching OCL Using Observational Mu-Calculus

Authors
Publication date
1 January 2002
Publisher
'Springer Science and Business Media LLC'
Doi

    Abstract

    Abstract. The Object Constraint Language is a textual specificatio

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Edinburgh Research Explorer

      redirect
      oaioai:pure.ed.ac.uk:publications...
      Last time updated on 08/02/2015

      University of St Andrews Research Portal

      redirect
      oaioai:research-portal.st-andrews...
      Last time updated on 17/07/2024

      Crossref

      redirect
      Last time updated on 28/03/2019

      University of St. Andrews - Pure

      redirect
      oaioai:research-portal.st-andrews...
      Last time updated on 29/01/2024

      Edinburgh Research Explorer

      redirect
      oaioai:pure.ed.ac.uk:openaire/947...
      Last time updated on 20/11/2025

      University of St. Andrews - Pure

      redirect
      oaioai:research-portal.st-andrews...
      Last time updated on 29/01/2024