A framework for software architecture verification (English)
- New search for: Lichtner, K.
- New search for: Alencar, P.
- New search for: Cowan, D.
- New search for: Lichtner, K.
- New search for: Alencar, P.
- New search for: Cowan, D.
In:
Proceedings 2000 Australian Software Engineering Conference
;
149-157
;
2000
-
ISBN:
- Conference paper / Electronic Resource
-
Title:A framework for software architecture verification
-
Contributors:
-
Published in:
-
Publisher:
- New search for: IEEE
-
Publication date:2000-01-01
-
Size:69017 byte
-
ISBN:
-
DOI:
-
Type of media:Conference paper
-
Type of material:Electronic Resource
-
Language:English
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
Characterising user data protection of software componentsKhan, K.M. / Han, J. / Zheng, Y. et al. | 2000
- 13
-
Software evolution in componentware - a practical approachRausch, A. et al. | 2000
- 23
-
COTS developers lead best practice adoptionCater-Steel, A.P. et al. | 2000
- 31
-
Investigating metrics for a development effort prediction model of Web applicationsMendes, E. et al. | 2000
- 45
-
Towards the software engineering of neural networks: a maturity modelSenyard, A. / Dart, P. / Sterling, L. et al. | 2000
- 53
-
Implementing an Experience Factory Based on Existing Organsational KnowledgeKoenneker, A. / Jeffery, R. / Low, G. / IEEE Computer Society / Institute of Electrical and Electronics Engineers et al. | 2000
- 53
-
Implementing an experience factory based on existing organisational knowledgeKoennecker, A. / Jeffery, R. / Low, G. et al. | 2000
- 63
-
An explanatory study on the goal alignment problem in joint software reviewsKingston, G. / Jeffery, R. / Huang, W. et al. | 2000
- 73
-
A process framework for the systematic evaluation and diffusion of reuse methodsLam, W. / Shankararaman, V. / Robinson, B. et al. | 2000
- 87
-
Adaptation strategies in componentwareBergner, K. / Rausch, A. / Sihling, M. / Vilbig, A. et al. | 2000
- 97
-
Viable systems: the control paradigm for software architecture revisitedHerring, C. / Kaplan, S. et al. | 2000
- 107
-
Storing and retrieving software components: a component description managerMeling, R. / Montgomery, E.J. / Sudha Ponnusamy, P. / Wong, E.B. / Mehandjiska, D. et al. | 2000
- 119
-
ReVis: reverse engineering by clustering and visual object classificationQuigley, A.J. / Postema, M. / Schmidt, H. et al. | 2000
- 129
-
Formal object-oriented user-interface designHussey, A. et al. | 2000
- 139
-
Pilot projects for object-oriented design: an empirical studyClark, N. et al. | 2000
- 149
-
A framework for software architecture verificationLichtner, K. / Alencar, P. / Cowan, D. et al. | 2000
- 159
-
A federated architecture for enterprise data integrationWijegunaratne, I. / Fernandez, G. / Valtoudis, J. et al. | 2000
- 171
-
Formal requirements engineering: learning from the studentsGibson, J.P. et al. | 2000
- 181
-
'Requirements-uncertainty': should it be a latent, aggregate or profile construct?Moynihan, T. et al. | 2000
- 189
-
A survey of software development practices in the New Zealand software industryGroves, L. / Nickson, R. / Reeve, G. / Reeves, S. / Utting, M. et al. | 2000
- 203
-
Web development effort estimation using analogyMendes, E. / Counsell, S. et al. | 2000
- 215
-
Tool integration in a process-centred Web-based teamwork support environment in JavaYun Yang, et al. | 2000
- 221
-
COTS, workflow, and software process management: an exploration of software engineering tool developmentBarnes, A. / Gray, J. et al. | 2000
- 235
-
Tools and techniques for Java API testingHoffman, D. / Strooper, P. et al. | 2000
- 247
-
A revisit of the proportional sampling strategyLeung, H. / Chen, T.Y. et al. | 2000
- 255
-
Author index| 2000
- iii
-
Proceedings 2000 Australian Software Engineering Conference| 2000