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