FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Nurmuliani, Nur; Zowghi, Didar; Williams, Susan P.
Characterising Requirements Volatility: An Empirical Case StudyRoss Jeffery; Lucila Carvalho (Hrsg). Proceedings of the ISESE 2005 International Symposium on Empirical Software Engineering: 17-18 November 2005 Noosa Heads, Queensland, Australia. Los Alamitos, CA: IEEE Computer Society 2005 S. 427 - 436
Jürjens, Jan
Code Security Analysis of a Biometric Authentication System Using Automated Theorem ProversDan Thomsen; Christoph Schuba; Charles Payne (Hrsg). Proceedings of the 21st Annual Computer Security Applications Conference ACSAC 2005: 5-9 December 2005; Tucson, Arizona. Los Alamitos, CA: IEEE Computer Society 2005 S. 138 - 149
Jürjens, Jan; Yampolskiy, Mark
Code security analysis with assertionsDavid F. Redmiles; Tom Ellman; Andrea Zisman (Hrsg). Proceeding of the 20th IEEE/ACM International Conference on Automated Software Engineering ASE 2005: Long Beach, California, USA; November 7-11, 2005. New York, NY: ACM Association for Computing Machinery 2005 S. 392 - 395
Wagner, Stefan; Jürjens, Jan; Koller, Claudia et al.
Comparing Bug Finding Tools with Reviews and TestsFerhat Khendek; Rachida Dssouli (Hrsg). Testing of Communicating Systems: 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005. Proceedings. Berlin: Springer 2005 S. 40 - 55
Jürjens, Jan; Wagner, Stefan
Component-Based Development of Dependable Systems with UMLColin Atkinson; Christian Bunse; Hans-Gerhard Gross; Christian Peper (Hrsg). Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends. Berlin: Springer 2005 S. 320 - 344
Schmidt, Clemens; Tavernier, Ludwig; Dickscheid, Timo et al.
Computer Analysis of OrnamentsVito Cappellini; James Hemsley (Hrsg). EVA 2005 Florence: Conference, Workshops, Meetings, Training & Exhibition, 14 - 18 March 2005. Bologna: Pitagora Editrice 2005 S. 129 - 134
Houmb, Siv Hilde; Georg, Geri; France, Robert B. et al.
Cost-Benefit Trade-Off Analysis using BBN for Aspect- Oriented Risk-Driven DevelopmentCarlo Ghezzi; Yuxi Fu; Shaoying Liu; Jim Woodcock (Hrsg). Proceeding of the 10th IEEE International Conference on Engineering of Complex Computer Systems ICECCS 2005: 16-20 June 2005; Shanghai, China. Los Alamitos, CA: IEEE Computer Society 2005 S. 195 - 204
Houmb, S. H.; Jürjens, Jan; France, R.
Critical Systems Development Using Modeling Languages2005 (TU München Technical Report)
Jürjens, Jan; Fernández, Eduardo B.; France, Robert B. et al.
Critical Systems Development Using Modeling Languages (CSDUML’04): Current Development and Future Challenges (Report on the Third International Workshop)Nuno Jardim Nunes; Bran Selic; Alberto Rodrigues da Silva; Toval Ambrosio (Hrsg). UML Modeling Languages and Applications: 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers. Berlin: Springer 2005 S. 76 - 84
Fislake, Martin
Das Museum richtig heizen. Ein Planspiel als Informations- und EntscheidungstrainingUnterricht Arbeit + Technik. Bd. 6. H. 25. Seelze: Friedrich 2005 S. 22 - 46