Sciweavers

976 search results - page 27 / 196
» Approach to a Theory of Software Evolution
Sort
View
QI
2009
Springer
117views Physics» more  QI 2009»
15 years 4 months ago
Generalising Unitary Time Evolution
In this third Quantum Interaction (QI) meeting it is time to examine our failures. One of the weakest elements of QI as a field, arises in its continuing lack of models displaying...
Kirsty Kitto, Peter Bruza, Laurianne Sitbon
EUROMICRO
2005
IEEE
15 years 3 months ago
Visual Assessment Techniques for Component-Based Framework Evolution
Many component models have been proposed to address the challenge of reducing software development time and costs. Such models often offer similar functionality. We study how deve...
Lucian Voinea, Alexandru Telea
IANDC
1998
72views more  IANDC 1998»
14 years 9 months ago
On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy Analysis
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...
Maria Paola Bonacina, Jieh Hsiang
81
Voted
IBERAMIA
1998
Springer
15 years 1 months ago
The "Semantics" of Evolution: Trajectories and Trade-offs in Design Space and Niche Space
This paper 1 attempts to characterise a unifying overview of the practice of software engineers, AI designers, developers of evolutionary forms of computation, designers of adapti...
Aaron Sloman
ER
2007
Springer
141views Database» more  ER 2007»
15 years 3 months ago
Active Meta Modeling Support for Evolving E-contracts
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...
P. Radha Krishna, Kamalakar Karlapalem