Sciweavers

23098 search results - page 467 / 4620
» Component Based Development
Sort
View
FUIN
2008
147views more  FUIN 2008»
15 years 7 months ago
A Basic Logic for Reasoning about Connector Reconfiguration
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
Dave Clarke
IEAAIE
2004
Springer
16 years 1 months ago
Development of an Android Robot for Studying Human-Robot Interaction
Abstract. Behavior or Appearance? This is fundamental problem in robot development. Namely, not only the behavior but also the appearance of a robot influences human-robot interact...
Takashi Minato, Michihiro Shimada, Hiroshi Ishigur...
APSEC
1998
IEEE
15 years 12 months ago
A Refinement Calculus for the Development of Real-Time Systems
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodon...
CRIWG
2006
15 years 9 months ago
A Decentralized and Flexible Tool Supporting Extreme Programming Software Development
This paper presents a system called CodeBreaker for supporting small and medium size software development based on an extreme programming principle. The system follows a decentrali...
Nelson A. Baloian, Francisco Claude, Roberto Konow...
FUIN
2008
81views more  FUIN 2008»
15 years 7 months ago
On the Use of Behavioural Equivalences for Web Services' Development
Abstract. Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equival...
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio...