This paper argues for new computational mechanisms to aid specification of requirements for composite systems. It presents mechanisms for storing specification fragments, or viewp...
Neil A. M. Maiden, Alistair G. Sutcliffe, Petia As...
This article is a survey of developments in algorithmic convex geometry over the past decade. These include algorithms for sampling, optimization, integration, rounding and learni...
Domain-specific modeling solutions have been promoted for some time in order to improve the productivity of software developers by providing them with modeling environments that ar...
Software architectural modeling is crucial to the development of high-quality software. Software engineering tool support is required for this activity, so that models can be deve...
Human interaction like entering some data, making decisions etc. has to be dealt with as an integral part of today’s business processes and the supporting IT likewise. Hence, hu...
Stefan Link, Philip Hoyer, Tilmann Kopp, Sebastian...