2493 search results - page 131 / 499 » Tool Support for Design by Contract |
COMPSAC
2001
IEEE
15 years 1 months ago
2001
IEEE
The time-triggered message-triggered object (TMO) programming scheme has been established to remove the limitation of conventional object programming techniques and tools in devel...
JURIX
2007
14 years 11 months ago
2007
Today’s argumentation software mostly emphasizes the logical structure of reasoning, and especially the structure as it can be represented in boxes-andarrows style diagrams. In t...
ECSCW
1993
14 years 11 months ago
1993
Abstract: There is little understanding of how distributed writing groups manage their collaboration and what kinds of support are most useful. The paper presents three case studie...
JUCS
2010
14 years 8 months ago
2010
: The availability of applications able to exploit multi-device environments is steadily increasing. Rather than using all devices in the same way, users tend to assign different r...
WECWIS
2002
IEEE
15 years 2 months ago
2002
IEEE
The current situation in the Internet service provider market shows that Internet service providers (ISPs) are still struggling to find sustainable business models. The challenge ...