Incorporating Non-functional Requirements into Software Architectures

  title={Incorporating Non-functional Requirements into Software Architectures},
  author={Nelson Souto Rosa and George R. Ribeiro-Justo and Paulo Roberto Freire Cunha},
  booktitle={IPDPS Workshops},
The concept of software architecture has created a new scenario for incorporating non-functional and transactional requirements into the software design. Transactional and non-functional requirements can be included in an architecture-based software development through formal approaches in which rst-order and temporal logic are utilised to deal with them. In this paper, we present an approach in which transactional and non-functional requirements are formally incorporated into a special class… CONTINUE READING


Publications referenced by this paper.
Showing 1-8 of 8 references

Formal Speci cation of Evolving Distributed Software Architectures. International Workshop on Coordination Technologies for Information Systems(CTIS'98)

  • G.R.R. Justo, Paula, V.C.C. de, P.R.F. Cunha
  • Viena Austria
  • 1998
Highly Influential
3 Excerpts

A Framework for Systematic Synthesis of Transactional Middleware. Middleware'98

  • A. Zarras, V. Issarny
  • The Lake District England
  • 1998
2 Excerpts

Formal Speci cation of Evolving Distributed Software Architectures

  • G. R. R. Justo, V. C. C. de Paula, P. R. F. Cunha
  • International Workshop on Coordination…
  • 1998

Requirements Engineering: Process and Techniques

  • G. Kotonya, I. Sommerville
  • 1998
1 Excerpt

Similar Papers

Loading similar papers…