Sciweavers

2106 search results - page 109 / 422
» Specifying C concepts
Sort
View
EUROMICRO
2006
IEEE
14 years 4 months ago
A Method for Component-Based Software and System Development
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
Denis Hatebur, Maritta Heisel, Jeanine Souqui&egra...
ICAS
2006
IEEE
145views Robotics» more  ICAS 2006»
14 years 4 months ago
A Model-Driven Development Framework for Non-Functional Aspects in Service Oriented Grids
Service-oriented grids are grid computing systems built with the notion of service-oriented architecture (SOA). Using two maract concepts, services and connections between service...
Hiroshi Wada, Junichi Suzuki, Katsuya Oba
ICRA
2006
IEEE
146views Robotics» more  ICRA 2006»
14 years 4 months ago
Bringing Robotics closer to Students - a Threefold Approach
— In this paper, we present our threefold concept of ”bringing robotics closer to students”. Our efforts begin with motivating high-school students to study engineering scien...
Niko Sünderhauf, Thomas Krause 0002, Peter Pr...
DATE
2005
IEEE
93views Hardware» more  DATE 2005»
14 years 3 months ago
Model Reuse through Hardware Design Patterns
Increasing reuse opportunities is a well-known problem for software designers as well as for hardware designers. Nonetheless, current software and hardware engineering practices h...
Fernando Rincón, Francisco Moya, Jesú...
FM
2005
Springer
99views Formal Methods» more  FM 2005»
14 years 3 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...