This paper presents a comprehensive formulation of a linearized state space process model for a generic two-reactant-two-product reactive distillation system. The development of t...
We show how to combine program slicing and constraint solving in order to obtain better slice accuracy. The method is used in the VALSOFT slicing system. One particular applicatio...
To reduce cloud system resource cost, application consolidation is a must. In this paper, we present a novel patterndriven application consolidation (PAC) system to achieve efficie...
Application domain description precedes requirements engineering, and is the basis for the development of a software or information system that satisfies all expectations of its u...
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...
Robert Chatley, Jeff Kramer, Jeff Magee, Sebasti&a...