Sciweavers

976 search results - page 62 / 196
» Approach to a Theory of Software Evolution
Sort
View
118
Voted
DSTEP
2010
15 years 1 months ago
A Discussion of Three Visualisation Approaches to Providing Cognitive Support in Variability Management
: Variability management in software intensive systems can be a complex and cognitively challenging process. Configuring a Software Product Line with thousands of variation points ...
Ciarán Cawley, Patrick Healy, Goetz Botterw...
121
Voted
EJC
2003
15 years 5 months ago
A Theory of Signs for Database Semantics
The goal of this paper is to build a bridge from a certain intuitive conception of natural language communication, called the SLIM theory of language, to a technical approach, cal...
Roland Hausser
106
Voted
ICSM
2005
IEEE
15 years 9 months ago
Strider: Configuration Modelling and Analysis of Complex Systems
This paper describes an approach and support tool for the modelling and analysis of proposed reconfigurations to complex systems. The configuration models used are quick to constr...
Simon Lock
164
Voted
PLPV
2009
ACM
16 years 15 days ago
Embedding a logical theory of constructions in Agda
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
Ana Bove, Peter Dybjer, Andrés Sicard-Ram&i...
167
Voted
ASWEC
1998
IEEE
15 years 8 months ago
Supplementing Process-Oriented with Structure-Oriented Design Explanation within Formal Object Oriented Method
This paper reports the results from an action research project which studies the benefits of documenting the evolution and the rationale for the evolution of a requirements specif...
LeMai Nguyen, Paul A. Swatman, Graeme G. Shanks