October 13th
10:30 SEW 33 Opening Session
Software Requirements and Modeling
11:00 A Method Based on Petri Nets for Identification of Aspects, V. Abdelzad, F. Shams Aliee
11:30 A realistic modeling of real-time systems for efficient scheduling, C. Fotsing, A. Geniet, G. Vidal-Naquet
12:00 Lunch Break
Software Architectures
13:30 Co-Design of the Business and Software Architectures: A Systems Engineering and Model-Driven Method, X. Cui
14:00 An Adaptative Framework Architecture for RFID Applications, L. Amaral, F. Hessel, E. Bezerra, J. Corrêa, O. Longhi, T. Dias
14:30 Modularization of Crosscutting Concerns in Multi Agent Systems, J. Filho, R.Choren, K. Breitman
15:00 Coffee Break
Software Engineering Management
15:30 Model-Based Engineering of Software: Three Productivity Perspectives, S. Bohner, S. Mohan
16:00 Is Evidence Based Software Engineering mature enough for Practice & Policy?. D. Budgen, P. Brereton, B. Kitchenham
16:30 A Study Case about a Software Project Management Success Metrics, R. Lacerda, S. Ensslin, L. Ensslin
October 14th
8:30 Keynote: Roy Sterritt – University of Ulster – Northern Ireland
10:00 Coffee Break
Change Management and Testing
10:30 Towards Specification and Refinement of Contracts with Environment Changes, Q. Li, H. Zhu
11:00 JaBUTiService: A Web Service for Structural Testing of Java Programs, M. Eler, A. Endo, P. C. Masiero, M. E. Delamaro, J.C. Maldonado, A. Vincenzi, M. Chaim, D. Medeiros. D. Beder
11:30 Using Business Processes in System Requirements Definition, E.Carvalho, T. Escovedo, R. Melo
12:00 Lunch Break
Formal Methods in Software Engineering Practice
13:30 Complexity Reduction in Developing Autonomic Systems with ASSL, E. Vassev, M. Hinchey
14:00 Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development, B. Galina, N. Guelfi, e P. Kelsen
14:30 Animating the Link between Operational Semantics and Algebraic Semantics or a Probabilistic Timed Shared-Variable Language, H. Zhu, J. Sanders, J. Bowen, J. He, F.Yang
15:00 Coffee Break
15:30 Decentralized Reasoning in Ambient Intelligence, J. Viterbo, M. Endler
16:00 Automatic Classification of Software Change Request Using Multi-Label Machine Learning Methods, S. Ahsan, J. Ferzund, F. Wotawa
16:30 Data Warehousing in an Industrial Software Development Environment, M. Colaço, M. Mendonça e F. Rodrigues
17:30 SEW-33 Closing Cerimony