Navigation section
acm sigsoft
About this tag
The ACM SIGSOFT tag on WindowsForum.com covers discussions related to the ACM Special Interest Group on Software Engineering. Content includes topics such as program verification, formal methods, and software engineering research, as exemplified by a thread on ICSE 2011 featuring Grigore Rosu. The tag is relevant for those interested in academic and professional software engineering topics, including theoretical foundations and system development. It serves as a resource for users seeking information on SIGSOFT conferences, publications, and community activities.
-
Windows 7 ICSE 2011: Grigore Rosu - The Art and Science of Program Verification
Grigore Rosu is an associate professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC), where he leads the Link Removed (FSL). His research interests encompass both theoretical foundations and system development in the areas of formal methods...- News
- Thread
- acm sigsoft awards computer science etaps 2002 executable semantics formal methods grigore rosu hoare logic icse 2011 nasa ames nsf career programming languages research software development software verification system development teaching theoretical foundations uiuc
- Replies: 0
- Forum: Live RSS Feeds