Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

FB 4: Informatik

Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-2501
  • 0261/287-2502
Publikationen
PDF | RTF
Ergebnisse pro Seite:  10

Jürjens, Jan

Secure Java Development with UML

Bart De Decker; Frank Piessens; Jan Smits; Els Van Herreweghen (Hrsg). Advances in Network and Distributed Systems Security: IFIP TC11 WG11.4; First Annual Working Conference on Network Security; November 26-27, 2001, Leuven, Belgium. New York: Kluwer Academic Publishers 2002 S. 107 - 124


Jürjens, Jan

Secure Systems Development with UML - Applications to Telemedicine: Invited talk

CORAS Public Workshop. Regensburg. 2002


Sollazzo, Tanja; Handschuh, Siegfried; Staab, Steffen et al.

Semantic Web Service Architecture - Evolving Web Service Standards toward the Semantic Web

Susan Haller; Gene Simmons (Hrsg). Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference FLAIRS: May 14-16, 2002; Pensacola Beach, Florida, USA. Menlo Park, CA: AAAI Press 2002 S. 425 - 429


Ziems, M.; Schmitt, S.; Schlich, E.

Sensorsiche Prüfung von Lebensmitteln nach Verwendung moderner Garverfahren

Erfolgsfaktor Qualität. Bd. Erfolgsfaktor Qualität. Aachen: Shaker 2002 S. 95-105


Staab, Steffen; Studer, Rudi

Service Wissensmanagement

Künstliche Intelligenz. Bd. 16. H. 1. Bremen: ArenDTaP 2002 S. 42


Wimmer, Maria A.; von Bredow, Bianca

Sicherheitskonzepte für e-Government. Technische versus ganzheitliche Ansätze

Datenschutz und Datensicherheit. Bd. 26. H. 9. Wiesbaden: Vieweg 2002 S. 536 - 541


Dahn, Ingo; Furbach, Ulrich; Armbruster, Michael et al.

Slicing Books: The authors' perspective

Rainer Bromme; Elmar Stahl (Hrsg). Writing Hypertext and Learning: Conceptual and Empirical Approaches. Amsterdam: Pergamon 2002 S. 125 - 152


Wimmel, Guido; Jürjens, Jan

Specification-based Test Generation for Security-Critical Systems Using Mutations

Chris George; Huaikou Miao (Hrsg). Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21. - 25., 2002 Proceedings. Berlin: Springer 2002 S. 471 - 482


Murray, J.; Castelfranchi, C.; Johnson, W. L.

Specifying Agents with UML in Robotic Soccer

New York: ACM 2002 S. 51 - 52


Ross, M.; ZBS, Ilmenau

Statische Fuzzy Farbhistogramme

8. Workshop Farbbildverarbeitung. Bd. 8. Workshop Farbbildverarbeitung. Zentrum für Bild- und Signalverarbeitung e.V. Ilmenau 2002