2493 search results - page 280 / 499 » Tool Support for Design by Contract |
102
click to vote
SFM
2005
Springer
15 years 4 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
172
Voted
AIME
2003
Springer
15 years 4 months ago
2003
Springer
Objective: Deep biomedical models are often expressed by means of differential equations. Despite their expressive power, they are difficult to reason about and make decisions, g...
101
Voted
HCI
2009
14 years 8 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
79
Voted
EICS
2009
ACM
15 years 3 months ago
2009
ACM
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...
108
click to vote
ICFEM
2003
Springer
15 years 4 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...