Skip to main content

2 Result(s)

within Computer Science Remove this filter Logics and Meanings of Programs Remove this filter Management of Computing and Information Systems Remove this filter **njiang Hu Remove this filter Conference Paper Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Validity Checking of Putback Transformations in Bidirectional Programming

    A bidirectional transformation consists of pairs of transformations —a forward transformation get produces a target view from a source, while a putback transformation put puts back modifications on the view to th...

    Zhenjiang Hu, Hugo Pacheco, Sebastian Fischer in FM 2014: Formal Methods (2014)

  2. No Access

    Chapter and Conference Paper

    Generating Synchronization Engines between Running Systems and Their Model-Based Views

    The key point to leverage model-based techniques on runtime system management is to ensure the correct synchronization between the running system and its model-based view. In this paper, we present a generativ...

    Hui Song, Yingfei **ong, Franck Chauvel, Gang Huang… in Models in Software Engineering (2010)