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. (2000). 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, pp. 310–322). London, UK: Springer. http://dx.doi.org/10.1007/b75045
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8342
Engels, G., & Zamperoni, A. (2000). 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, pp. 359–368). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-45104-8_28
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8343
Heckel, R., & Sauer, S. (2000). Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML. In Proceedings of the 7th GI-Workshop GROOM (Vol. 20, pp. 43–44). University of Koblenz-Landau.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8344
Heckel, R., & Sauer, S. (2000). Strengthening the Semantics of UML Collaboration Diagrams. In Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany) (pp. 63–69). Munich (Germany): Ludwig-Maximilians-University.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8345
Küster, J., & Stroop, J. (2000). 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.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8346
Mehner, K., & Schattkowsky, T. (2000). 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, pp. 14–18). Universität Münster.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8347
Mehner, K., & Wagner, A. (2000). 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). Fölbach.
LibreCat
2000 | Book Chapter | LibreCat-ID: 8422
Kremer, H.-H., & Sloane, P. F. E. (2000). Existenzgründung: Kapitalbedarfsermittlung und -beschaffung. In J.-P. Pahl & G. Rach (Eds.), Zusätzliche Bildungsangebote beruflichen Lernens - Konzepte und Materialien für gewerblich-technische Berufe (pp. 191–225). Seelze-Velber.
LibreCat
2000 | Book Chapter | LibreCat-ID: 8455
Kremer, H.-H., & Sloane, P. F. E. (2000). Lernfeldkonzept - Erste Umsetzungserfahrungen und Konsequenzen für die Implementation. In R. Bader & P. F. E. Sloane (Eds.), Lernen in Lernfeldern - Theoretische Analysen und Gestaltungsansätze zum Lernfeldkonzept (pp. 71–84). Markt Schwaben.
LibreCat
2000 | Book Chapter | LibreCat-ID: 8456
Kremer, H.-H., & Sloane, P. F. E. (2000). Lern- und Maßnahmeerfolg “Fächer- und Lernortübergreifender Lehr- Lernarrangements” - Erste Projektergebnisse. In F. J. Kaiser (Ed.), Berufliche Bildung in Deutschland für das 21. Jahrhundert (pp. 135–144). Nürnberg.
LibreCat