611 search results - page 89 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
138
click to vote
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...
144
click to vote
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
Architecture Definition Languages (ADLs) enable the formalization of the architecture of software systems and the execution of preliminary analyses on them. These analyses aim at...
272
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
126
Voted
WCRE
2006
IEEE
15 years 10 months ago
2006
IEEE
Jointly deployed aspects may interact with each other. While some interactions might be intended, unintended interactions (interferences) can break a program. Detecting and resolv...
113
click to vote
RE
2005
Springer
15 years 9 months ago
2005
Springer
View merging, also called view integration, is a key problem in conceptual modeling. Large models are often constructed and accessed by manipulating individual views, but it is im...