Self-adaptive software continually evaluates and modifies its own behavior to meet changing demands. One of the key issues in constructing such software is that of planning when a...
We present a translation from the call-by-value λ-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pas...
The selection of software architecture style is an important decision of design stage, and has a significant impact on various system quality attributes. To determine software arc...
A distributed software system’s deployment architecture can have a significant impact on the system’s properties, which depend on various system parameters, such as network ba...
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...