1575 search results - page 259 / 315 » Constraining Software Evolution |
144
click to vote
B
1998
Springer
15 years 10 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,...
154
click to vote
SIGSOFT
1998
ACM
15 years 10 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
182
click to vote
ECOOPW
1998
Springer
15 years 10 months ago
1998
Springer
Adaptability has become one of the most important research areas in concurrent object-oriented systems in recent years. It tries to cope with system evolution by adding/replacing ...
197
click to vote
CODES
1996
IEEE
15 years 10 months ago
1996
IEEE
Performance modeling and evaluation of embedded hardware/software systems is important to help the CoDesign process. The hardware/software partitioning needs to be evaluated befor...
136
click to vote
ICRE
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper presents a method that can be used for the elicitation and speci cation of requirements and high-level design. It supports stakeholder-based modeling, rapid feasibility...