2448 search results - page 388 / 490 » The Octahedron Abstract Domain |
CSMR
2004
IEEE
14 years 2 months ago
2004
IEEE
In software product families, the full benefit of reuse can only be achieved if traceability of requirements to architecture, components and further down to source code is support...
BIRTHDAY
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
BPM
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. The coordination of complex process structures is a fundamental task for enterprises, such as in the automotive industry. Usually, such process structures consist of seve...
CAISE
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Though ontologies are widely used to solve some specific interoperability problems, there is no specific ontology defining what interoperability actually is, independentl...
CAISE
2006
Springer
14 years 2 months ago
2006
Springer
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...