Software Components and Formal Methods from a Computational Viewpoint

Doctoral thesis German OPEN
Lambertz, Christian;
  • Publisher: Universit├Ąt Mannheim
  • Subject: 004 Informatik

Software components and the methodology of component-based development offer a promising approach to master the design complexity of huge software products because they separate the concerns of software architecture from individual component behavior and allow for reusa... View more
Share - Bookmark