Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Baumgartner, Peter; Tinelli, Cesare
The model evolution calculusKoblenz-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 ResearchBoston, Mass. [u.a.]: Kluwer Academic Publ. 2003 S. 101 - 120
Ebert, J.; Winter, A.
Towards Specifying Reengineering Services Using graph based Schemashttp://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 UMLsec2003
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 TrailerIEEE 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 SystemsOMG 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 ProcedureLakemeyer, 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 tutorial17th International Conference on Information Security (SEC 2002). Cairo. 2002
Jürjens, Jan
A UML statecharts semantics with message-passingGary 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