Anthony I. (Tony) Wasserman has spent much of his career working on software development methods and tools to support them, both in academia and industry. As an early contributor to the young field of software engineering, he developed the User Software Engineering methodology, recognizing that users were an important part of the development process,…
The Return of SMT
