Semantic Integration of Heterogeneous Software Specifications von Große-Rhode, Martin

Volltext öffnen

Concepts for the evolution of component-based software systems von Große-Rhode, Martin

Transition specifications & the algebraic core of the Z notation von Große-Rhode, Martin, Martini, Alfio

First steps towards an institution of algebra replacement systems von Große-Rhode, Martin

Specification techniques for concurrent and distributed systems von Ehrig, Hartmut 1944-2016, Große-Rhode, Martin, Heise, Andreas

Inhaltsverzeichnis

Semantic integration of heterogeneous software specifications von Große-Rhode, Martin

Inhaltsverzeichnis

Semantic integration of heterogeneous software specifications von Große-Rhode, Martin

Semantic integration of heterogeneous formal specifications via transformation systems von Große-Rhode, Martin

Specification of transition categories an approach to dynamic abstract data types von Große-Rhode, Martin

Inhaltsverzeichnis

Structural theory of algebraic specifications in a specification logic von Ehrig, Hartmut 1944-2016, Große-Rhode, Martin

Specification of state based systems by algebra rewrite systems and refinements von Große-Rhode, Martin

On the role of category theory in the area of algebraic specifications von Ehrig, Hartmut 1944-2016, Große-Rhode, Martin, Wolter, Uwe

Categorical concepts for parameterized partial specifications von Classen, Ingo, Große-Rhode, Martin, Wolter, Uwe

Algebraic specification of action trees and recursive processes von Große-Rhode, Martin, Dimitrovici, Cristian

Structural theory of algebraic specifications in a specification logic von Ehrig, Hartmut 1944-2016, Große-Rhode, Martin

Transformation of combined data type and process specifications using projection algebras von Große-Rhode, Martin, Ehrig, Hartmut 1944-2016