17 search results - page 4 / 4 » Facilitating formal specification acquisition by using recur... |
CMSB
2006
Springer
13 years 8 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
WWW
2005
ACM
14 years 5 months ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...