Martin Große-Rhode – författare
Visar alla böcker från författaren Martin Große-Rhode. Handla med fri frakt och snabb leverans.
4 produkter
Integration of Software Specification Techniques for Applications in Engineering
Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
Av Hartmut Ehrig, Werner Damm m. fl.
Häftad, 2004
561 kr
Lägg i varukorg
This volume is a documentation of the main results in the research area "In- gration of Software Speci?cation Techniques for Applications in Engineering". On one hand it is based on the Priority Program "Integration von Techniken der Softwarespezi?kation fur .. ingenieurwissenschaftliche …
Semantic Integration of Heterogeneous Software Specifications
Inbunden, 2003
1668 kr
Lägg i varukorg
In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Because of the unavoidable heterogeneity of the viewpoint models, a semantic integration is required, to establish the correspondences of the models and …
Mathematisch-strukturelle Grundlagen der Informatik
Av Hartmut Ehrig, Bernd Mahr m. fl.
Häftad, 2001
409 kr
Lägg i varukorg
In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich …
Semantic Integration of Heterogeneous Software Specifications
Häftad, 2010
1668 kr
Lägg i varukorg
In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Because of the unavoidable heterogeneity of the viewpoint models, a semantic integration is required, to establish the correspondences of the models and …
