1733 search results - page 76 / 347 » On the naturalness of software |
164
click to vote
LADS
2007
Springer
16 years 9 days ago
2007
Springer
Embedded real-time systems play an important role in various application areas like plant automation, product automation or car electronics. In recent years a considerable growth i...
150
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
138
click to vote
TAPSOFT
1987
Springer
15 years 9 months ago
1987
Springer
The Calculus of Constructions is a higher-order formalism for writing constructive proofs in a natural deduction style, inspired from work of de Bruijn [2, 3], Girard [12], Martin...
144
click to vote
ISESE
2006
IEEE
16 years 6 days ago
2006
IEEE
Is the nature of Open Source Software (OSS) evolution fundamentally different from that of the traditional and commercially available software systems? Lehman and others conducted...
165
click to vote
NLDB
2007
Springer
16 years 9 days ago
2007
Springer
Various methodologies for structuring the process of domain modeling have been proposed, but there are few software tools that provide automatic support for the process of construc...