Now showing items 1-1 of 1

    • Towards Formalizing Assumptions on Architectural Level: A Proof-of-Concept 

      Al Mamun, Abdullah; Tichy, Matthias; Hansson, Jörgen (Departmen of Computer Science and Engineering, 2012-09-10)
      While designing an architecture, architects often make assumptions about different factors like execution environment, structural properties of the artifacts, properties of input/output data etc. Implicit and invalid ...