2253 search results - page 309 / 451 » An Approach to Specifying Software Frameworks |
144
click to vote
JUCS
2006
15 years 4 months ago
2006
: Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful ...
152
click to vote
SOSYM
2010
15 years 2 months ago
2010
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...
140
click to vote
AOSD
2008
ACM
15 years 6 months ago
2008
ACM
Many aspect-oriented middleware platforms support run-time aspect weaving, but do not support coordinating distributed changes to a set of aspects at run-time. A distributed chang...
144
click to vote
ECBS
2007
IEEE
15 years 10 months ago
2007
IEEE
The ever growing size and complexity of both technical and business systems requires efficient software engineering approaches to keep development cost under control while still ...
145
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...