In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...
Marius Bozga, Susanne Graf, Laurent Mounier, Iulia...
: As more third-party software components are available in the commercial market, more people begin to use the component-based software engineering approach to developing component...
Although the potential impacts of virtual communities have been widely recognized in business and academia, little research has been done to provide guidelines for design of such ...
: We consider a set of programs a family when it pays to look at their common aspects before looking at their differences. For commercial software developers the implications are t...
Numerical simulation of partial differential equations (PDEs) plays a crucial role in predicting the behavior of physical systems and in modern engineering design. However, in ord...