Gaudi Software Factory Ralph Back Ivan Porres

Programming Methods Group Research group at Åbo Akademi/CS, started at 1984 Research on programming/software technology –Logical foundations of software construction –New programming paradigms –Software construction tools –Software process –Case studies

People Professors –Ralph Back (ÅA/KTF, leader) –Johan Lilius (ÅA/KTF) –Kaisa Sere (ÅA/KTF) –Joakim von Wright (ÅA/MNF) Researchers, Post docs, Ph.D. students, M.Sc. Students, summer interns members in research group

TUCS laboratories involved Distributed Systems Lab –(Sere) ÅA-TY Embedded Systems Lab –(Lilius) ÅA-TY Learning and Reasoning Lab –(von Wright) ÅA-TY Software Construction Lab –(Back, Porres) ÅA

Special Status Group selected by Academy of Finland as a Center of Excellence in Research Topic: Formal Methods in Programming Two other CoE in CS: –Helsinki University of Technology (neural networks) –University of Helsinki (data mining)

Gaudi Software Factory Part of Programming Methods Group research Organized as an software production factory Financed by Socos project, Sprout project, CoE funding Managed and run by Software Construction Lab

Objective for Gaudi Develop and test in practice new software construction methods –Flexible software process –Efficient (easy to learn) –Produce reliable software –Applicable in Academy / Industry –Support own software development

Summer 2001: Pilot Factory A group of 6 programmers (4 ÅA students, 2 HUT students) One product: an outlining editor Using XP as the main software process, SFI as architecture Good and encouraging results from this project

Spanish architect, one of the most creative architects in modern times. His style is often described as a blend of neo- Gothic and Art Nouveau, but it also has elements of Surrealism and Cubism. Gaudí attended the School of Architecture in Barcelona ( ), where he spent his life. Under the patronage of industrialist Eusebio Güell, he completed many important commissions, including the Palacio Güell ( ) and the Park Güell ( ). In 1883 Gaudí was appointed official architect of the Church of the Sagrada Familia, which, although still unfinished at his death, is acknowledged as his masterpiece. Its lofty semi-Cubist towers, with mosaic- covered finials, dominate the skyline of Barcelona. Antoni Gaudí i Cornet

Product Development The main activity is product development The products should be constructed following some specific practices –Extreme Programming, SFI, etc… You are assisted / supervised by a coach There is a customer that has the last word on the product

Summer 2002: 3 Products Derivation Editor –Linus Bernas, Johanes Eriksson, Peter Eriksson, Miika Hakala –Coach: Viorel Preoteasa –Customer: Ralph Back Software Construction Workbench –Tomas Czarnecki, Juha Javanainen, Jarkko Lahti,Mari Melander –Coach: Luka Milovanov –Customer: Ralph Back UML Modeler –Simon Dahlbacka, Markus Eriksson, Peter Ljunqvist, Petri Manila –Coach & Customer : Ivan Porres

Derivation Editor An editor to perform mathematical derivations –Shows a proof as an outline –Checks the correctness of derivations –Suggests applicable rules –Publish work book

Software Construction Workbench A tool to model and develop object- oriented software using Stepwise Feature Introduction methodology –Project Management –Release Management –Layer Management –Code Generation

UML Modeler An editor for UML models –Class, Statecharts, Sequence and Activity Diagrams –Connection with the SCW

Pair Programming Two brains better than one Self discipline Free communication –Ask and answer questions –Make and change pairs Shared code ownership

eXtreme Programming

Python A cool object-oriented programming language –It is easy to learn –You become productive in a short time –Large library of modules XML Qt graphical user interface

Stepwise Feature Introduction Software is constructed in thin layers Each layer –adds a new feature –can be thoroughly tested and verified independently of the other layers –is a working product Objective: Maximize flexibility and reliability

Repository All source code will be managed in a central repository by CVS –Team work –Safety net

Schedule Tutorials: before 15 th of May –Preparation: short tutorials and training Production: –9h to 17h

Tutorials 14-16h Python: 16.4 room 3223 and 17.4 room 4142 Qt: 19.4 room 4142 Extreme Programming: 23.4 Unit Testing: 24.4 Design Patterns: 26.4 UML: 29.4 UML Tool development: 29.4 CVS: 3.5 Stepwise Feature Introduction 7.5 Not covered: OO, Linux (KDE, xemacs)

Facilities Viorel Luka Meetings & Tutorials Lab I Ralph Ivan Lab II Meetings Coffe

Other Mailing list You need an ÅA UNIX Account –Datacentralen ( Keys –Christel Engblom (3 rd floor) –You need two keys (TUCS and 4144)