795 search results - page 2 / 159 » A Formal Approach to Heterogeneous Software Modeling |
ICFEM
2004
Springer
13 years 10 months ago
2004
Springer
MODELS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
IWPC
1996
IEEE
13 years 9 months ago
1996
IEEE
Mastering the complexity of programs and systems, particularly distributed systems, should lead to signi cant improvements in program and system understanding. In this paper we pr...
ICSE
2007
IEEE-ACM
14 years 5 months ago
2007
IEEE-ACM
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
SIGSOFT
2010
ACM
13 years 3 months ago
2010
ACM
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...