Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
Two overriding concerns in the development of embedded MPSoCs are ease of programming and hardware complexity. In this paper we present SoC-TM, an integrated HW/SW solution for tr...
Cesare Ferri, Andrea Marongiu, Benjamin Lipton, R....
In an investigating study to trace the productivity changes of a commercial software project, which uses incremental and iterative development model, we've found evidence tha...
Thomas Tan, Qi Li, Barry W. Boehm, Ye Yang, Mei He...
This paper presents a generic software architecture for large-scale distributed applications in which mobile agents are an integral part. We developed this architecture through th...
Component-based software engineering (CBSE) spans a range of technologies and engineering practices. Engineering practices for component-based systems (e.g., design, integrate, te...