Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
404 Publications
2000 | Conference Paper | LibreCat-ID: 8341
Gadducci F, Heckel R, Koch M. A Fully Abstract Model for Graph-Interpreted Temporal Logic. In: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany). Vol 1764. LNCS. London, UK: Springer; 2000:310-322. doi:http://dx.doi.org/10.1007/b75045
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8342
Engels G, Zamperoni A. Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?! In: Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands). Vol 1779. LNCS. Berlin/Heidelberg: Springer; 2000:359-368. doi:http://dx.doi.org/10.1007/3-540-45104-8_28
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8343
Heckel R, Sauer S. Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML. In: Proceedings of the 7th GI-Workshop GROOM. Vol 20. University of Koblenz-Landau; 2000:43-44.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8344
Heckel R, Sauer S. Strengthening the Semantics of UML Collaboration Diagrams. In: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany). Munich (Germany): Ludwig-Maximilians-University; 2000:63-69.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8345
Küster J, Stroop J. Towards Consistency of Dynamic Models and Analysis of Timing Constraints. In: Proceedings of 1st Workshop on Formal Design Techniques for Real-Time Systems (Satellite Event of the UML 2000), York (UK). York, UK: University of York; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8346
Mehner K, Schattkowsky T. Methodische Aspekte von Modellierungssprachen für nebenläufige Software. In: Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany). Vol 24. Universität Münster; 2000:14-18.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8347
Mehner K, Wagner A. Visualisierung der Synchronisation von Java-Threads mit UML. In: Proceedings of the Workshop on Modelle Und Modellierungssprachen in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany). Vol 15. Koblenzer Schriften zur Informatik. Fölbach; 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 8422
Kremer H-H, Sloane PFE. Existenzgründung: Kapitalbedarfsermittlung und -beschaffung. In: Pahl J-P, Rach G, eds. Zusätzliche Bildungsangebote beruflichen Lernens - Konzepte und Materialien für gewerblich-technische Berufe. Seelze-Velber; 2000:191-225.
LibreCat
2000 | Book Chapter | LibreCat-ID: 8455
Kremer H-H, Sloane PFE. Lernfeldkonzept - Erste Umsetzungserfahrungen und Konsequenzen für die Implementation. In: Bader R, Sloane PFE, eds. Lernen in Lernfeldern - Theoretische Analysen und Gestaltungsansätze zum Lernfeldkonzept. Markt Schwaben; 2000:71-84.
LibreCat
2000 | Book Chapter | LibreCat-ID: 8456
Kremer H-H, Sloane PFE. Lern- und Maßnahmeerfolg “Fächer- und Lernortübergreifender Lehr- Lernarrangements” - Erste Projektergebnisse. In: Kaiser FJ, ed. Berufliche Bildung in Deutschland für das 21. Jahrhundert. Nürnberg; 2000:135-144.
LibreCat