2 search results - page 1 / 1 » Attempto Controlled English - Not Just Another Logic Specifi... |
LOPSTR
1998
Springer
15 years 7 months ago
1998
Springer
122
click to vote
KBSE
1999
IEEE
15 years 7 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...