271 search results - page 11 / 55 » Preserving Software Quality Characteristics from Requirement... |
170
click to vote
SACMAT
2006
ACM
15 years 12 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
144
click to vote
GECCO
2009
Springer
15 years 10 months ago
2009
Springer
Automatic design of software architecture by use of genetic algorithms has already been shown to be feasible. A natural problem is to augment – if not replace – genetic algori...
138
click to vote
FTDCS
1997
IEEE
15 years 10 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...
175
click to vote
FASE
2008
Springer
15 years 7 months ago
2008
Springer
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
146
click to vote
ACSD
2001
IEEE
15 years 9 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...