Satellite Workshop of the FM 2003, Pisa, Italy - September 8-9, 2003

26 March 2003

United Nation University/International Institute for Software Technology (UNU/IIST). The objective of this workshop was to bring together researchers in the areas of software engineering and formal methods to clarify and discuss the issues in component-based software development. The topics of the workshop included, but was not limited to: * Models of components and their interaction. * Design and verification methods for component software. * Representation of functional and non-functional attributes of components...

    Related link

    Permanent link: http://en.unesco.kz/satellite-workshop-of-the-fm-2003-pisa-italy-september-8-9-2003