Sciweavers

13 search results - page 1 / 3
» aswec 2004
Sort
View
ASWEC
2004
IEEE
13 years 8 months ago
Combining Agent-Oriented Conceptual Modelling with Formal Methods
Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishn...
ASWEC
2004
IEEE
13 years 8 months ago
Linking UML Models of Design and Requirement
In this paper, both a UML model of requirement and a UML model of a design are defined as a pair of class diagram and a family of sequence diagrams. We then give an unified semant...
Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li
ASWEC
2004
IEEE
13 years 8 months ago
A Framework for Classifying and Comparing Software Architecture Evaluation Methods
Software architecture evaluation has been proposed as a means to achieve quality attributes such as maintainability and reliability in a system. The objective of the evaluation is...
Muhammad Ali Babar, Liming Zhu, D. Ross Jeffery
ASWEC
2004
IEEE
13 years 8 months ago
A Process Framework for Characterising Security Properties of Component-Based Software Systems
This paper presents a security characterisation process framework for software components and their compositions in order to address the issue of trust in component based software...
Khaled M. Khan, Jun Han