69 search results - page 3 / 14 » Translation-Based Compositional Reasoning for Software Syste... |
WICSA
2004
13 years 10 months ago
2004
Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
SEKE
1995
Springer
14 years 1 days ago
1995
Springer
This paper argues for new computational mechanisms to aid specification of requirements for composite systems. It presents mechanisms for storing specification fragments, or viewp...
CSMR
2009
IEEE
14 years 1 months ago
2009
IEEE
Currently, most software systems have a dynamic nature and need to evolve at run-time. For this reason, the dynamic reconfiguration of software architectures is a challenge that m...
ICFEM
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...