Static Consistency Checking for Distributed Specifications

  title={Static Consistency Checking for Distributed Specifications},
  author={Christian Nentwich and Wolfgang Emmerich and Anthony Finkelstein},
Software engineers building a complex system make use of a number of informal and semi-formal notations. We describe a framework, xlinkit, for managing the consistency of development artifacts expressed in such notations. xlinkit supports distributed software engineering by providing a distribution-transparent language for expressing constraints between… CONTINUE READING

7 Figures & Tables



Citations per Year

135 Citations

Semantic Scholar estimates that this publication has 135 citations based on the available data.

See our FAQ for additional information.