Starten Sie Ihre Suche...


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

Institut für Informatik

FB 4: Informatik / Universität Koblenz

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

Jansen, David N.; Jürjens, Jan; Cengarle, Maria Victoria et al.

Probabilistic UML statecharts for specification and verification: a case study

Maria Victoria Cengarle; Eduardo B. Fernandez; Jan Jürjens; Bernhard Rumpe; Robert Sandner (Hrsg). Workshop on Critical Systems Development with UML: CSDUML 2002; September 30, 2002 Dresden. München: Technische Universität München, Institut für Informatik 2002 S. 121 - 131


Schulze, M.; Ebert, J.; Glinz, M. et al.

Prozessmodell-basierte Präsentation von Produktionsfehler-Beschreibungen

Modellierung 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 types

17. WLP - Workshop ´Logische Programmierung´. 2002


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


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


Murray, Jan; Obst, Oliver; Stolzenburg, Frieder

Team Descriptions - Simulation League - RoboLog Koblenz 2001

Lecture 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 Functions

Lecture notes in computer science. Bd. 2377. Berlin: Springer 2002 S. 173 - 182