2493 search results - page 312 / 499 » Tool Support for Design by Contract |
CEC
2009
IEEE
15 years 5 months ago
2009
IEEE
— The CoSMoS project aims to develop reusable tools and techniques for complex systems modelling and simulation. Using process-oriented software design techniques, we have built ...
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
Recent advancements in FPGA technology have allowed manufacturers to place general-purpose processors alongside user-configurable logic gates on a single chip. At first glance, ...
CSCWD
2007
Springer
15 years 4 months ago
2007
Springer
Mobile devices quickly become popular tools in collaborative design for their portability and supporting of graphics user interface. However, their limited resources may result in...
KI
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents the behaviour-based control architecture iB2C (integrated Behaviour-Based Control) used for the development of complex robotic systems. The specification of be...
SEMWEB
2007
Springer
15 years 4 months ago
2007
Springer
Since engineered systems, e.g. aviation control, have increasingly equipped with automated and computer-supported artifacts, human-system interaction has been an important issue. U...