431 search results - page 1 / 87 » Using Formal Methods to Reason about Architectural Standards |
ICSE
1997
IEEE-ACM
13 years 8 months ago
1997
IEEE-ACM
SIGSOFT
1998
ACM
13 years 8 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...
COMPSAC
2010
IEEE
13 years 2 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
FM
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. Expectation (average) properties of continuous random variables are widely used to judge performance characteristics in engineering and physical sciences. This paper pres...
FORTE
2009
13 years 2 months ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...