795 search results - page 97 / 159 » A Formal Approach to Heterogeneous Software Modeling |
95
Voted
CAISE
2005
Springer
15 years 6 months ago
2005
Springer
To achieve inter-enterprise software interoperability, the semantics of interchanged information by using electronic business documents, has to be explicitly modeled. A common appr...
117
click to vote
ICONS
2009
IEEE
15 years 7 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
99
Voted
MAM
2006
15 years 13 days ago
2006
This paper presents a new design methodology able to bridge the gap between an abstract specification and a heterogeneous recone architecture. The EPICURE contribution is the resu...
99
Voted
CPE
2003
Springer
15 years 5 months ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
99
Voted
DAGSTUHL
2003
15 years 1 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...