Research Areas
We are currently focusing on two areas of research:
software reuse and real-time embedded systems.
In the software reuse area, we are currently focusing on development of methods and tools for
product line software engineering.
In the real-time embedded systems area, we are currently focusing on software specifications, techniques for dynamic simulation,
formal verification of requirement specifications, automatic code generation and construction of testbeds.
For more information, click this link to "research area" page.
|
|
ASADAL CASE Tools: All of our research results are integrated into a software development framework called ASADAL.
We are developing CASE tools that support the ASADAL framework.
Download ASADAL framework overview.
|
|
Notification & Events
 
Feature Model Cake in VaMoS 2010
|
Upcoming Major Conference
ICSE 2010 - The 32nd International Conference on Software Engineering (Cape Town, South Africa, May 2-8, 2010)
SPLC 2010 - The 14th International Software Product Line Conference (Jeju Island, South Korea, Sep. 13-17, 2010)
FOSD 2010 - The 2nd International Workshop on Feature-Oriented Software Development (Eindhoven, The Netherlands, Oct. 13, 2010)
|
|
|
