Reconfigurable devices, such as FPGAs, introduce into the design workflow of embedded systems a new degree of freedom: the designer can have the system autonomously modify the fun...
Carlo Amicucci, Fabrizio Ferrandi, Marco D. Santam...
Design patterns are micro architectures that have proved to be reliable, easy-to implement and robust. There is a need in science and industry for recognizing these patterns. We p...
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
Samuel Colin, Dorian Petit, Vincent Poirriez, J&ea...
Design patterns address a recurring design problem for a specific situation, and present a solution. Design patterns have proven useful in many engineering disciplines such as Sof...
Syed Obaid Amin, Muhammad Shoaib Siddiqui, Choong ...
Many approaches have been developed for modeling the functional aspects of Web applications, but there is a lack of a modeling language for their architectural concerns. This paper...