PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Baresi, Luciano"

Author of the publication

copydeleteadd this publication to your clipboard
Towards automated verification of layered graph transformation specifications.

, , , and . IET Software, 3 (4): 276-291 (2009)

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 Baresi, Luciano
add a person with the name Baresi, Luciano
 

Other publications of authors with the same name

Web Services and Web 2.0: Married or Fiancés?. WSE, page 1. IEEE Computer Society, (2007)Style-based modeling and refinement of service-oriented architectures., , , and . Software and Systems Modeling, 5 (2): 187-207 (2006)Architectural Styles for Adaptive Systems: A Tutorial., and . SASO, page 237-238. IEEE Computer Society, (2012)Green Move: Towards next generation sustainable smartphone-based vehicle sharing., , , , , , , , , and 5 other author(s). SustainIT, page 1-5. IEEE, (2012)Requirements and Early Experiences in the Implementation of the SPADE Repository., , , and . ISPW, page 30-32. IEEE Computer Society, (1993)From Graph Transformation to Software Engineering and Back., and . Formal Methods in Software and Systems Modeling, volume 3393 of Lecture Notes in Computer Science, page 24-37. Springer, (2005)TDeX: A Description Model for Heterogeneous Smart Devices and GUI Generation., , and . iThings/GreenCom/CPSCom/SmartData, page 97-104. IEEE, (2018)An introduction to the workshop on requirements for systems, services, and systems of systems., , , , and . RESS, IEEE Computer Society, (2011)Software methodologies in VHDL code analysis., and . Journal of Systems Architecture, 44 (1): 3-21 (1997)Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems., , , , , , , , and . Software Engineering for Self-Adaptive Systems, volume 9640 of Lecture Notes in Computer Science, page 64-89. Springer, (2013)