Systems Level Design Group Home

The Systems Level Design Group is comprised of students and faculty investigating all aspects of systems level design at The University of Kansas Information
and Telecommunications Technology Center. Advised by Dr. Perry Alexander, the group is engaged in several research projects
including specification, verification and synthesis of complex systems as well as component reuse and architecture. Each applies
engineering methods and formal modeling to specific systems engineering activities.
The Information and Telecommunications Technology Center is a consortium of researchers at The University of Kansas investigating all aspects of information technology. The Computer Systems Design Laboratory is an ITTC lab whose focus is the design of computer-based systems for embedded applications.
Recent News
-
-
We will be offering a Rosetta semantics tutorial at FDL'08. More details forthcoming.
-
-
The Rosetta book is out! System-Level Design with
Rosetta has been published by Morgan Kaufmann and is
available through your favorite bookstore.
-
-
The IEEE DASC Rosetta Working Group continues its work. The LRM Subcommittee meets weekly to discuss issues related to the
emerging LRM. If you are interested in participating, send email to Perry Alexander.
Upcoming Conferences
- Automated Software Engineering
- September 15-19, 2008
L'Aquila, Italy
- International Conference on Functional Programming
- September 22-24, 2008
Victoria, BC
- International Conference on Software Engineering
- May 16-19, 2009
Vancouver, Canada
- Design Automation Conference
- Anaheim, CA
June 8-13, 2008
- Forum on specification and Design Languages
- Stuttgart, Germany
September 23-25, 2008
Weekly Research Meetings
- SLDG Meeting - 10:00 Wednesdays Executive Conference Room
- Lambda Group - 10:00 Fridays Gemini Room