Starten Sie Ihre Suche...


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

Institut für Softwaretechnik

FB 4: Informatik / Universität Koblenz

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

Popp, Gerhard; Jürjens, Jan; Wimmel, Guido et al.

Security-critical system development with extended use cases

Wanchai Rivepiboon; Pornsiri Muenchaisri; Doo-Hwan Bae; Natawut Nupairoj; Jaluroje Chongstitvatana (Hrsg). Proceeding of the Tenth Asia-Pacific Software Engineering Conference APSEC 2003: 10. -12. December, 2003; Chiang Mai, Thailand. Los Alamitos, CA: IEEE Computer Society 2003 S. 478 - 487


Wimmel, Guido; Popp, Gerhard; Jürjens, Jan

Use Case Oriented Development of Security-Critical Systems

OMG Workshop on Distributed Objects and Components Security (DOCsec 2003). Baltimore (USA): Object Management Group (OMG) 2003


Jürjens, Jan

A Holistic View of Secure Systems Development: Using Patterns and UML - A Half-day tutorial

17th International Conference on Information Security (SEC 2002). Cairo. 2002


Jürjens, Jan

A UML statecharts semantics with message-passing

Gary B. Lamont; Hisham Haddad; George Papadopoulos; Brajendra Panda (Hrsg). Proceedings of the ACM Symposium on Applied Computing SAC 2002: Madrid, Spain; March 11 - 14, 2002. New York, NY: ACM Association for Computing Machinery 2002 S. 1009 - 1013


Jürjens, Jan

Formal Semantics for Interacting UML Subsystems

Bart Jacobs; Arend Rensink (Hrsg). Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems FMOODS 2002; March 20–22, 2002; Enschede, The Netherlands. New York: Kluwer Academic Publishers 2002 S. 29 - 43


Jürjens, Jan

Games In The Semantics Of Programming Languages - An Elementary Introduction

Synthese. Bd. 133. H. 1-2. Dordrecht: Springer 2002 S. 131 - 158


Jürjens, Jan

Methodische Entwicklung sicherer CORBA-Anwendungen

Patrick Horster (Hrsg). Enterprise Security: Grundlagen, Strategien, Anwendungen, Realisierungen. Höhenkirchen: IT-Verlag für Informationstechnik 2002 S. 120 - 131


Jürjens, Jan

Principles for secure system design

Oxford: University of Oxford, Mathematical and Physical Sciences Division 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