795 search results - page 46 / 159 » A Formal Approach to Heterogeneous Software Modeling |
117
Voted
ICCD
2005
IEEE
15 years 6 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
131
Voted
FM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
SEKE
2007
Springer
15 years 6 months ago
2007
Springer
Developing user interfaces for a heterogeneous environment is a difficult challenge. Partial distribution of the user interface is an event harder one. Specifically providing de...
125
click to vote
IFM
2010
Springer
14 years 10 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
113
Voted
HPDC
1993
IEEE
15 years 4 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...