ISSUE48: FEBRUARY-APRIL 2007
network of research and training centres/programmes
Nanjing venue for second software tools workshop
UNU International Institute for Software Technology (UNU-IIST) will conduct its second International Workshop on Harnessing Theories for Tool Support in Software (TTSS'08) in Nanjing, China, June 15-16.
The workshop, a satellite event of the second IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE), is a forum for researchers, practitioners and users interested in rigorously based tools for the construction and analysis of complex systems.
The aim of the workshop is to bring them together to present and discuss ideas about:
-
How to deal with the complexity of software projects by multi-view modeling and separation of concerns about the design of functionality, interaction, concurrency and extra-functionality; and
-
How to ensure correctness and dependability of software using formal methods and tools of modeling, design, verification and validation into design and development processes and environments.
TTSS'08 is inviting authors to submit original and unpublished work for presentation at the workshop. The submission deadline is April 21.
© 2008 United Nations University