23 search results - page 1 / 5 » Towards an Evolutionary Formal Software-Development Using CA... |
WADT
1999
Springer
15 years 1 months ago
1999
Springer
71
Voted
BIRTHDAY
2005
Springer
15 years 3 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
15 years 4 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...
89
Voted
JLP
2006
14 years 9 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...
99
Voted
CALCO
2005
Springer
15 years 3 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 ...