2493 search results - page 394 / 499 » Tool Support for Design by Contract |
104
click to vote
SCESM
2006
ACM
15 years 3 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
Facilitation in GSS meetings is considered among the most important critical success factors for effective GSS application. A considerable amount of research on GSS facilitation h...
VLDB
1999
ACM
15 years 2 months ago
1999
ACM
A data-driven approach can be fruitfully used in the speci cation and automatic generation of data-intensive Web applications, i.e., applications which make large amounts of data ...
110
click to vote
CSI
2007
14 years 10 months ago
2007
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
We are building an interactive, visual text analysis tool that aids users in analyzing a large collection of text. Unlike existing work in text analysis, which focuses either on d...