1051 search results - page 74 / 211 » Toward Team-Oriented Programming |
VMCAI
2009
Springer
14 years 2 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
VL
2008
IEEE
14 years 2 months ago
2008
IEEE
Software visualization has always been expensive, special purpose, and hard to program. Most of the existing software visualization tools require too much time for enduser develop...
CIRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— This paper analyzes the signals captured during impacts and vibrations of a mechanical manipulator. To test the impacts, a flexible beam is clamped to the end-effector of a man...
WECWIS
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper describes a software solution for the WSChallenge 2006. We introduce the MOVE framework that has been applied to this challenge. Also, the architecture, algorithms, and...
CP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The automatic modelling tool Conjure generates CSP models from problem specifications. The generated models may contain multiple alternative (redundant) representations ...