23 search results - page 1 / 5 » Towards an Evolutionary Formal Software-Development Using CA... |
WADT
1999
Springer
14 years 3 months ago
1999
Springer
BIRTHDAY
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
WIKIS
2009
ACM
14 years 5 months ago
2009
ACM
Software development is a knowledge-intensive activity and frequently implies a progressive crystallization of knowledge, towards programming language statements. Although wikis h...
JLP
2006
13 years 11 months ago
2006
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
CALCO
2005
Springer
14 years 4 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...