
INES – National Institute of Science and Technology for Software Engineering
-
UFPE Researchers at CBSoft 2013
(0)Publicado em July 18th, 2013PublicationsProf. Vinicius Cardoso Garcia together with graduate and undergraduate students will attend CBSoft 2013 to attend the conference and present research papers. This activity is part of the project “Social Machines and Research Team – SMaRT” and is one of the results of the research being done by ASSERT Lab.
Lucas Lima, a PhD student from UFPE, and Prof. Márcio Cornélio will present the paper “A Formal Semantics for SysML Activity Diagrams” at the CBSoft 2013. This is a full paper presentation at the Brazilian Symposium on Formal Methods (SBMF).
assertlab, cbsoft, cin, smart, ufpe -
INES at 17th EASE – Part II
(0)Publicado em March 13th, 2013PublicationsThe paper “Cloud Testing Framework” authored by Crescencio Rodrigues Lima Neto (DCC-UFBA and IFBA), and Vinicius Cardoso Garcia (CIn-UFPE), has been accepted for publication at the 17th International Conference on Evaluation and Assessment in Software Engineering (EASE’2013). The conference will be held in April 14 – 16, 2013 at Porto de Galinhas, Brazil.
This activity is part of the project “Social Machines and Research Team – SMaRT” and is one of the results of the research being done by ASSERT Lab.
A brief overview of the paper is given next
Cloud-based testing introduces a new set of challenges. While many companies are approaching cloud computing with cautious, testing appears to be next area of growing interest. This paper propose the development of a new framework focusing on cloud testing. We intend to define the activities, roles, techniques, and tools that will be used in an integrated framework. A research methodology containing all the steps that will be executed during the proposal implementation was defined. A schedule was suggested in order to allow the research development. We propose a new Cloud Testing framework and we present the research methodology and schedule that will be used to implement the proposal.
assertlab, cin, cloud, ifba, smart, test, UFBA, ufpe -
INES at EMC Summer School on Big Data
(0)Publicado em January 16th, 2013ProjectsProfa. Bernadette Farias Lóscio will attend the EMC Summer School on Big Data, on February 4-7 of 2013, at Rio de Janeiro, Brazil. The Summer School aims to introduce graduate students, faculty and practitioners to the main concepts related to Big Data. Specifically, the Summer School will cover the following topics: MapReduce and Hadoop, Massive Parallel Processing in Databases, Big Data Analytics, Probabilistic Databases and Big Data, Data Mining and Machine Learning on Big Data, Massive Data Storage, Cloud Computing and Big Data, Scientific Workflows and Big Data and Big Data Application Domains.
More information about the Speakers and Schedule can be found at http://emcbigdataschool.nce.ufrj.br/
This activity is part of the project “Social Machines and Research Team – SMaRT”.
assertlab, bigdata, cin, smart, ufpe -
INES at 28th Symposium On Applied Computing (SAC’2013)
(0)Publicado em December 6th, 2012PublicationsThe paper “Smart Cities Software Architectures: A Survey” authored by Welington Manoel da Silva, Gustavo Henrique Rodrigues Pinto Tomas, Kelvin Lopes Dias, Ricardo Alexandre Afonso, Alexandre Alvaro and Vinicius Cardoso Garcia has been accepted for publication in the Software Architecture: Theory, Technology, and Applications (SA-TTA) Technical Track at the 28th Symposium On Applied Computing (SAC’2013).
The conference will be held in March 18 – 22, 2013 at Institute of Engineering of the Polytechnic Institute of Coimbra (ISEC-IPC), Coimbra, Portugal.
This activity is part of the project “Social Machines and Research Team – SMaRT” and is one of the results of the MSc research being done by Welington Manoel da Silva and Gustavo Henrique Rodrigues Pinto Tomas and PhD research being done by Ricardo Alexandre Afonso.
A brief overview of the paper is given next
The smart cities concept arises from the need to manage, automate, optimize and explore all aspects of a city that could be improved. For this purpose it is necessary to build a robust architecture that satisfies a minimal number of requirements such as distributed sensing, integrated management and flexibility.
Several architectures have been proposed with different goals, but none of them met satisfactorily the needs that permeate smart cities.
In this work various architectures are discussed, highlighting the main requirements that they aim to fulfill. Furthermore, based on different architectures with the most varied purposes, a set of requirements for the implementation of a smart city is presented and discussed.
assertlab, cin, msc, phd, smart, smart cities, ufal, ufpe, ufscar -
INES Researcher will attend the Big Data Workshop: Challenges and Opportunities
(0)Publicado em November 5th, 2012UncategorizedINES researcher prof. Vinicius Cardoso Garcia will attend the Big Data Workshop: Challenges and Opportunities, on November, 13 of 2012. The workshop will be held at Instituto Tecnológico de Aeronáutica – ITA, in São José dos Campos, SP, Brazil.
The workshop aims to discuss partnerships and ongoing activities at ITA and Massachusetts Institute of Technology (MIT).
The Big Data Workshop: Challenges and Opportunities, is supported by QIBRAS – Brasil Information Quality (in portuguese, Qualidade da Informação Brasil) and BRASSCOM – Brazilian Association of Information Technology and Communication Companies.
big data, cesar, ita, mit, ufpe, workshop -
INES at Seventh International Conference on Software Engineering Advances (ICSEA 2012) – Part II
(0)Publicado em September 12th, 2012PublicationsINES researchers had two papers accepted for publication in the 7th International Conference on Software Engineering Advances (ICSEA) 2012:
1) “Evaluating performance of distributed systems with MapReduce and application traffic analysis” authored by Thiago Vieira, Paulo Fernando Soares, Marco Machado, Rodrigo Assad and Vinicius Garcia; and,
2) “A Systematic Mapping Study on Domain-Specific Languages” authored by Leandro Nascimento, Daniel Viana, Paulo Silveira Neto, Dhiego Martins, Vinicius Garcia and Silvio Meira.
Both papers are part of the research activities being performed in the project “Social Machines and Research Team – SMaRT”. We are gathering other members in this research group and creating a new one with a more general proposal, called Advanced Software Systems Engineering and Research Technologies (ASSERT): www.assertlab.com
The conference will be held in November 18-23, 2012 – Lisbon, Portugal.
A brief overview of both papers is given next:
1) Abstract. Test, monitoring and evaluation of distributed systems at runtime is a difficult effort, due the dynamicity of the environment, the large amount of data exchanged between the nodes and the difficulty of reproduce an error for debugging. Application traffic analysis is a method to evaluate distributed systems, but the capacity of analyze large amount of data is a challenge. This paper proposes and evaluates the use of MapReduce programming model to deep packet inspection the application traffic of distributed systems, evaluating the effectiveness and the processing capacity of the MapReduce programming model for deep packet inspection of a JXTA distributed storage application, in order to measure performance indicators.
2) Abstract. Domain-Specific Languages (DSLs) offer substantial gains in expressiveness and ease of use compared with general purpose languages. This way, DSLs have gained significant attention in industry and academy, as can be seen by the increased number of related publications in key conferences and journals. This paper aims to provide a broad view of the DSL research field by performing a Systematic Mapping Study. Adopting a detailed search strategy, 4450 studies were initially identified, and, after filtering, 1440 primary studies were selected and categorized using a particular classification scheme. So, this work presents the most popular application domains where DSLs have been applied, identifies different tools for handling DSLs, including language workbenches, and enumerates several techniques, methods and/or processes for dealing with DSLs.
assertlab, cin, icsea, msc, phd, smart, ufpe -
INES at ICPADS’2012
(0)Publicado em September 12th, 2012PublicationsThe paper “Measuring performance of distributed applications through MapReduce and network traffic analysis” authored by Thiago Pereira de Brito Vieira, Paulo Fernando Almeida Soares, Marco Andre Santos Machado, Rodrigo Elia Assad and Vinicius Cardoso Garcia has been accepted for publication in the 18th IEEE International Conference on Parallel and Distributed Systems (ICPADS) 2012 in Singapore.
The conference will be held in december 17 – 19, 2012 at Nanyang Executive Centre, Nanyang Technological University, 60 Nanyang View, Singapore.
This activity is part of the project “Social Machines and Research Team – SMaRT” and is one of the results of the MSc research being done by Thiago Vieira.
This paper proposes the use of MapReduce programming model to deep packet inspection of distributed systems network traffic, performing a initial evaluation of effectiveness and processing capacity of MapReduce for deep packet inspection, and also evaluating the performance indicators that can be extracted to evaluate a distributed application.
cin, icpads, mapreduce, msc, smart, ufpe -
INES at SLE’2012
(0)Publicado em August 25th, 2012PublicationsThe paper “SMADL – The Social Machines Architecture Description Language” authored by Leandro Nascimento, Vinicius Garcia and Silvio Meira has been accepted for publication in the Doctoral Symposium of the 5th International Conference on Software Language Engineering (SLE) 2012 in Dresden, Germany.
The conference will be held in September 25-28, 2012 and will be co-located with other well conferences in the area: 11th Generative Programming and Component Engineering Conference (GPCE’12) and the 4th International Workshop on Feature-Oriented Software Development (FOSD’12).
This activity is part of the project “Social Machines and Research Team – SMaRT” and is one of the results of the PhD research being done by Leandro Nascimento.
In order to give a brief overview of the paper, here is the abstract: We are experiencing a high growth in the number of web applications being developed. This is happening mainly because the web is going into a new phase, called programmable web, where several web-based systems make their APIs publicly available. In order to deal with the complexity of this emerging web, we define a notion of social machine and envisage a language that can describe networks of such. To start with, social machines are defined as tuples of input, output, processes, constraints, states, requests and responses; apart from defining the machines themselves, the language defines a set of connectors and conditionals that can be used to describe the interactions between any number of machines in a multitude of ways, as a means to represent real machines interacting in the real web. This work presents a preliminary version of the Social Machine Architecture Description Language (SMADL).
cin, fosd, GPCE, phd, sle, smadl, smart, ufpe -
UFPE (SRG group) Researchers will be at CBSoft 2012
(0)Publicado em July 20th, 2012UncategorizedProfessor Andre Santos, PhD students Tarciana Dias da Silva, Giovanny Fernando Lucero Palma, Joabe Bezerra de Jesus Júnior, Diego Machado Dias, the MSc student Marcelo Costa and Prof. Sidney Nogueira, MSc students Felype Santiago and Paola Accioly, PhD student Márcio Ribeiro will participate in the 3rd CBSoft. CBSoft will be held from Sep 23 to Sep 29 in Natal, Brazil.
cbsoft, ufpe -
INES researcher at SBQS’2012
(0)Publicado em April 30th, 2012AwardLast year, Vinicius Cardoso Garcia, one of the researches responsible for the projet S.Ma.R.T – Social Machines Research Team won the Software Quality Thesis and Dissertations Competition (CTDQS’2011) – type PhD. CTDQS aims to promote and award the best M.Sc. dissertations and Ph.D. thesis in the field of software quality, defended and approved in Brazil during the year 2010.
The CTDQS is also intended to encourage further work in postgraduate on Quality Software and stimulating University-Industry interaction in this area.
As a prize for the award, Vinicius was invited to attend the SBQS’2012 in Fortaleza, with passages paid by the event sponsor.
Besides, the following paper Agile Motodologies Adoption for Social Games Production with Distributed Teams (in portuguese) was accepted for publication at the conference.
ANTUNES, Jamilson Batista; GOMES, João Emanoel Ambrósio; OTERO, Lenin Ernesto Abadié; GARCIA, Vinicius Cardoso; MEIRA, Silvio Romero de Lemos Meira. Adoção de Metodologias Ágeis para Produção de Jogos Sociais com Times Distribuídos. XI Simpósio Brasileiro de Qualidade de Software (SBQS), Fortaleza, Ceará, Brazil, 2012.
This activity is part of the project ”S.Ma.R.T – Social Machines Research Team“.
Award, sbqs, smart, ufpe