Abstract | ||
---|---|---|
The Spec# programming system [4] is a new attempt to increase the quality of general purpose, industrial software. Using old wisdom, we propose the use of specifications to make programmer assumptions explicit. Using modern technology, we propose the use of tools to enforce the specifications. To increase its chances of having impact, we want to design the system so that it can be widely adopted. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1007/978-3-540-69149-5_16 | VSTTE |
Keywords | Field | DocType |
modern technology,programming system,new attempt,general purpose,old wisdom,programmer assumption,industrial software | Programmer,Virtual machine,Programming language,General purpose,Computer science,Abstract interpretation,Industrial software,Spec# | Conference |
Volume | ISSN | Citations |
4171 | 0302-9743 | 30 |
PageRank | References | Authors |
1.64 | 20 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mike Barnett | 1 | 613 | 29.03 |
Robert DeLine | 2 | 2957 | 210.35 |
Manuel Fähndrich | 3 | 1559 | 116.28 |
Bart Jacobs | 4 | 1223 | 72.61 |
Rustan, K. | 5 | 3995 | 301.64 |
Wolfram Schulte | 6 | 2342 | 153.40 |
Herman Venter | 7 | 229 | 10.25 |