11558 search results - page 2019 / 2312 » Analytics for software development |
178
click to vote
ICFEM
2004
Springer
16 years 21 hour ago
2004
Springer
d Abstract) Carsten Sinz and Wolfgang K¨uchlin Symbolic Computation Group, WSI for Computer Science, University of T¨ubingen and Steinbeis Technology Transfer Center OIT, 72076 T...
174
click to vote
ICICS
2004
Springer
16 years 21 hour ago
2004
Springer
E-mail system has become one of the most important and popular Internet services. Instead of using traditional surface mail, we have the alternative of employing e-mail system whic...
189
click to vote
ICSOC
2004
Springer
16 years 20 hour ago
2004
Springer
Currently, service-oriented computing is mainly technology-driven. Most developments focus on the technology that enables enterprises to describe, publish and compose application ...
205
click to vote
ICWE
2004
Springer
16 years 19 hour ago
2004
Springer
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...
181
click to vote
IFM
2004
Springer
16 years 16 hour ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...