1326 search results - page 80 / 266 » Semantic Coherence in Software Engineering |
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
As the number of available Web services increases there is a growing demand to realise complex business processes by combining and reusing available Web services. The reuse and co...
AOSD
2007
ACM
13 years 11 months ago
2007
ACM
stract Semantics of Additive Aspects by Translation S. B. Sanjabi C.-H. L. Ong Oxford University Computing Laboratory We study the denotational semantics of an aspect calculus by ...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
WCRE
2009
IEEE
14 years 2 months ago
2009
IEEE
Feature models are widely employed in domainspecific software development to specify the domain requirements with commonality and variability. A feature model is usually construct...
QSIC
2007
IEEE
14 years 2 months ago
2007
IEEE
In semantics-based component retrieval ontology is usually employed as the semantic basis for component representation and matching. Existing methods always assume that the ontolo...