1005 search results - page 67 / 201 » Formal Software Development in MAYA |
154
click to vote
RSP
1998
IEEE
15 years 8 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
121
click to vote
COMPSEC
2010
15 years 1 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
119
click to vote
QSIC
2005
IEEE
15 years 10 months ago
2005
IEEE
While the use of computer applications is widely spread in every business and, hence, the reliability of software is critical, it is believed that many organizations involved in s...
128
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
Traditionally, software engineering processes are based on a formalist model that emphasizes strict documentation, procedural and validation standards. Although this is a poor fit...
183
click to vote
SEAFOOD
2007
Springer
15 years 10 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...