Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
Abstract. Software Product Lines (SPL) promote reuse within an application domain in an organized fashion. Preimplemented software components are arranged according to a product li...
Pedro O. Rossel, Daniel Perovich, M. Cecilia Basta...
The continuous changes in customer requirements as well as the ever-increasing market-driven demand of innovation makes automotive software projects success strongly dependent on t...
Fabrizio Fabbrini, Mario Fusani, Giuseppe Lami, Ed...