[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

HouHoover06

  1. Danqing Hou & H James Hoover
  2. Using SCL to Specify and check Design Intent in Source Code
  3. IEEE Trans Software Engineering V32n6(Jun 2006)pp404-423
  4. =CASESTUDY TOOL V&V SQA STATIC CHECK TECHNICAL CODE Java C++ MVC
  5. SCL::="Logic based language and tool that expresses and checks constraints on object-oriented code"
  6. Typical constraint: In Java all classes derived from Object should define a public boolean equals(Object o) method, not one with another parameter type.
  7. Lint for the 21st century.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]