Static Consistency Checking for Distributed Specifications

@inproceedings{Nentwich2001StaticCC,
  title={Static Consistency Checking for Distributed Specifications},
  author={Christian Nentwich and Wolfgang Emmerich and Anthony Finkelstein},
  booktitle={ASE},
  year={2001}
}
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

Topics

Statistics

02040'01'03'05'07'09'11'13'15'17
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.