Recently, modeling has received a lot of attention in the design of embedded computing systems. StateCharts is one of the modeling specifications which has been successfully imple...
Stephan Schulz II, T. C. Ewing, Jerzy W. Rozenblit
Requirements specification has long been acknowledged as an area for further research in the development of systems, particularly for those that are computer based. In addition, a...
The integration of software tools used in an engineering process is a problem that arises frequently in large-scale engineering projects. Traditional approaches are insufficient f...
Quantitative techniques have traditionally been used to assess software architectures. We have found that early in the development process there is often insufficient quantitative...
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
Reusing assets during application engineering promises to improve the efficiency of systems development. However, in order to benefit from reusable assets, application engineeri...
Joachim Bayer, Cristina Gacek, Dirk Muthig, Tanya ...
We apply the XMC model checker to the Java metalocking algorithm, a highly optimized technique for ensuring mutually exclusive access by threads to object monitor queues. Our abst...
In this paper, we give an overview of the trade-off to improve yield and optimize silicon manufacturing cost. The specific technology focus is on large embedded memories in comple...