Sciweavers

2245 search results - page 105 / 449
» A Case Study Implementing Features Using AspectJ
Sort
View
SMA
2003
ACM
138views Solid Modeling» more  SMA 2003»
15 years 10 months ago
Associativity between feature models across domains
Associativity between feature models implies the automatic updating of different feature models of a part after changes are made in one of its feature models. This is an importan...
S. Subramani, Balan Gurumoorthy
ICSE
2009
IEEE-ACM
16 years 5 months ago
FEATUREHOUSE: Language-independent, automated software composition
Superimposition is a composition technique that has been applied successfully in many areas of software development. Although superimposition is a general-purpose concept, it has ...
Christian Kästner, Christian Lengauer, Sven A...
SASO
2008
IEEE
15 years 11 months ago
How to Control Emergence of Behaviours in a
—An open issue in self-organisation is how to control the emergence of behaviour. This issue is also of interest for engineering holonic multi-agent systems as any level of a hol...
Massimo Cossentino, Stéphane Galland, Nicol...
FROCOS
2005
Springer
15 years 10 months ago
Connecting a Logical Framework to a First-Order Logic Prover
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
Andreas Abel, Thierry Coquand, Ulf Norell
ECOOP
2012
Springer
13 years 7 months ago
Enhancing JavaScript with Transactions
Abstract. Transcript is a system that enhances JavaScript with support for transactions. Hosting Web applications can use transactions to demarcate regions that contain untrusted g...
Mohan Dhawan, Chung-chieh Shan, Vinod Ganapathy