Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir 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
Ergebnisse pro Seite:  10

Baumgartner, Peter; Tinelli, Cesare

The model evolution calculus

Koblenz-Landau: Univ., Inst. für Informatik 2003 0 S. (Fachberichte Informatik ; 2003,1-9)


Noda, Itsuki; Stone, Peter; Obst, Oliver

The RoboCup Soccer Server and CMUnited Clients: Implemented Infrastructure for MAS Research

Boston, Mass. [u.a.]: Kluwer Academic Publ. 2003 S. 101 - 120


Ebert, J.; Winter, A.

Towards Specifying Reengineering Services Using graph based Schemas

http://www.bauhaus-stuttgart.de/sam/ebert.pdf Proceedings Software Analysis and Maintenance: Practices, Tools, Interoperability}, STEP 2003, Amsterdam. Bd. http://www.bauhaus-stuttgart.de/sam/ebert.pdf Proceedings Software Analysis and Maintenance: Practices, Tools, Interoperability}, STEP 2003, Amsterdam. 2003


Shabalin, Pasha; Jürjens, Jan

Towards Tool Support for UMLsec

2003


Shabalin, Pasha; Jürjens, Jan

Towards Tool Support for UMLsec (Poster Proposal)

München: Technische Universität München, Institut für Informatik 2003 S. 1 - 10


Zöbel, Dieter

Trajectory Segmentation for the Autonomous Control of Backward Motion for Truck and Trailer

IEEE Transactions on Intelligent Transportation Systems. Bd. 4. H. 2. New York, NY: IEEE Institute of Electrical and Electronics Engineers 2003 S. 59 - 66


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


Baumgartner, P.; Lakemeyer, G.; Nebel, B.

A First-Order Logic Davis-Putnam-Logemann-Loveland Procedure

Lakemeyer, G.; Nebel, B. (Hrsg). AI in the new Millenium. Morgan Kaufmann 2002


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