Global ETD Search

1	Coalgebraische Methoden für objektorientierte Spezifikation Tews, Hendrik. January 2002 (has links) (PDF) Dresden, Techn. University, Diss., 2002. / Text engl. Softwarespezifikation
2	Ein neues Verfahren zur dynamischen Untersuchung der Entwurfsspezifikation von Echtzeit-Systemen unter Einbeziehung eines Modells des technischen Prozesses / Kurz, Eberhard. January 1990 (has links) (PDF) Universiẗat, Diss.--Stuttgart, 1990.
3	Untersuchung des Analyse- und Spezifikationsprozesses bei sd&m Nicklas, Daniela. January 1999 (has links) Stuttgart, Univ., Diplomarb., 1999.
4	Attribution von Verantwortung durch Metaphernanalyse Busse, Johannes. Unknown Date (has links) (PDF) Universiẗat, Diss., 1998--Tübingen. / Gedr. Ausg. im Wilhelm-Schickard-Inst. für Informatik, Tübingen.
5	Eine domänenübergreifende Softwarespezifikationstechnik für automatisierte Fertigungsanlagen / Molt, Thorsten. January 2003 (has links) Zugl.: Paderborn, Universiẗat, Diss., 2002.
6	Automatisierte Testfallerzeugung auf Grundlage einer zustandsbasierten Funktionsbeschreibung für Kraftfahrzeugsteuergeräte / Brost, Michael. January 2009 (has links) Zugl.: Stuttgart, Universiẗat, Diss.
7	User interface specification for interactive software systems : process-, method- and tool-support for interdisciplinary and collaborative requirements modelling and prototyping-driven user interface specification Memmel, Thomas January 2009 (has links) (PDF) Konstanz, Univ., Diss., 2009.
8	Model-based development of security-critical cystems Wimmel, Guido Oliver. Unknown Date (has links) (PDF) Techn. University, Diss., 2005--München.
9	Integration of graph transformation and temporal logic for the specification of distributed systems Koch, Manuel. Unknown Date (has links) Techn. University, Diss., 1999--Berlin.
10	Architectural styles for early goal-driven middleware platform selection Giesecke, Simon January 2008 (has links) Zugl.: Oldenburg, Univ., Diss., 2008

Search results