Sciweavers

2672 search results - page 309 / 535
» Hybridizing Concept Languages
Sort
View
130
Voted
ASWEC
2005
IEEE
15 years 9 months ago
A Process-Based Semantics for Message Sequence Charts with Data
Message Sequence Charts (MSCs) are a graphical language for scenarios of communicating components exchanging messages in a distributed environment. The language has been standardi...
Chien-An Chen, Sara Kalvala, Jane Sinclair
128
Voted
ECOOP
2005
Springer
15 years 9 months ago
Towards a Meta-Modelling Approach to Configurable Middleware
Abstract. In our research we are studying how to combine modelling, metamodelling, and reflection to systematically generate middleware configurations that can be targeted at diffe...
Nelly Bencomo, Gordon S. Blair, Geoff Coulson, Tha...
100
Voted
ECOOP
2005
Springer
15 years 9 months ago
Loosely-Separated "Sister" Namespaces in Java
Most modern programming systems such as Java allow us to link independently developed components together dynamically. This makes it possible to develop and deploy software on a pe...
Yoshiki Sato, Shigeru Chiba
109
Voted
FM
2005
Springer
99views Formal Methods» more  FM 2005»
15 years 9 months ago
Semantics of BPEL4WS-Like Fault and Compensation Handling
BPEL4WS is one of the most important business process modelling languages. One distinct feature of it is the fully programmable fault and compensation handling mechanism, which all...
Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Z...
101
Voted
ICCBR
2005
Springer
15 years 9 months ago
Opportunities for CBR in Learning by Doing
In this paper we partially describe JV2 M, a metaphorical simulation of the Java Virtual Machine where students can learn Java language compilation and reinforce object-oriented pr...
Pedro Pablo Gómez-Martín, Marco Anto...