120 search results - page 17 / 24 » A Reflective Approach to Dynamic Software Evolution |
B
1998
Springer
15 years 1 months ago
1998
Springer
In B, the expression of dynamic constraints is notoriously missing. In this paper, we make various proposals for introducing them. They all express, in di erent complementary ways,...
CBSE
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents AOKell, a framework for engineering component-based systems. This framework implements the Fractal model, a hierarchical and dynamic component model. The novelt...
CAEPIA
2003
Springer
15 years 2 months ago
2003
Springer
ADDS (Approach to Document-based Development of Software) is an approach to the development of applications based on a document-oriented paradigm. According to this paradigm, appli...
ICSE
2011
IEEE-ACM
14 years 27 days ago
2011
IEEE-ACM
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...
ARCS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Many-core processor architectures require scalable solutions that reflect the locality and power constraints of future generations of technology. This paper presents a CM...