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
569 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
1693 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
415 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
1693 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 …
