837 search results - page 1 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
ICFEM
2009
Springer
13 years 2 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, ...
IFM
2000
Springer
13 years 8 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
CODES
1998
IEEE
13 years 9 months ago
1998
IEEE
2.1 Modal processes
IWFM
2000
13 years 6 months ago
2000
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...