893 search results - page 5 / 179 » Environment Assumptions for Synthesis |
ISSS
1995
IEEE
13 years 11 months ago
1995
IEEE
This paper present a novel interface synthesis approach based on a one-sided interface description. Whereas most other approaches consider interface synthesis as optimizing a chan...
NFM
2011
13 years 2 months ago
2011
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Design for change is a well-known adagium in software engineering. We separate concerns, employ well-designed interfaces, and the like to ease evolution of the systems we build. W...
ICSE
2009
IEEE-ACM
13 years 5 months ago
2009
IEEE-ACM
Abstract. At our behest or otherwise, while our software is being executed, a huge variety of design assumptions is continuously matched with the truth of the current condition. Wh...
IEEESCC
2006
IEEE
14 years 1 months ago
2006
IEEE
Service composition aims to provide an efficient and accurate model of a service, based on which the global service oriented architecture (SOA) can be realized, allowing value add...