Sciweavers

7661 search results - page 24 / 1533
» Languages and the Computing Profession
Sort
View
POPL
2011
ACM
14 years 4 months ago
Generative type abstraction and type-level computation
Stephanie Weirich, Dimitrios Vytiniotis, Simon L. ...
EMNLP
2011
14 years 1 months ago
Computing Logical Form on Regulatory Texts
Nikhil Dinesh, Aravind K. Joshi, Insup Lee
118
Voted
ICRE
2000
IEEE
15 years 6 months ago
Requirements Documentation: Why a Formal Basis is Essential
Unless you have a complete and precise description of your product’s requirements, it is very unlikely that you will satisfy those requirements. A requirements document that is ...
David Lorge Parnas