Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

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

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Thomas Baar, Bernhard Beckert und Peter H. Schmitt
In:Fourth Andrei Ershov International Conference on Perspectives of System Informatics
Verleger:Springer
Reihe:LNCS
Band:2244
Jahr:2001
Seiten: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}	    
}