Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
The software engineering community has documented countless success stories where lean and agile software development practices have rescued failing projects and helped countless ...
This paper presents a systematic method for simultaneously defining a software architecture and selecting off-the-shelf components for reuse. The method builds upon existing tec...
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
Web services technology has become a key technology for system integration and the implementation of service-oriented architectures. However, many organizations are still facing c...