Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Suche


29281 Treffer


× Publikationen
× < 2021
× Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
× Universität Koblenz
× Hochschule Mainz
× Technische Hochschule Bingen





  • Jürjens, Jan; Ochoa, Martín; Schmidt, Holger et al.
  • Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications
  • Marco Bernardo;Valérie Issarny (Hrsg). Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Berlin: Springer 2011 S. 504 - 526

  • Trendowicz, Adam; Heidrich, Jens; Shintani, Katsutoshi
  • Aligning software projects with business objectives
  • Joint Conference of the Int'l Workshop on and International Conference on Software Process and Product Measurement Software Measurement. Nara: IEEE 2011