Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

An Extension of Dynamic Logic for Modelling OCL's @pre Operator

Reviewed Paper In Proceedings

Author(s):Thomas Baar, Bernhard Beckert, and Peter H. Schmitt
In:Fourth Andrei Ershov International Conference on Perspectives of System Informatics
Publisher:Springer
Series:LNCS
Volume:2244
Year:2001
Pages:47-54

BibTeX

@InProceedings{BaarBeckertSchmitt2001,
  author =       {Thomas Baar and Bernhard Beckert and Peter H. Schmitt},
  title =        {An Extension of {D}ynamic {L}ogic for Modelling
		  {OCL}'s {$@pre$} Operator},
  booktitle =    {Fourth Andrei Ershov International
		  Conference on Perspectives of System Informatics},
  place =	 {Novosibirsk, Russia},
  publisher =    {Springer},
  series =       {LNCS},
  volume =       {2244},
  pages =        {47--54},
  year =         {2001}	    
}