On relating functional specifications to architectural specifications: A case study

@article{Corradini2006OnRF,
  title={On relating functional specifications to architectural specifications: A case study},
  author={Flavio Corradini and Paola Inverardi and Alexander L. Wolf},
  journal={Sci. Comput. Program.},
  year={2006},
  volume={59},
  pages={171-208}
}
Software architecture specifications are predominantly concerned with describing the component structure of systems and how the components interact behaviorally. Little attention has been paid to formally relating those specifications to higher levels of specification, such as the system requirements. In this paper we present our progress toward addressing an instance of this problem, namely relating state-based software architecture specifications to high-level functional specifications. Our… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 24 references

Proceedings of the First International Workshop from Software Requirements to Architectures (STRAW ’01)

  • J. Kramer, J. Castro, editors
  • IEEE Computer Society,
  • 2001
1 Excerpt

Similar Papers

Loading similar papers…