Sciweavers

2682 search results - page 349 / 537
» An Iterative-Cyclic Software Process Model
Sort
View
EUROMICRO
1997
IEEE
15 years 8 months ago
What computer architecture can learn from computational intelligence-and vice versa
This paper considers whether the seemingly disparate fields of Computational Intelligence (CI) and computer architecture can profit from each others’ principles, results and e...
Ronald Moore, Bernd Klauer, Klaus Waldschmidt
EDBTW
2006
Springer
15 years 6 months ago
Change Management in Large-Scale Enterprise Information Systems
The information infrastructure in today's businesses consists of many interoperating autonomous systems. Changes to a single system can therefore have an unexpected impact on ...
Boris Stumm
SERP
2003
15 years 5 months ago
Formal Validation of HCI User Tasks
— Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design...
Yamine Aït Ameur, Mickaël Baron, Patrick...
FASE
2008
Springer
15 years 6 months ago
Verification of Architectural Refactorings by Rule Extraction
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. ...
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
DAGSTUHL
2006
15 years 5 months ago
A Framework for Analyzing Composition of Security Aspects
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
Jorge Fox, Jan Jürjens