Search Results - "Simmonds, Jocelyn"

The Robot Operating System: Package reuse and community dynamics by Estefo, Pablo, Simmonds, Jocelyn, Robbes, Romain, Fabry, Johan

“…•A large amount of ROS packages ends up being abandoned by their developers.•ROS package reuse is not as easy as promised: bugs and lack of basic documentation…”
Get full text

Optimizing Computation of Recovery Plans for BPEL Applications by Simmonds, Jocelyn, Ben-David, Shoham, Chechik, Marsha

“…Web service applications are distributed processes that are composed of dynamically bounded services. In our previous work [15], we have described a framework…”
Get full text

The effects of team gender composition in capstone software development projects by Bastarrica, Maria Cecilia, Simmonds, Jocelyn

“…Women are greatly underrepresented in software engineering programs. Thus, few women enter the software development industry, and even fewer stay for a long…”
Get full text

Impact of Affirmative Action on Female Computer Science/Software Engineering Undergraduate Enrollment by Simmonds, Jocelyn, Bastarrica, Maria Cecilia, Hitschfeld-Kahler, Nancy

“…Affirmative action in college admissions has been touted as a way to close the gender gap in science, technology, engineering, and mathematics programs. We…”
Get full text

Software product line evolution: A systematic literature review by Marques, Maíra, Simmonds, Jocelyn, Rossel, Pedro O., Bastarrica, María Cecilia

“…Context: Software Product Lines (SPL) evolve when there are changes in the requirements, product structure or the technology being used. Different approaches…”
Get full text

Mobile Application Monitoring by Vasquez, Sebastian, Simmonds, Jocelyn

“…To date, there are more than 800.000 applications available on each of the two largest mobile application markets (Google Play and Apple App Store), each…”
Get full text

Monitoring and recovery for web service applications by Simmonds, Jocelyn, Ben-David, Shoham, Chechik, Marsha

“…Web service applications are distributed processes that are composed of dynamically bounded services. In this paper, we give a definitive description of a…”
Get full text

The v-algorithm for discovering software process lines by Rojas Blum, Fabian, Simmonds, Jocelyn, Bastarrica, María Cecilia

“…A software company can define a software process line (SPrL) to deal with projects with different characteristics. This entails defining a base process and its…”
Get full text

Assessing software development skills among K-6 learners in a project-based workshop with scratch by Gutierrez, Francisco J., Simmonds, Jocelyn, Hitschfeld, Nancy, Casanova, Cecilia, Sotomayor, Cecilia, Peña-Araya, Vanessa

“…Recent literature reports a fair amount of initiatives on how to engage younger populations in achieving computational literacy. However, there is considerable…”
Get full text

Affirmative action for attracting women to STEM in chile by Bastarrica, María Cecilia, Hitschfeld, Nancy, Samary, Maíra Marques, Simmonds, Jocelyn

“…Women are currently almost half of the work force in Chile, but very few of them work in the software industry. In part, this is because there are strong…”
Get full text

MDE software process lines in small companies by Hurtado, Julio Ariel, Bastarrica, María Cecilia, Ochoa, Sergio F., Simmonds, Jocelyn

“…► We define an MDE approach for software process lines. ► We illustrate our approach with an academic example. ► We validate our approach in two different…”
Get full text

Spin lock killed the performance star by Rivera, Diego, Blasco, Sebastian, Bustos-Jimenez, Javier, Simmonds, Jocelyn

“…The Internet has grown quite quickly, requiring more and more processing power each year to handle user requests in a timely fashion. In the multicore world,…”
Get full text

Formal verification of distributed system using an executable C model by Cifuentes, Francisco, Bustos Jimenez, Javier, Simmonds, Jocelyn

“…Formal verification means to rigorously explore the correctness of system designs expressed as mathematical models, most likely with the assistance of modern…”
Get full text

Exploiting resolution proofs to speed up LTL vacuity detection for BMC by Simmonds, Jocelyn, Davies, Jessica, Gurfinkel, Arie, Chechik, Marsha

“…When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is…”
Get full text

Software engineering for millennials, by millennials by Simmonds, Jocelyn, Samary, Maíra Marques, Tomic, Milenko, Madrid, Francisco, Escobar, Constanza

“…Software engineers need to manage both technical and professional skills in order to be successful. Our university offers a 5.5 year program that mixes…”
Get full text

mu PrintGen: Supporting Workflow Logs Analysis Through Visual Microprint by Alfaro, Sebastian, Bergel, Alexandre, Simmonds, Jocelyn

“…A microprint is a visualization that condenses the contents of a text file into a small space. This is done by using colored scaled -down characters or pixels…”
Get full text

"Teaching is learning": Pedagogical material created and evaluated by students by Barbay, Jeremy, Simmonds, Jocelyn, Nishida, Adriana Keiko, Pinheiro Ribeiro, Monael

“…The action of teaching reinforces one's learning but requires some external quality control when done by nonprofessionals (e.g., a professor supervising…”
Get full text

Runtime Monitoring of Web Service Conversations by Simmonds, J., Yuan Gan, Chechik, M., Nejati, S., O'Farrell, B., Litani, E., Waterhouse, J.

“…For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However,…”
Get full text

Dynamic Analysis of Web Services by Simmonds, Jocelyn

“…Orchestrated web service applications are highly distributed applications that accomplish business goals by executing services offered by partners. This…”
Get full text

BehaviorDroid: Monitoring Android Applications by Silva, Alexis, Simmonds, Jocelyn

“…Mobile app developers declare permissions, but these do not guarantee that apps will behave as expected. Existing work focuses on checking predefined app…”
Get full text