APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Software-intensive systems are systems of systems that rely on complex interdependencies among themselves as well as with their operational environment to satisfy the required beh...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Requirements volatility is an important risk factor for software projects. Software measures can help in quantifying and predicting this risk. In this paper, we present an industr...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
UML sequence diagrams are widely used during requirements analysis and design for specifying the expected message exchanges among a set of objects in various scenarios for the pro...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Distributed infrastructures are becoming more and more diverse in nature. An application may often need to be redeployed in various scenarios. Ideally, given an application design...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Automotive software systems are becoming increasingly complex, driven both by advances in technology and by demands for more powerful applications. The design of such complex syst...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...