******************
Apologies for cross-postings
******************
-----------------------------------------------
WEDNESDAY SEMINAR SERIES
CAVENDISH SCHOOL OF COMPUTER SCIENCE
UNIVERSITY OF WESTMINSTER
-----------------------------------------------
WEDNESDAY 13 OCTOBER 1999 at 4 pm
-----------------------------------------------
Room NCS 4.26, 115 New Cavendish Street, London
-----------------------------------------------
INCORPORATING NON-FUNCTIONAL REQUIREMENTS INTO
THE SOFTWARE ARCHITECTURE: A FORMAL APPROACH
by Nelson Rosa
Centre for Parallel Computing, U. of Westminster
-----------------------------------------------
Abstract:
Software architecture is an emerging discipline in which the
formalisation is only at the beginning. Different formalisms
have been used essentially for describing the system's software
architecture. However, the formalisation concentrates only on
the description of functional aspects of the system and for
many different reasons (e.g., complexity, abstraction, etc)
non-functional properties are not considered. In this talk,
as part of our research, we present a proposal for
incorporating non-functional properties into the software
architecture. The Z notation and the recently defined ZCL
framework are the basic elements of the proposal. In order
to show how this proposal can be utilised in an effective
way, a simple appointment system is presented as case study.
-----------------------------------------------
Staff and students interested in research are welcome
-----------------------------------------------
Refreshments will be served after the talks.
-----------------------------------------------
Any question? Contact
Thierry Chaussalet ([log in to unmask])
or Jamal Zemerly ([log in to unmask])
Thierry C. and Jamal Z.
--
Dr. T. Chaussalet
Cavendish School of Computer Science
University of Westminster
115 New Cavendish St.
London W1M 8JS, UK
Tel: +44 (0) 171 911 5000 ext. 3647
Fax: +44 (0) 171 911 5089
Email: [log in to unmask]
WWW: http://www.cscs.wmin.ac.uk/~chausst
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|