811 search results - page 45 / 163 » Integrating Formal Description Techniques |
FDL
2004
IEEE
14 years 14 days ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
APSEC
2005
IEEE
14 years 2 months ago
2005
IEEE
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
FMCAD
2000
Springer
14 years 11 days ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
MSV
2004
13 years 10 months ago
2004
- We present a model describing the electrical behavior of the heart tissue. Previous research in this field have studied this problem using PDEs (Partial Differential Equations) a...
SEMWEB
2009
Springer
14 years 3 months ago
2009
Springer
There are different strategies to integrate software systems: integration on the data layer, on the business logic layer, and on the user interface layer. The latter area, recent...