526 search results - page 106 / 106 » Co-Logic Programming: Extending Logic Programming with Coind... |
140
click to vote
SERA
2004
Springer
15 years 8 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...