618 search results - page 74 / 124 » Design Components: Towards Software Composition at the Desig... |
CAISE
2004
Springer
14 years 1 months ago
2004
Springer
This paper illustrates the OntoWeaver modelling approach, which relies on a set of comprehensive site ontologies to model all aspects of dataintensive web sites and thus offers hig...
CAISE
2001
Springer
14 years 11 days ago
2001
Springer
Information System Engineering has become under increasing pressure to come up with software solutions that endow systems with the agility that is required to evolve in a continual...
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
Connectors and connector wrappers explicitly specify the protocol of interaction among components and afford the reusable application of extra-functional behaviors, such as reliabi...
DAC
2000
ACM
14 years 8 months ago
2000
ACM
The increasing complexity and software content of embedded systems has led to the common use of sophisticated system software that helps applications use the underlying hardware r...
VSTTE
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...