Cited By
View all- van Lamsweerde AGhezzi CJazayeri MWolf A(2000)Requirements engineering in the year 00Proceedings of the 22nd international conference on Software engineering10.1145/337180.337184(5-19)Online publication date: 1-Jun-2000
- Mylopoulos JBorgida AYu E(1997)Representing Software Engineering KnowledgeAutomated Software Engineering10.1023/A:10086270260034:3(291-317)Online publication date: 1-Jul-1997
- Greenspan SMylopoulos JBorgida AFadini BOsterweil Lvan Lamsweerde A(1994)On formal requirements modeling languagesProceedings of the 16th international conference on Software engineering10.5555/257734.257754(135-147)Online publication date: 21-May-1994
- Show More Cited By