Sciweavers

469 search results - page 62 / 94
» Language Design for Meta-programming in the Software Composi...
Sort
View
UML
2004
Springer
15 years 6 months ago
Specifying Cross-Cutting Requirement Concerns
Addressing non-orthogonal software concerns that arisefrom requirements can significantly contribute to the complexity of developing large systems. Difficulties arise from the need...
Geri Georg, Raghu Reddy, Robert B. France
JSW
2008
130views more  JSW 2008»
15 years 1 months ago
A Constraint-Driven Executable Model of Dynamic System Reconfiguration
Dynamic system reconfiguration techniques are presented that can enable the systematic evolution of software systems due to unanticipated changes in specification or requirements. ...
D'Arcy Walsh, Francis Bordeleau, Bran Selic
POPL
2008
ACM
16 years 1 months ago
Relational inductive shape analysis
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...
Bor-Yuh Evan Chang, Xavier Rival
SIGSOFT
2008
ACM
16 years 2 months ago
Improving robustness of evolving exceptional behaviour in executable models
Executable models are increasingly being employed by development teams to implement robust software systems. Modern executable models offer powerful composition mechanisms that al...
Alessandro Garcia, Nélio Cacho, Thomas Cott...
ICEIS
2002
IEEE
15 years 6 months ago
Using Hot-Spot-Driven Approach in the Development of a Framework for Multimedia Presentation on the Web
: Frameworks can be seen as generative since they are intended and well suited to be used as the foundation for the development of a number of applications in the domain captured b...
Khalid Suliman Al-Tahat, Sufian Bin Idris, Tengku ...