A Pragmatic , Rigorous Integration of Structuraland Behavioral Modeling


In this report, we describe a pragmatic, rigorous integration of the mathematical speciication language Z with well-known object modeling notations and an object-oriented variant of statecharts. The goal is to preserve the abstraction and exibility of widely-used design notations while being able to embed the precision and rigor of mathematical speciication… (More)


1 Figure or Table

Slides referencing similar topics