2597 search results - page 232 / 520 » A Relational Approach to Support Software Architecture Analy... |
158
click to vote
ACSAC
2006
IEEE
16 years 20 days ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...
160
click to vote
ISESE
2002
IEEE
15 years 11 months ago
2002
IEEE
The primary objective of this paper was to examine the extent to which Gutman’s Means-End Chain Model can be used to describe the influences given to the choice of characteristi...
188
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
As agile software development principles and methods are being adopted by large software product organizations it is important to understand the role of software entropy. That is,...
146
click to vote
KBSE
2007
IEEE
16 years 26 days ago
2007
IEEE
As part of the evolution of software systems, effort is often invested to discover in what parts of the source code a feature (or other concern) is implemented. Unfortunately, kn...
199
click to vote
CASCON
2007
15 years 8 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...