Sciweavers

1606 search results - page 98 / 322
» XML-based programming language modeling: An approach to soft...
Sort
View
TASE
2008
IEEE
16 years 12 days ago
Verifying BPEL-Like Programs with Hoare Logic
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
Chenguang Luo, Shengchao Qin, Zongyan Qiu
WWW
2008
ACM
16 years 6 months ago
A domain-specific language for the model-driven construction of advanced web-based dialogs
Complex dialogs with comprehensive underlying data models are gaining increasing importance in today's Web applications. This in turn accelerates the need for highly dynamic ...
Patrick Freudenstein, Martin Nussbaumer, Florian A...
MODELS
2009
Springer
16 years 17 days ago
Product derivation for solution-driven product line engineering
Solution-driven product line engineering is a project business where products are created for each customer individually. Although reuse of results from former projects is widely ...
Christoph Elsner, Daniel Lohmann, Wolfgang Schr&ou...
WWW
2006
ACM
16 years 6 months ago
From adaptation engineering to aspect-oriented context-dependency
The evolution of the Web requires to consider an increasing number of context-dependency issues. Therefore, in our research we focus on how to extend a Web application with additi...
Sven Casteleyn, Zoltán Fiala, Geert-Jan Hou...
ISSTA
2006
ACM
15 years 12 months ago
The case for analysis preserving language transformation
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
Xiaolan Zhang, Larry Koved, Marco Pistoia, Sam Web...