Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Schulze, M.; Ebert, J.; Glinz, M. et al.
Prozessmodell-basierte Präsentation von Produktionsfehler-BeschreibungenModellierung 2002, Gesellschaft für Informatik. Bd. Modellierung 2002, Gesellschaft für Informatik. Bonn. 2002 S. 147--157
Gross-hardt, Margret; Gross - Hardt, M.
Querying Concepts - An approach to retrieve XML data by means of their data types17. WLP - Workshop ´Logische Programmierung´. 2002
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
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
Murray, Jan; Obst, Oliver; Stolzenburg, Frieder
Team Descriptions - Simulation League - RoboLog Koblenz 2001Lecture notes in computer science. Bd. 2377. Berlin: Springer 2002 S. 526 - 530
Obst, Oliver
Technical Papers - Full Papers - Specifying Rational Agents with Statecharts and Utility FunctionsLecture notes in computer science. Bd. 2377. Berlin: Springer 2002 S. 173 - 182
Wimmel, Guido; Popp, Gerhard; Jürjens, Jan
Towards Using Security Patterns in Model-based System Development7th European Conference on Pattern Languages of Programs (EuroPLoP 2002). Kloster Irsee. 2002