Sciweavers

13 search results - page 1 / 3
» aswec 2004
Sort
View
ASWEC
2004
IEEE
13 years 11 months ago
Combining Agent-Oriented Conceptual Modelling with Formal Methods
Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishn...
ASWEC
2004
IEEE
13 years 11 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 11 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 11 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