A. van Lamsweerde

• Current issues in expert systems
• Requirements engineering