Navigation section
expert conversations
About this tag
The expert conversations tag on WindowsForum.com features in-depth discussions with leading computer scientists and software engineers, recorded at events like the International Conference on Software Engineering (ICSE). These conversations, often led by Wolfram Schulte, cover topics such as formal methods, verification, computing history, and software engineering innovations. Participants include Dr. John Rushby, a pioneer in formal methods, and other specialists who share their expertise and personal stories. The tag provides a valuable resource for those interested in hearing directly from experts about their work, research, and the evolution of computing.
-
Windows 7 ICSE 2011: John Rushby - Formal Methods, Verification and Some Computing History
Meet Dr. John Rushby, a computer scientist who runs the Formal Methods group within the Computer Science Laboratory at SRI International. Dr. Rushby is a legendary scientist in the field of formal methods and verification. He has a very rich history in the computer science which you will learn...- News
- Thread
- computer science computing history expert conversations formal methods icse 2011 john rushby mouse sri international verification wolfram schulte
- Replies: 0
- Forum: Live RSS Feeds
-
Windows 7 ICSE 2011: Conversation with Kumiyo Nakakoji
ICSE, the International Conference on Software Engineering,®is the premier software engineering conference, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, trends, experiences and concerns in the field of software engineering...- News
- Thread
- algorithms collaboration computer science conference design development lifecycle education expert conversations human-computer interaction icse innovation japan keynote research software development technology user-centric design
- Replies: 0
- Forum: Live RSS Feeds
-
Windows 7 ICSE 2011: Conversation with Andreas Zeller
ICSE, the International Conference on Software Engineering,® is the premier software engineering conference, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, trends, experiences and concerns in the field of software engineering...- News
- Thread
- algorithms andreas zeller code assertions computer science conference debugging delta debugging developer community education expert conversations icse 2011 innovation program failures programming quality assurance research software development software trends wolfram schulte
- Replies: 0
- Forum: Live RSS Feeds