• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 21
  • 9
  • 2
  • Tagged with
  • 32
  • 22
  • 11
  • 9
  • 9
  • 6
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Composition of hierarchic default specifications

Alves Campos de Sousa Dionísio, Francisco Miguel. January 1997 (has links) (PDF)
Hannover, University, Diss., 1997.
2

Eine formale algorithmische Synthese digitaler Schaltungen

Kapp, Kai. January 2005 (has links) (PDF)
Universiẗat, Diss., 2005 u.d.T.: Knapp, Kai: Eine automatisierte optimierende formale Synthese steuerflussbehafteter Schaltungsbeschreibungen--Karlsruhe.
3

Requirements engineering für GIS-Applikationen /

Kösters, Georg. January 1997 (has links)
Zugl.: Hagen, FernUniversiẗat, Diss., 1997.
4

Platform-independent modeling of synthesizable software systems using UML 2

Schattkowsky, Tim January 2008 (has links)
Zugl.: Paderborn, Univ., Diss., 2008
5

Qualitätsprüfung im Anfrageoptimierungsprozess relationaler Datenbanksysteme

Arendt, Volker January 2003 (has links)
Zugl.: Wuppertal, Univ., Diss., 2003
6

Spezifikation und Anwendung einer Modellierungssprache für die Automatisierungstechnik auf Basis der Unified Modeling Language (UML)

Katzke, Uwe January 2008 (has links)
Zugl.: Kassel, Univ., Diss., 2008
7

System-level modeling and design with the SpecC language

Dömer, Rainer. Unknown Date (has links)
University, Diss., 2000--Dortmund. / Dateiformat: PDF.
8

Executable HybridUML semantics : a transformation definition

Bisanz, Stefan January 2005 (has links) (PDF)
Bremen, Univ., Diss., 2005
9

Modellgetriebene Entwicklung managementfähiger Anwendungssysteme

Mehl, Oliver January 2006 (has links)
Zugl.: Karlsruhe, Univ., Diss., 2006
10

Applications of property based synthesis in formal verification

Schickel, Martin January 2009 (has links)
Zugl.: Darmstadt, Techn. Univ., Diss., 2009

Page generated in 0.1569 seconds