FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Jürjens, Jan
Secure Java Development with UMLBart 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 talkCORAS Public Workshop. Regensburg. 2002
Sollazzo, Tanja; Handschuh, Siegfried; Staab, Steffen et al.
Semantic Web Service Architecture - Evolving Web Service Standards toward the Semantic WebSusan 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 GarverfahrenErfolgsfaktor Qualität. Bd. Erfolgsfaktor Qualität. Aachen: Shaker 2002 S. 95-105
Staab, Steffen; Studer, Rudi
Service WissensmanagementKü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ätzeDatenschutz und Datensicherheit. Bd. 26. H. 9. Wiesbaden: Vieweg 2002 S. 536 - 541
Dahn, Ingo; Furbach, Ulrich; Armbruster, Michael et al.
Slicing Books: The authors' perspectiveRainer 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 MutationsChris 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 SoccerNew York: ACM 2002 S. 51 - 52
Ross, M.; ZBS, Ilmenau
Statische Fuzzy Farbhistogramme8. Workshop Farbbildverarbeitung. Bd. 8. Workshop Farbbildverarbeitung. Zentrum für Bild- und Signalverarbeitung e.V. Ilmenau 2002