- 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.
Search results
Showing 71 to 80 of 157 (0.084 seconds)| 71 |
Tcl/TkPönisch, Jens 03 April 2000 (has links) (PDF)
Einführung in die Script- und eingebettete
Sprache Tcl/Tk. Einsatzmöglichkeiten als
Scriptsprache, bei Internetanwendungen und
zur Erstellung graphischer Programmoberflächen.
|
| 72 |
Information flow control for Java a comprehensive approach based on path conditions in dependence graphsHammer, Christian January 2009 (has links)
Zugl.: Karlsruhe, Univ., Diss., 2009 / Hergestellt on demand
|
| 73 |
Applications of property based synthesis in formal verificationSchickel, Martin January 2009 (has links)
Zugl.: Darmstadt, Techn. Univ., Diss., 2009
|
| 74 |
A Catalog of Reusable Design Decisions for Developing UML- and MOF-based Domain-Specific Modeling LanguagesHoisl, Bernhard, Sobernig, Stefan, Schefer-Wenzl, Sigrid, Strembeck, Mark, Baumgrass, Anne 06 1900 (has links) (PDF)
In the process of model-driven development (MDD) of software artifacts, domain-specific modeling languages (DSMLs) are an integral part. They act as the communication vehicle for aligning the requirements of the domain expert with the needs of the software engineer. With the rise of the UML as de facto standard for modeling software systems, MOF/UML-based DSMLs are now widely used for MDD. This paper documents design decisions from ten DSML projects which are based on the MOF/UML and which we conducted over the last years. We present our experiences in the form of reusable decision templates for all decision points detected in each phase of the DSML development process. Furthermore, we report also on identified decision dependencies which may occur within a single decision or between two decisions. (author's abstract) / Series: Technical Reports / Institute for Information Systems and New Media
|
| 75 |
An integrated operational semantics for a UML core based on graph transformationZiemann, Paul January 2005 (has links)
Zugl.: Bremen, Univ., Diss., 2005
|
| 76 |
Specification and verification of object oriented software componentsRoth, Andreas. January 2006 (has links)
University, Diss., 2006--Karlsruhe.
|
| 77 |
A model driven architecture for adaptable overlay networksBehnel, Stefan. Unknown Date (has links)
Techn. University, Diss., 2007--Darmstadt.
|
| 78 |
Validierung von Softwareanforderungen mit Hilfe ausführbarer Aktivitätsmodelle /Behrens, Henrik. January 2005 (has links)
FernUniversiẗat, Diss.--Hagen, 2004.
|
| 79 |
Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalenceSabel, David January 2008 (has links)
Zugl.: Frankfurt (Main), Univ., Diss., 2008
|
| 80 |
Persistente Objekte in EiffelRudolph, Peter. January 1997 (has links)
Stuttgart, Univ., Fakultät Informatik, Diplomarb., 1997.
|
Page generated in 0.0903 seconds