Architecture Normalization for Component-based Systems

Electronic Notes in Theoretical Computer Science

Volumn 160, Issue 1, 2006, Pages 335-348

  Wen, Lian ^a   Dromey, Geoff R ^a  

^a GRIFFITH UNIVERSITY   (Australia)

Author keywords

behavior trees; Components; formal methods; genetic software engineering; software architecture

Indexed keywords

FORMAL LOGIC; LOGIC DESIGN; NETWORK COMPONENTS; SOFTWARE ENGINEERING; SYSTEMS ENGINEERING; TREES (MATHEMATICS);

BEHAVIOR TREES; FORMAL METHODS; GENETIC SOFTWARE ENGINEERING; SOFTWARE ARCHITECTURE;

COMPUTER ARCHITECTURE;

EID: 33746706222     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.05.032     Document Type: Article

References (12)

1. Geoff, R.G., From Requirements to Design: Formalizing the Key Steps, (Invited Keynote Address), SEFM'2003, pp. 2-11, Brisbane, September, 2003
2. Wen, L., Dromey, R.G., From Requirements Change to Design Change: A Formal Path, SEFM 2004, pp. 104-113, 2004
3. SQI Paper. http://www.sqi.gu.edu.au/gse/papers
4. Shlaer S., and Mellor S.J. Structured Development for Real-Time Systems, Vols. 1-3 (1985), Yourdon Press
5. Bass L., Clements P., and Kazman R. Software Architecture in Practice (1998), Addision Wesley Longman, Inc.
6. Stafford, J.A., Wolf, A.L., "Software Architecture", Component-Based Software Engineering, putting the pieces together, Chapter 20, 2001
7. Perry D., and Wolf A. Foundations for the Study of Software Architecture. SIGSOFT Software Engineering Notes 17 4 (Oct., 1992)
8. Hoare C.A.R. Communicating Sequential Processes (1985), Prentice-Hall
9. Knuth D.E. The Art of Computer Programming, Fundamental Algorithms, Vol 1. 3rd edition (1992), Addison Wesley Longman
10. Sedgewick R. Algorithms (1989), Addison-Wesley Publishing Company, Inc
11. Glass R.L. Facts and Fallacies of Software Engineering (2003), Pearson Education, Inc
12. Medvidovic, N., "One the Role of Middleware in Architecture-Based Software Development", SEKE'02, 2002