Publication:4436034

zbMath1024.03028MaRDI QIDQ4436034

Peter H. Schmitt

Publication date: 23 November 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2183/21830191.htm

zbMATH Keywords

UML; OCL

Mathematics Subject Classification ID

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

03B70: Logic in computer science

68Q55: Semantics in the theory of computing

03C13: Model theory of finite structures