The Brazilian Conference on Software: Theory and Practice (CBSoft) is the premier software development conference in Brazil, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, trends, experiences and concerns in the field of software development.
CBSoft encompasses technical tutorials, workshops, and a programme of short courses along with social functions to provide an ideal opportunity to learn and network with colleagues from around Brazil.
For the 2012 edition, CBSoft will put together four Brazilian symposia, all of them very traditional in the software development field:
CBSoft 2012 will take place in Natal-RN, Brazil. Natal is the Americas entrance spot, the closest one to Europe and Africa, a modern and joyful city, born between its rivers and the sea, adorned by dunes and lots of green trees. A land of colors and flavors where one can find pleasure and adventure. It is summer here all year long, on a littoral of wonderful beaches, lagoons, semi-arid backland, cuisine, rides, art and culture that was never seen before, all allied to its peoples natural hospitality.
Come to CBSoft 2012 and discover the charms of Natal.
Patrick C. K. Hung is an Associate Professor at the Faculty of Business and Information Technology in University of Ontario Institute of Technology (UOIT) in Canada and an Adjunct Professor at the State Key Laboratory of Software Engineering at Wuhan University in China. In addition, he is also a Visiting Researcher at the University of Aizu in Japan. He has been an Adjunct Faculty Member at Department of Electrical and Computer Engineering in University of Waterloo in Canada, a Guest Research Professor at Kingdee at ShenZhen in China, a Guest Professor at Institute of Computer Science in University of Innsbruck in Austria and Department of Information Engineering and Computer Science in University of Tren (...)
Patrick C. K. Hung is an Associate Professor at the Faculty of Business and Information Technology in University of Ontario Institute of Technology (UOIT) in Canada and an Adjunct Professor at the State Key Laboratory of Software Engineering at Wuhan University in China. In addition, he is also a Visiting Researcher at the University of Aizu in Japan. He has been an Adjunct Faculty Member at Department of Electrical and Computer Engineering in University of Waterloo in Canada, a Guest Research Professor at Kingdee at ShenZhen in China, a Guest Professor at Institute of Computer Science in University of Innsbruck in Austria and Department of Information Engineering and Computer Science in University of Trento in Italy. Hung has been working with Boeing Research and Technology at Seattle in the USA, and he has filed two US patent applications on "Mobile Network Dynamic Workflow Exception Handling System" with Boeing. Before that, he was a Research Scientist with Commonwealth Scientific and Industrial Research Organization (CSIRO) at Canberra in Australia. He also has prior industrial experience in e-business projects in the USA, Canada, Australia, China and Hong Kong. He is a founding committee member of the IEEE International Conference of Web Services, IEEE International Conference on Services Computing, and IEEE Congress on Services. He is an associate editor of the IEEE Transactions on Services Computing, International Journal of Web Services Research and International Journal of Business Process and Integration Management. Patrick is also a co-founder of Beaconwall Limited in Hong Kong Science Park in Hong Kong and Max It Systems at Tucson, Arizona with Prof. Jay Tashiro from Wolfsong Informatics in the USA.
Patrick has Ph.D. and Master of Philosophy Science in Computer Science from the Hong Kong University of Science and Technology in Hong Kong, Master of Applied Science in Management Sciences from the University of Waterloo in Canada, and Bachelor of Science in Computer Science at the University of New South Wales in Australia. On the other hand, Patrick has been studied at the CLC Japanese Language Institute at Tokyo in Japan and he got Level 2, Level 3 and Level 4 Certificate of Japanese-Language Proficiency administered by the Japan Foundation and Association of International Education Japan. He has also been a visiting Ph.D. student at the Graduate School of Informatics in Kyoto University in Japan and RSA Laboratories West at San Mateo, California in the USA.
Heiko Ludwig is a Research Staff Member and Manager with IBM?s Almaden Research Center in San Jose, CA. Leading the Business Modeling department Heiko works on the alignment of IT systems, in particular large, web based systems, with business strategy and operations. This relates to issues of service management and service management platforms in general, in particular the issue of scaling of services and management of variants. Other work includes aspects of managing large-scale, loosely coupled, cross-domain distributed systems, including service outsourcing and cloud computing. Other recent work includes SLA and policy management.
Heiko published about 100 refereed articles, conference papers, an (...)
Heiko Ludwig is a Research Staff Member and Manager with IBM?s Almaden Research Center in San Jose, CA. Leading the Business Modeling department Heiko works on the alignment of IT systems, in particular large, web based systems, with business strategy and operations. This relates to issues of service management and service management platforms in general, in particular the issue of scaling of services and management of variants. Other work includes aspects of managing large-scale, loosely coupled, cross-domain distributed systems, including service outsourcing and cloud computing. Other recent work includes SLA and policy management.
Heiko published about 100 refereed articles, conference papers, and book chapters as well as technical reports. He is a managing editor of the International Journal of Cooperative Information Systems. He is an associated editor of two other journals, and served on about 150 program committees of conferences and workshops in the field, co-organizing workshops and serving as PC Co-Chair and General Co-Chair on a number of conferences. He serves regularly on PhD Committees of leading universities and gives lectures in master and PhD classes on numerous occasions. He also gave a number of keynote speeches at conferences and workshops in the field. Heiko served as a project reviewer of EU IST program and national research funding programs. He represented IBM in the OGF GRAAP working group, publishing the WS-Agreement standard.
Prior to the Alamaden Research Center, Heiko held different positions at IBM in the TJ Watson Research Center, the Zurich Research Laboratory, and IBM?s South American Delivery Centers in Argentina and Brazil. He holds a Master's (Diplom) degree and a PhD in information systems (Wirtschaftsinformatik) from Otto-Friedrich University Bamberg, Germany.
John Rushby received B.Sc. and Ph.D. degrees in computing science from the University of Newcastle upon Tyne in 1971 and 1977, respectively. He joined the Computer Science Laboratory of SRI International in 1983, and served as its director from 1986 to 1990; he currently manages its research program in formal methods and dependable systems and is also an SRI Fellow. This program is responsible for the PVS verification system, the SAL suite of model checkers, the Yices SMT solver, and several experimental tools for static analysis, hybrid systems, and probabilistic modeling. Prior to joining SRI, he held academic positions at the Universities of Manchester and Newcastle upon Tyne in England. His research in (...)
John Rushby received B.Sc. and Ph.D. degrees in computing science from the University of Newcastle upon Tyne in 1971 and 1977, respectively. He joined the Computer Science Laboratory of SRI International in 1983, and served as its director from 1986 to 1990; he currently manages its research program in formal methods and dependable systems and is also an SRI Fellow. This program is responsible for the PVS verification system, the SAL suite of model checkers, the Yices SMT solver, and several experimental tools for static analysis, hybrid systems, and probabilistic modeling. Prior to joining SRI, he held academic positions at the Universities of Manchester and Newcastle upon Tyne in England. His research interests center on the use of automated formal methods for problems in the design and assurance of safe and secure systems. Dr. Rushby is a former associate editor for Communications of the ACM, IEEE Transactions on Software engineering, and Formal Aspects of Computing. He was a member of the recent National Research Council study that produced the report "Software for Dependable Systems: Sufficient Evidence?" and was the 2011 recipient of the IEEE Harlan D. Mills Award. His publications are available online at http://www.csl.sri.com/users/rushby/biblio.html
Wolfram Schulte is a principal researcher at Microsoft Research (MSR), Redmond, USA, and the founding manager of the Research in Software Engineering (RiSE) group. Wolfram?s research interests include software engineering focusing on modeling, verification, and test, and programming languages ranging from language design to runtimes. Before joining MSR in 1999, Wolfram worked as an assistant professor at the University of Ulm (1993-1999, habilitation 2000), as software engineer at sd&m, a German software company (1992-1993), and as a research and teaching assistant at the Technical University Berlin (1987-1992, PhD 1992).
Wolfram Schulte is a principal researcher at Microsoft Research (MSR), Redmond, USA, and the founding manager of the Research in Software Engineering (RiSE) group. Wolfram?s research interests include software engineering focusing on modeling, verification, and test, and programming languages ranging from language design to runtimes. Before joining MSR in 1999, Wolfram worked as an assistant professor at the University of Ulm (1993-1999, habilitation 2000), as software engineer at sd&m, a German software company (1992-1993), and as a research and teaching assistant at the Technical University Berlin (1987-1992, PhD 1992).
Wilkerson de Lucena Andrade received the Bachelor?s, Master?s, and PhD Degree in Computer Science from Federal University of Campina Grande in 2005, 2007, and 2011, respectively. He worked at both Para?ba State University (UEPB) and Federal University of Para?ba (UFPB). Currently, he is a professor in the Systems and Computing Department at Federal University of Campina Grande, Brazil, since 2010. He has experience in computer science, with emphasis on Software Engineering. Specifically, his research interests concern the formal verification and validation of mobile phone applications and real-time systems, including formal methods, model-based testing, and software testing automation. (home page)
Wilkerson de Lucena Andrade received the Bachelor?s, Master?s, and PhD Degree in Computer Science from Federal University of Campina Grande in 2005, 2007, and 2011, respectively. He worked at both Para?ba State University (UEPB) and Federal University of Para?ba (UFPB). Currently, he is a professor in the Systems and Computing Department at Federal University of Campina Grande, Brazil, since 2010. He has experience in computer science, with emphasis on Software Engineering. Specifically, his research interests concern the formal verification and validation of mobile phone applications and real-time systems, including formal methods, model-based testing, and software testing automation. (home page)
Luciano Baresi (PhD) is an associate professor at Dipartimento di Elettronica e Informazione of Politecnico di Milano, and was also visiting researcher at University of Oregon at Eugene (USA) and University of Paderborn (Germany). Luciano has published and presented some 120 papers on the most important national and international journals and conferences, and served as PC member for several conferences. Luciano was program chair of ICECCS’02 (International Conference on Engineering Complex Computer Systems), FASE06 (ETAPS Conference on Fundamental Approaches on Software Engineering), and ICWE07 (International Conference on Web Engineering), ICSOC09 (International Conference on Service-Orien (...)
Luciano Baresi (PhD) is an associate professor at Dipartimento di Elettronica e Informazione of Politecnico di Milano, and was also visiting researcher at University of Oregon at Eugene (USA) and University of Paderborn (Germany). Luciano has published and presented some 120 papers on the most important national and international journals and conferences, and served as PC member for several conferences. Luciano was program chair of ICECCS’02 (International Conference on Engineering Complex Computer Systems), FASE06 (ETAPS Conference on Fundamental Approaches on Software Engineering), and ICWE07 (International Conference on Web Engineering), ICSOC09 (International Conference on Service-Oriented Computing), and SEAMS’12 (the International Symposium on Software Engineering for Adaptive and Self-Managing Systems). He will also be program co-chair of ESEC/FSE’13 (the joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering). Luciano is part of the editorial board of: SOCA (Service-Oriented Computing & Applications, Springer) and TAAS (ACM Transactions on Autonomous and Adaptive Systems). Luciano has been principal investigator of different European and national projects. His research interests are in software engineering, and currently he is particularly interested in dynamic and flexible software systems, self-* properties, and service-oriented applications.
Marcelo Schots is a Ph.D. student in Systems Engineering and Computing at COPPE/UFRJ, in the software engineering research area, where he also holds a Master's degree (2011); he also holds a BS in Computer Science from Federal University of Juiz de Fora (2007). He is a substitute professor at the State University of Rio de Janeiro (UERJ) since 2010, working with Systems Modeling, Requirements Engineering and Software Engineering. He is an implementer and assessor of the Brazilian Maturity Model MPS.BR, providing training and consulting services in software processes, with emphasis on configuration management and reuse mana (...)
Marcelo Schots is a Ph.D. student in Systems Engineering and Computing at COPPE/UFRJ, in the software engineering research area, where he also holds a Master's degree (2011); he also holds a BS in Computer Science from Federal University of Juiz de Fora (2007). He is a substitute professor at the State University of Rio de Janeiro (UERJ) since 2010, working with Systems Modeling, Requirements Engineering and Software Engineering. He is an implementer and assessor of the Brazilian Maturity Model MPS.BR, providing training and consulting services in software processes, with emphasis on configuration management and reuse management. He is a member of the Brazilian Computer Society (SBC). He has been working since his Masters with software visualization, an area on which he has national and international publications, and advising students on their undergraduate final projects. In his Ph.D. course, he has been investigating visualization combined with other forms of perception (awareness) aiming at supporting software reuse. He is currently the leader of the EvolTrack project (http://reuse.cos.ufrj.br/), and is a member of the organizing committee of the Brazilian Workshop on Software Visualization (WBVS 2012), satellite event of CBSoft 2012. Website: http://www.cos.ufrj.br/~schots/.Lattes CV (in Portuguese):http://lattes.cnpq.br/8961950372465045.
Bertrand Meyer is Professor of Software Engineering at ETH Zurich, the Swiss Federal Institute of Technology, research professor at ITMO (State University of Saint Petersburg) and Chief Architect of Eiffel Software (based in California). He is the initial designer of the Eiffel method and language and has continued to participate in its evolution. He also directed the development of the EiffelStudio environment, compiler, tools and libraries through their successive versions.
Other activities include: chair of the TOOLS conference series (running since 1989, hosted at ETH since 2007, forthcoming session June 27 - July 2, 2011, in Zurich); director of the LASER summer school on software engineering (t (...)
Bertrand Meyer is Professor of Software Engineering at ETH Zurich, the Swiss Federal Institute of Technology, research professor at ITMO (State University of Saint Petersburg) and Chief Architect of Eiffel Software (based in California). He is the initial designer of the Eiffel method and language and has continued to participate in its evolution. He also directed the development of the EiffelStudio environment, compiler, tools and libraries through their successive versions.
Other activities include: chair of the TOOLS conference series (running since 1989, hosted at ETH since 2007, forthcoming session June 27 - July 2, 2011, in Zurich); director of the LASER summer school on software engineering (taking place every year since 2004 in early September in Elba island, Italy); member, and chair since 2009, of the IFIP TC2 committee (Software technology); member of the IFIP Working Group 2.3 on Programming Methodology; member of the French Academy of Technologies. He is also active as a consultant (object-oriented system design, architectural reviews, technology assessment, patents and software litigation), trainer in object technology and other software topics, and conference speaker. Awards include ACM Software System Award, Fellow of the ACM, Dahl-Nygaard Prize, Harlan D. Mills Prize, and honorary doctorate from the Technical University (ITMO) of Saint Petersburg. Since 2011 he has been an adjunct research professor at ITMO, as holder of a newly created chair on Software Engineering and Verification.
Prior to founding Eiffel Software in 1985, Meyer had a 9-year technical and managerial career at EDF, and was for three years on the faculty at the University of California. His experience with object technology through the Simula language, as well as early work on abstract data types and formal specification (including participation in the first versions of the Z specification language) provided some of the background for the development of Eiffel.
Arie van Deursen holds a PhD from the University of Amsterdam (1994), and an MSc degree from the Vrije Universiteit Amsterdam (1990). Since 2003, Arie van Deursen is head of the Software Engineering Research Group (SERG) at Delft University of Technology. Before that he worked as a researcher at CWI, the Dutch Research Center for Mathematics in Computer Science. He is a regular program committee member of all key conferences in the field of software engineering, most notably the prestigious ICSE (2010?2012), FSE (2010, 2012), OOPSLA (2012), and ECOOP (2010,2011) conferences. Arie van Deursen?s main field of research is software engineering. His research goals are twofold: (1) to obtain a deep understanding (...)
Arie van Deursen holds a PhD from the University of Amsterdam (1994), and an MSc degree from the Vrije Universiteit Amsterdam (1990). Since 2003, Arie van Deursen is head of the Software Engineering Research Group (SERG) at Delft University of Technology. Before that he worked as a researcher at CWI, the Dutch Research Center for Mathematics in Computer Science. He is a regular program committee member of all key conferences in the field of software engineering, most notably the prestigious ICSE (2010?2012), FSE (2010, 2012), OOPSLA (2012), and ECOOP (2010,2011) conferences. Arie van Deursen?s main field of research is software engineering. His research goals are twofold: (1) to obtain a deep understanding of how people build and evolve software systems; and (2) to use the thus obtained theories and models to develop new methods, techniques and tools that advance the way in which software is built and modified. In his empirical work, he has looked at software testing practices from different perspectives. By using repository mining techniques, he has investigated the interplay between coding activities and developer testing activities, as visible in the code?s version control system. Furthermore, he has used grounded theory, a research methodology from the social sciences, to identify integration testing practices in open source plug-in architectures (to appear in ICSE 2012)
Bernhard K. Aichernig is an assistant professor, key researcher and project manager at Graz University of Technology, Austria. He is an expert in formal methods and testing. His research focuses on the foundations of software engineering in order to achieve more reliable computer-based systems. Since 2006, he runs European projects on this topic (CREDO, MOGENTES, MBAT). Bernhard is also a board member of Formal Methods Europe (FME), an international organisation that promotes well-founded techniques in software engineering and organizes the Formal Methods (FM) conferences. From 2002 to 2006 he worked as a Research Fellow at UNU-IIST in Macao S.A.R., China, a research institute of the United Nations on soft (...)
Bernhard K. Aichernig is an assistant professor, key researcher and project manager at Graz University of Technology, Austria. He is an expert in formal methods and testing. His research focuses on the foundations of software engineering in order to achieve more reliable computer-based systems. Since 2006, he runs European projects on this topic (CREDO, MOGENTES, MBAT). Bernhard is also a board member of Formal Methods Europe (FME), an international organisation that promotes well-founded techniques in software engineering and organizes the Formal Methods (FM) conferences. From 2002 to 2006 he worked as a Research Fellow at UNU-IIST in Macao S.A.R., China, a research institute of the United Nations on software technology. He holds a doctorate and a diploma engineer degree from Graz University of Technology
Luís S. Barbosa is an associate professor at the Informatics Department of Universidade do Minho, Portugal, and a researcher at the High-Assurance Software Laboratory (HASLab) in INESC TEC. His research interests include languages, semantics and calculi for component coordination and foundations of architectural design. In both areas he coordinated several research projects and networks. He served as Director of MAP-i, the joint doctoral programme in Computer Science of Minho, Aveiro and Porto Universities.
Luís S. Barbosa is an associate professor at the Informatics Department of Universidade do Minho, Portugal, and a researcher at the High-Assurance Software Laboratory (HASLab) in INESC TEC. His research interests include languages, semantics and calculi for component coordination and foundations of architectural design. In both areas he coordinated several research projects and networks. He served as Director of MAP-i, the joint doctoral programme in Computer Science of Minho, Aveiro and Porto Universities.
Stop
Go
