2935 search results - page 7 / 587 » An Integrated Approach to High Integrity Software Verificati... |
FMCAD
2006
Springer
13 years 10 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
APCCM
2008
13 years 8 months ago
2008
The work presented in this paper targets the software integration on the level of business process models. The goal is to create the behavioural description of an integrated syste...
JUCS
2010
13 years 1 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
IWPC
2006
IEEE
14 years 1 months ago
2006
IEEE