Author of the publication

CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code.

, , , and . MSVVEIS, page 128-133. INSTICC Press, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Akhlaki, Kawtar Benghazi
add a person with the name Akhlaki, Kawtar Benghazi
 

Other publications of authors with the same name

A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models., , , and . Sci. Comput. Program., 65 (1): 41-56 (2007)CloudFit: A Cloud-Based Mobile Wellness Platform Supported by Wearable Computing., , , and . ISAmI, volume 291 of Advances in Intelligent Systems and Computing, page 151-159. Springer, (2014)Goal-Oriented Software Architecting., , , , , , , and . Relating Software Requirements and Architectures, Springer, (2011)Coordination of Speech Recognition Devices in Intelligent Environments with Multiple Responsive Devices., , , and . UCAmI, volume 31 of MDPI Proceedings, page 54. MDPI, (2019)Applying model-driven engineering to a method for systematic treatment of NFRs in AmI systems., , , , , and . J. Ambient Intell. Smart Environ., 5 (3): 287-310 (2013)A Communication Model to Integrate the Request-Response and the Publish-Subscribe Paradigms into Ubiquitous Systems., , , , , and . Sensors, 12 (6): 7648-7668 (2012)A Model-Driven Approach for the Development of Middleware Technologies for Ubiquitous Systems., , , , and . Intelligent Environments, page 16-23. IEEE, (2013)Towards the Correctness Verifcation of Business Processes Modelled with UML., , and . JISBD, page 159-170. (2008)Component-Based Design for Multi-tenant Multi-target Support in the Cloud., , , , and . EOMAS@CAiSE, volume 153 of Lecture Notes in Business Information Processing, page 146-160. Springer, (2013)Designing a Middleware-Based Framework to Support Multiparadigm Communications in Ubiquitous Systems., , , and . ISAmI, volume 153 of Advances in Intelligent and Soft Computing, page 163-170. Springer, (2012)