201 search results - page 17 / 41 » Formal Specification in Collaborative Design of Critical Sof... |
WWW
2007
ACM
14 years 8 months ago
2007
ACM
We describe collaborative efforts between a knowledge representation team, a community of scientists, and scientific information managers in developing knowledge models for ecolog...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
In this paper we present a new variation of cultural probes, called Infrastructure Probes (IP). IPs can be seen as an additional ethnographic method to get a deeper understanding ...
COMPSAC
2002
IEEE
14 years 15 days ago
2002
IEEE
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...
POPL
2007
ACM
14 years 7 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
SEAFOOD
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. As the volumes of software development increase and the cost reduction is required, most Japanese IT companies are interested in offshore software outsourcing. Although a...