| Home \ Research Areas \ Research Stream | Login |
[ Software Systems ]
Software Systems researches new programming and modeling languages, development methods and environments for large software-intensive systems, with a focus on web based and dependable systems, where communication and concurrency are pervasive. Sample application scenarios we are particularly interested in include web based applications (e.g., business apps, social networks), service infrastructures (e.g., app-stores, multi-party services / mashups), and ubiquitous computing infrastructures, such as smart buildings. Our work bridges from foundational theoretical principles to prototype development, experimental validation, and ultimately to technology and knowledge transfer.
page 8 of 14 - listing organization of events 141 to 160 of a total of 277
Vasco Amaral @ MoDeVVa'09 - 6th edition of the workshop on Model Engineering, Verification, and Validation[ 4 Oct 2009 ] - Program Committee Member
Ana Moreira @ ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems[ 4 Oct 2009 to 9 Oct 2009 ] - Program Committee Member
Luis Caires @ PSPL 2010, FLOC 2010 Workkshop on Proof Systems for Program Logics[ 1 Oct 2009 to 10 Jul 2010 ] - Program Committee Member
Fernando Brito e Abreu @ SEDES’2009 (Simpósio de Estudantes de Doutoramento em Engenharia de Software)[ 21 Sep 2009 ] - Program Committee Member
Vasco Amaral @ NBiS2009 - 12th International Conference on Network-Based Information Systems [ 19 Sep 2009 to 21 Sep 2009 ] - Program Committee Member
Vasco Amaral @ 7th PPPJ (in coop. ACM) Principles and Practices of Programming in Java[ 15 Sep 2009 ] - Coordinator
Vasco Amaral @ INFORUM 2009 - Engenharia Conduzida por Modelos[ 10 Sep 2009 to 11 Sep 2009 ] - Program Committee Co-Chair
Ana Moreira @ XIV Jornadas de Ingeniería del Software y Bases de Datos[ 8 Sep 2009 to 11 Sep 2009 ] - Program Committee Member
Vasco Amaral @ CEI 2009 – Encontro Nacional do Colégio de Engenharia Informática da OE [ 7 Sep 2009 to 8 Sep 2009 ] - Organizing Committee Co-Chair
Elisabete Freire @ Unconventional Computation 2009[ 7 Sep 2009 to 11 Sep 2009 ] - Organizing Committee Member
Luis Caires @ Concur 2009, the 20th International Conference on Concurrency Theory[ 1 Sep 2009 to 4 Sep 2009 ] - Program Committee Member
Hugo Torres Vieira @ ICE 09, 2nd Interaction and Concurrency Experience[ 31 Aug 2009 ] - Program Committee Member
Artur Miguel Dias @ 7th PPPJ - (in coop. ACM) Principles and Practices of Programming in Java[ 27 Aug 2009 to 28 Aug 2009 ] - Program Committee Member
Vasco Amaral @ HCI International 2009 Session: Rapid User Interface Prototyping - RUIP [ 19 Jul 2009 to 24 Jul 2009 ] - Organizing Committee Co-Chair
João Costa Seco @ 4th International federated conferences on Distributed Computing Techniques[ 7 Jun 2009 to 13 Jun 2009 ] - Organizing Committee Member
Fernando Brito e Abreu @ 8th Brazilian Symposium on Software Quality (SBQS’2009)[ 1 Jun 2009 to 5 Jun 2009 ] - Program Committee Member
Vasco Amaral @ ICEIS 2009 11th International Conference on Enterprise Information Systems [ 6 May 2009 to 10 May 2009 ] - Program Committee Member
João Araújo @ IDEAS 2009[ 13 Apr 2009 ] - Program Committee Co-Chair
Fernando Brito e Abreu @ 13th European Conference on Software Maintenance and Reengineering (CSMR’2009)[ 24 Mar 2009 to 27 Mar 2009 ] - Program Committee Member
Vasco Amaral @ CISIS 2009[ 16 Mar 2009 to 19 Mar 2009 ] - Program Committee Member