2935 search results - page 270 / 587 » An Integrated Approach to High Integrity Software Verificati... |
165
click to vote
ICSM
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper describes ongoing work on a domainretargetable reverse engineering environment which is used to aid the structural understanding of large information spaces. In particu...
173
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a true-concurrent approach to formalising integration of Small-to-Medium Enterprises (SMEs) with Web services. Our approach formalises common notions ...
178
click to vote
SOQUA
2004
15 years 8 months ago
2004
We present an approach for the use case and scenario-based testing of software components. Use cases and scenarios are applied to describe the functional requirements of a software...
134
click to vote
ASPLOS
2006
ACM
16 years 18 days ago
2006
ACM
Modern cars contain a multitude of micro controllers for a wide area of tasks. The diversity of the heterogeneous hardware and software leads to a complicated and expensive integr...
164
click to vote
WSC
1996
15 years 8 months ago
1996
The area of integrating simulation and optimization has recently undergone remarkable changes. New advances are making available applications of simulation that previously had bee...