3142 search results - page 48 / 629 » A formal approach for designing CORBA based applications |
CHARME
2001
Springer
14 years 1 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
AISC
2010
Springer
14 years 1 months ago
2010
Springer
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...
ENASE
2009
13 years 6 months ago
2009
Service composition is an important topic, but so far addressed from a technical and low level perspective. The issue is not (too much) the orchestration formalism, but rather the ...
ACMDIS
2000
ACM
14 years 1 months ago
2000
ACM
To create successful interactive systems, user interface designers need to cooperate with developers and application domain experts in an interdisciplinary team. These groups, how...
ISCAS
2003
IEEE
14 years 2 months ago
2003
IEEE
Communication synthesis is an essential step in hardware/software co-synthesis: many embedded systems use automatic generation of interface for point to point communication or use...