[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Danqing Hou & H James Hoover
- Using SCL to Specify and check Design Intent in Source Code
- IEEE Trans Software Engineering V32n6(Jun 2006)pp404-423
- =CASESTUDY TOOL V&V SQA STATIC CHECK TECHNICAL CODE Java C++ MVC
- SCL::="Logic based language and tool that expresses and checks constraints on object-oriented code"
- Typical constraint: In Java all classes derived from Object should define a public boolean equals(Object o) method, not one with another parameter type.
- Lint for the 21st century.
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]