134
click to vote
ACSC
2000
IEEE
15 years 6 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...