Navigation section
system development
About this tag
The system development tag on WindowsForum.com covers discussions related to formal methods, software engineering, and programming languages. Content includes academic and research perspectives on program verification, such as Grigore Rosu's work at UIUC on formal system development. Topics may involve theoretical foundations and practical approaches to building reliable systems, with an emphasis on verification and validation techniques. The tag is relevant for developers and researchers interested in rigorous system design and analysis.
-
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