Sciweavers

3284 search results - page 13 / 657
» On the modularity of feature interactions
Sort
View
AIM
2004
13 years 7 months ago
Constructionist Design Methodology for Interactive Intelligences
We present a methodology for designing and implementing interactive intelligences. The Constructionist Design Methodology (CDM)
Kristinn R. Thórisson, Hrvoje Benko, Denis ...
ALIFE
2005
13 years 7 months ago
Modular Interdependency in Complex Dynamical Systems
Hierarchical modularity is a familiar characteristic of a large class of natural dynamical systems. A normal interpretation of modularity is that interactions between subsystems a...
Richard A. Watson, Jordan B. Pollack
ATAL
2003
Springer
14 years 21 days ago
Customizing AOSE methodologies by reusing AOSE features
Future large-scale software development projects will require engineering support for a diverse range of software quality attributes, such as privacy and openness. It is not feasi...
Thomas Juan, Leon Sterling, Maurizio Martelli, Viv...
IWFM
1998
134views Formal Methods» more  IWFM 1998»
13 years 8 months ago
Facilitating Modular Property-Preserving Extensions of Programming Languages
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on ...
Claus Pahl
CAV
2000
Springer
125views Hardware» more  CAV 2000»
13 years 11 months ago
Efficient Reachability Analysis of Hierarchical Reactive Machines
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
Rajeev Alur, Radu Grosu, Michael McDougall