832 search results - page 29 / 167 » Declarative Specification of Software Architectures |
FTDCS
1997
IEEE
14 years 2 months ago
1997
IEEE
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
ITCC
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper presents an approach to the architectural design and analysis of secure software systems based on the system requirements elicited in the form of use cases and misuse c...
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
This paper presents an approach for improving final software system usability by designing for usability, in particular by addressing usability issues in the software architecture...
KBSE
1998
IEEE
14 years 2 months ago
1998
IEEE
During the last three years we have been building an instantiation of a system's development paradigm, called ARTS. The paradigm consists of a view of what a system developme...
ESEC
1997
Springer
14 years 1 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...