Communicating sequential processes
Communicating sequential processes
Evaluation criteria for functional specifications
ICSE '90 Proceedings of the 12th international conference on Software engineering
Identifying and Qualifying Reusable Software Components
Computer - Special issue on cryptography
The Z notation: a reference manual
The Z notation: a reference manual
Selected papers of the Second Workshop on Concurrency and compositionality
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Adding performance information to ADT interfaces
IDL '94 Proceedings of the workshop on Interface definition languages
A knowledge-based program transformation system
CAiSE '94 Proceedings of the 6th international conference on Advanced information systems engineering
Formalizing style to understand descriptions of software architecture
ACM Transactions on Software Engineering and Methodology (TOSEM)
Requirements and Specification Exemplars
Automated Software Engineering
Identifying Quality-Requirement Conflicts
IEEE Software
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
The Treatment of Non-Functional Requirements in MIKE
Proceedings of the 5th European Software Engineering Conference
Systematic Formulation of Non-Functional Characteristics of Software
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Capturing and Verifying Performance Requirements for Hard Real Time Systems
Ada-Europe '97 Proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies
Security policy refinement and enforcement for the design of multi-level secure systems
Journal of Computer Security - Privacy, Security and Trust (PST) Technologies: Evolution and Challenges
Architecture-based refinements for secure computer systems design
Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services
Quality-driven architecture development using architectural tactics
Journal of Systems and Software
Tool support for quality-driven development of software architectures
Proceedings of the IEEE/ACM international conference on Automated software engineering
The software perspective for energy-efficient mobile applications development
Proceedings of the 10th International Conference on Advances in Mobile Computing & Multimedia
Hi-index | 0.00 |
This paper presents an approach for incorporating non-functional information of software systems into software architectures. To do so, components present two distinguished slots: their non-functional specification, where non-functional requirements on components are placed, and their non-functional behaviour with respect to these requirements. Also, connector protocols may describe which non-functional aspects are relevant to component connections. We propose a notation to describe non-functionality in a systematic manner, and we use it to analyse two particular aspects of the meeting scheduler case study, user interaction and performance.