Primera Escuela de Verano en Informática e Ingeniería de Software Agosto 12 15, 2014 Universidad Icesi, Cali, Colombia

Transcripción

1 Primera Escuela de Verano en Informática e Ingeniería de Software Agosto 12 15, 2014 Universidad Icesi, Cali, Colombia Sebastián de Belalcázar, Cali, Colombia La escuela de verano en Informática e Ingeniería de Software, a realizarse entre el 12 y 15 de Agosto de 2014 y organizada por el Departamento de Tecnologías de Información y Comunicaciones y el grupo de investigación I2T/DRISO, con el apoyo de la Dirección de Investigaciones de la Universidad Icesi, tiene como objetivo principal ofrecer una visión actualizada sobre los conceptos y la práctica en distintas áreas de la computación en general, y en particular de los sistemas de información y la ingeniería de software. Además, busca promover la aplicación de temas de vanguardia en la práctica de la computación y el desarrollo de software en la industria TIC Colombiana y Latinoamericana, así como también el avance de los grupos de investigación que trabajan en estos campos. Finalmente, con esta escuela de verano esperamos contribuir al fortalecimiento de las redes de colaboración en investigación existentes ---así como promover el desarrollo de nuevas--- entre investigadores de América Latina, en particular de Colombia, e investigadores de primer nivel en todo el mundo. La escuela de verano está principalmente dirigida a estudiantes de maestría y doctorado de universidades colombianas y latinoamericanas, y profesionales de la industria en el área de las TIC que estén interesados en seminarios y talleres prácticos de los temas de vanguardia que son dictados por investigadores pioneros en las áreas de interés de la escuela de verano. La 1era Escuela de Verano en Informática e Ingeniería de Software se llevará a cabo en el campus de la Universidad Icesi, en la tropical, pujante y alegre ciudad de Cali, Valle del Cauca, Colombia. Formato Las sesiones de la escuela de verano serán en inglés, en forma de exposiciones magistrales pero participativas, y de laboratorios prácticos, ambos de 1,5 horas cada uno. En general, cada exposición magistral se complementa con una sesión de tutorial que permitirá a los estudiantes poner en práctica los conceptos principales estudiados en la clase magistral correspondiente. Las clases magistrales se desarrollarán en salones convencionales con video proyector, tableros y aire acondicionado. Típicamente empiezan con una introducción a los conceptos fundamentales y una exploración del estado del arte del tema, para después pasar a una presentación de la teoría y práctica que constituyen parte del trabajo reciente del profesor Los Farallones de Cali desde la Universidad Icesi 1

2 investigador que presenta el tema. Los tutoriales se desarrollarán en salas de cómputo y harán uso extensivo de computadores, middlewares y otras herramientas. Dependiendo del tutorial, se les podría pedir a los participantes que instalen artefactos de software con anticipación al inicio del laboratorio. En este caso, todo el software requerido será provisto a los participantes con anticipación. De igual manera, esta escuela de verano ofrecerá oportunidades valiosas para desarrollar nuevas redes de colaboración en investigación entre sus participantes. Para esto, la agenda incluye espacios de tiempo dedicados a reuniones individuales y discusiones. Se tiene preparada también una sesión de consejería especial en la que los asistentes podrán interactuar personalmente con los investigadores invitados. Para esto, los estudiantes tendrán la oportunidad de presentar pósters sobre sus trabajos de investigación. Esta es una grandiosa oportunidad para que tanto la industria como los estudiantes e investigadores obtengan realimentación sobre temas de interés por parte de los investigadores invitados que nos visitan, y los demás asistentes. Temas Las presentaciones y los tutoriales están alineados con tres áreas de la ingeniería de software. En todos los temas, los estudiantes aprenderán cómo las tecnologías emergentes presentadas en la escuela de verano contribuyen a la solución de retos y al mejoramiento de la manera como construimos y mantenemos los sistemas de software que, especialmente, afrontan requerimientos cambiantes dependiendo del contexto, en tiempo de ejecución: Ingeniería de requerimientos Diseño de software Mantenimiento de software Universidad Icesi, entrada principal Ingeniería de Requerimientos Presentador: Prof. Vítor E. Silva Souza Universidade Federal do Espírito Santo (UFES) La Ingeniería de Requerimientos (IR) involucra la elicitación, análisis, especificación y mantenimiento de los requerimientos de software. Los requerimientos son particularmente importantes en un sistema de software puesto que de la profundidad de su análisis dependen el éxito en el diseño, la implementación, el mantenimiento y la evolución del sistema. Sin embargo, la ingeniería de requerimientos plantea varios desafíos importantes cuando la naturaleza de los requerimientos, especialmente los no funcionales, es altamente dinámica. Es decir, cuando los requerimientos pueden cambiar con el paso del tiempo debido a la evolución de las necesidades que le dieron origen, o según la situación del ambiente de ejecución del sistema [SLAM13]. En sus dos clases magistrales, el Prof. Vítor Silva tratará conceptos fundamentales de la IR para enfocarse después en cómo modelar y satisfacer, en tiempo de ejecución, los requerimientos que están bajo evolución constante. Al final de la semana, en su tutorial, el Prof. Silva enseñará a los estudiantes cómo aprovechar la web semántica y sus ontologías para gestionar la satisfacción de requerimientos cambiantes en tiempo de ejecución. 2

3 Diseño de Software Sistemas de Software Auto-Adaptables Presentador de exposiciones magistrales: Prof. Hausi A. Müller University of Victoria, Canada La necesidad de un cambio de perspectiva en la ingeniería software ha sido discutida ampliamente durante la última década por ingenieros e investigadores en diferentes dominios de aplicación [NFG+06, Dah10, CLG+09]. En particular, Truex et al. argumentan que la ingeniería de software se ha basado, en parte, en un conjunto de objetivos incorrectos que asumen que los sistemas de software deben soportar negocios y requerimientos rígidos y estables, deben tener bajos niveles de mantenimiento, y satisfacer completamente los requerimientos funcionales y no funcionales desde la primera entrega [TBK99]. En contraste con esta visión estática y estable, Truex y sus colegas propusieron un nuevo conjunto de objetivos basados en un análisis permanente de los sistemas de software, una continua negociación de requerimientos dinámicos y trabajar con especificaciones incompletas de requerimientos. Esta propuesta se alinea con la visión de los sistemas de software autoadaptables, en los que la adaptación dinámica, es decir en tiempo de ejecución, es necesaria para asegurar la satisfacción de los requerimientos funcionales de un sistema y la preservación de las condiciones negociadas de calidad de servicio asociadas a los requerimientos no funcionales. Estos niveles de calidad de servicio son usualmente representados en forma de acuerdos de nivel de servicio (SLAs, por su nombre en inglés), y su cumplimiento se basa en mecanismos como contratos y políticas, entre otros [TT09, TCCD12]. En sus dos clases magistrales, el Prof. Müller explicará cómo, para garantizar la satisfacción continua de los requerimientos de un sistema, la ingeniería de sistemas de software afectados por requerimientos altamente cambiantes requiere mecanismos de adaptación capaces de ejecutar cambios en el sistema en el corto plazo, es decir mientras se ejecuta, y de administrar su evolución en el largo plazo [OMT08]. Como parte de este proceso de evolución y adaptación, el análisis del sistema debe realizarse en tiempo de ejecución, y la satisfacción de sus requerimientos debe monitorearse y regularse ajustando o mejorando el comportamiento del sistema [BSG+09, CLG+09]. En particular, los estudiantes aprenderán (1) modelos de referencia y arquitecturas como el modelo de ciclo de realimentación adoptado de la teoría de control que son útiles para guiar la ingeniería de los sistemas de software auto-adaptables; (2) estrategias de monitoreo de contexto y su rol en los sistemas de software auto-adaptables; y (3) varios tipos de mecanismos de adaptación que pueden implementarse a lo largo de un espectro de aplicaciones distintas. Presentadores de tutoriales: Prof. Gabriel Tamura y Prof. Norha M. Villegas Universidad Icesi, Colombia En su tutorial, los profesores Gabriel Tamura and Norha Villegas guiarán a los estudiantes en un laboratorio práctico que les ayudará a entender los conceptos básicos del diseño e implementación de mecanismos de autoadaptación en sistemas de software. En particular, los estudiantes aprenderán cómo implementar mecanismos de adaptación estructurales para re-configurar la arquitectura de un sistema de software de forma dinámica, con el objetivo de satisfacer requerimientos de calidad que puedan estar siendo violados o puedan violarse en el futuro; y cómo implementar mecanismos de adaptación de comportamiento para modificar la lógica de negocio de una aplicación en tiempo de ejecución. Para participar en este tutorial, los estudiantes deben tener conocimientos en la implementación de aplicaciones java, e idealmente, por componentes. 3

4 Ingeniería Dirigida por Modelos y Líneas de Producto de Software Presentadora: Prof. Rubby Casallas Universidad de Los Andes, Colombia Ambas, la Ingeniería Dirigida por Modelos (MDE, por sus iniciales en inglés) y las Líneas de Producto de Software (SPL, por sus iniciales en inglés) se conocen como enfoques prometedores para incrementar la productividad, simplificando el proceso, y como resultado también el esfuerzo, de diseñar, implementar y mantener sistemas de software. Por un lado, MDE se enfoca en técnicas de desarrollo de software basadas en la creación de modelos abstractos (e.g., meta-modelos, máquinas de estado, diagramas de colaboración UML) de un sistema de software que son después transformados de forma sistemática en implementaciones concretas (e.g., clases y código) del sistema correspondiente [FR07]. Por otro lado, SPL se concentra en el uso de métodos, herramientas y técnicas de ingeniería de software para crear familias de productos, a partir de la combinación de artefactos de software que implementan funcionalidades comunes entre los sistemas que pertenecen a la misma familia. En la ingeniería de líneas de producto de software, el desarrollo de los productos se realiza a través de dos procesos principales: la ingeniería de dominio, que concierne el desarrollo y mantenimiento de un conjunto de artefactos reusables; y la ingeniería de la aplicación, que se enfoca en la construcción del producto a partir del conjunto de artefactos de software reusables. En consecuencia, dado que los productos de la línea se derivan de un modelo que describe un dominio específico, la ingeniería dirigida por modelos constituye un enfoque apropiado para soportar la realización de las líneas de producto de software [ACR09]. En sus sesiones teórico-prácticas, la Prof. Rubby Casallas enseñará a los estudiantes los fundamentos de la ingeniería dirigida por modelos, y cómo esta puede ser usada para diseñar e implementar una línea de productos de software. Computación en la Nube y Aplicaciones Inteligentes para Internet Presentador: Prof. Marin Litoiu York University, Canada La Computación en la Nube es un paradigma de computación distribuida que busca proveer un gran número de usuarios con acceso distribuido a recursos de infraestructura escalables, hardware virtualizado y software a través de la Internet. La computación en la nube genera varios beneficios para las industrias que deciden adoptarla. Algunos de estos beneficios son: disponibilidad, los recursos pueden accederse en cualquier momento; colaboración, los usuarios encuentran oportunidades de trabajar en datos e información común; elasticidad, los recursos son asignados y facturados con base en las necesidades cambiantes de los clientes que cambian dinámicamente; costos de infraestructura más bajos, el modelo de pague-por-uso permite a las organizaciones pagar únicamente por los recursos consumidos sin requerir inversiones mayores en infraestructura y mantenimiento; movilidad, los datos y los recursos están disponibles desde cualquier parte a través de la Internet; reducción del riesgo, las empresas pueden usar la nube para probar nuevas estrategias y tecnologías antes de hacer inversiones importantes en tecnología; escalabilidad, los recursos son escalables según la demanda de los clientes; y virtualización, cada usuario tiene una vista única de los recursos disponibles independientemente de la configuración física de los mismos, así, los proveedores pueden atender un gran número de usuarios con menos recursos físicos [SL10]. La computación en la nube supone también retos para su adopción en la industria, en particular para el desarrollo y mantenimiento de aplicaciones de software basadas en la nube. En sus dos sesiones, el Prof. Marin Litoiu discutirá oportunidades y retos que supone la adopción de la computación en la nube, cómo diseñar, implementar y mantener aplicaciones de software en la nube. 4

5 Mantenimiento de Software Comprensión de Programas e Ingeniería Inversa Presentador: Prof. Ken Wong University of Alberta, Canada El estándar IEEE para el mantenimiento de software, IEEE 219 [IEEE98], define el mantenimiento de software como la modificación de un sistema de software después de que ha sido entregado, para corregir errores, mejorar su desempeño u otros atributos, o para adaptar el producto a un ambiente de ejecución que ha sufrido cambios. En consecuencia, los sistemas de software deben evolucionar a lo largo del tiempo, de lo contrario se harán obsoletos. Un factor importante para esta necesidad de evolucionar es los cambios en los requerimientos. Infortunadamente, con el paso del tiempo, los sistemas de software se hacen más complejos y difíciles de entender y de cambiar. Siempre existe una brecha considerable entre lo que se conoce, lo que es útil y la información disponible acerca del sistema, así como lo que se necesita saber para poder realizar cambios. Para aliviar este problema, y contribuir a la optimización de las actividades de mantenimiento de software, las herramientas para la comprensión de programas y la ingeniería inversa juegan un papel importante. La ingeniería inversa de software es un proceso que ayuda a entender mejor la arquitectura y el comportamiento del software, y en últimas a mejorar el re-uso y diseño del software. En sus sesiones, el Prof. Ken Wong presentará fundamentos y técnicas de comprensión de programas e ingeniería inversa, además de la manera como estas técnicas pueden usarse en el mantenimiento de los sistemas de software. En particular, el Prof. Wong demostrará herramientas y técnicas aplicables al análisis de aplicaciones Java y su ingeniería reversa. Programación La programación preliminar de la escuela de verano se presenta en el siguiente cuadro. Esta programación puede sufrir cambios en la distribución de algunas sesiones. 5

6 Turismo y Eventos Sociales El martes en la noche, el primer día de la escuela de verano, la escuela ofrecerá un evento social de bienvenida que incluye una espectacular presentación cultural a cargo de grupos artísticos de la Universidad Icesi. El jueves en la tarde se ofrecerá un tour a los lugares más emblemáticos de la hermosa ciudad de Cali. Después del tour, cerraremos la noche del jueves con una cena especial en uno de los restaurantes emblemáticos de la ciudad. Tanto el tour como la cena son opcionales e implican un costo extra que debe ser cubierto por cada asistente. Some emblematic places of Cali Costo y Registro Fecha límite de registro Junio 27 de 2014 Costo por persona 325 USD COP El registro incluye la inscripción a la escuela de verano, los materiales, uso de espacios físicos, almuerzos y refrigerios durante los 4 días del evento. También incluye el evento social de bienvenida a realizarse el martes en la noche. 6

7 Las pre-inscripciones deben diligenciarse hasta el 23 de mayo en: Hospedaje Estamos negociando tasas especiales con hoteles cercanos geográficamente de la Universidad Icesi. El costo por noche por habitación, incluyendo desayuno Americano, estará alrededor de 70 USD ( COP), en cuartos de acomodación individual, doble o triple. Presentadores Hausi A. Müller Self-Adaptive Software Systems University of Victoria, Victoria, Canada Hausi A. Müller is a Professor in the Department of Computer Science and Associate Dean of Research in the Faculty of Engineering at University of Victoria, Canada. He is Chair of the IEEE Computer Society Technical Council on Software Engineering (TCSE). He is General Chair of the 30th International Conference on Software Maintenance and Evolution (traditionally known as ICSM, and as ICSME since 2014). His research interests include software engineering, software evolution, smarter commerce, self-adaptive and self-managing systems, situation-aware systems, context-aware systems, service-oriented systems, reverse engineering, software reengineering, program understanding, and visualization. He is a principal investigator in the NSERC Strategic Research Network for Smart Applications on Virtual Infrastructure (SAVI). The main research goal of the SAVI Network is to address the design of future applications platforms built on a flexible, versatile and evolvable infrastructure that can readily deploy, maintain, and retire the large-scale, possibly short-lived, distributed applications that will be typical in the future applications marketplace. The SAVI partnership involves investigators from nine Canadian universities and 13 companies bringing together expertise in networking, cloud computing, applications, and business. In 2011 Dr. Müller s research team won the IBM Canada CAS Research Project of the Year Award. In 2006 he received the IBM CAS Faculty Fellow of the Year Award, the CSER Outstanding Leadership Award, and a Stevens Citation for his many contributions to the software reverse engineering community. He was the founding Director of BSEng, a CEAB accredited Bachelor of Software Engineering degree program in the Faculty of Engineering. He serves on the Editorial Board of Software Maintenance and Evolution and Software Process: Improvement and Practice (JSME). He served on the Editorial Board of IEEE Transactions on Software Engineering (TSE). 7

8 Marin Litoiu Cloud Computing and Smart Internet Applications York University, Toronto, Canada Marin Litoiu is an Associate Professor in the School of Information Technology and the Engineering Department at York University, Canada. He is a principal investigator in the NSERC Strategic Research Network for Smart Applications on Virtual Infrastructure (SAVI), a Visiting Scientist at the IBM Software Lab in Canada, Director of Research for the Centre of Excellence for Research in Adaptive Systems (CERAS), and Chair of the Board of Directors for the Consortium for Software Engineering Research of Canada (CSER). Marin Litoiu was General Chair of the 8th IEEE/ACM Symposium on Software Engineering for Adaptive and Self- Managing Systems (SEAMS 2014), co-located with the 35th International Conference on Software Engineering (ICSE). He has served in the program committees of several top-ranked international conferences and journals such as ACM Transactions on Autonomous and Adaptive Systems, IEEE Transactions on Software Engineering, and IEEE Software. In 2011 he was Chair of the NSERC Strategic Projects Committee, Information and Communication Technologies in Canada. His research interests include smart applications in virtual infrastructures, connected vehicles and smart transportation, service-oriented computing, performance engineering, and cloud computing, in particular service management for the cloud and capacity planning for data centers. Ken Wong Program Comprehension and Reverse Engineering University of Alberta, Edmonton, Canada Ken Wong is an Associate Professor in the Department of Computer Science, at University of Alberta, Canada. His research interests include software engineering, reverse engineering, program understanding, software visualization, mining software repositories, problem determination, and root cause analysis. In particular, he works on the definition of domain-specific languages for reverse engineering activities, focused on usability and performance. One of his long-term goals is to integrate reverse engineering practices into the software development process, rather than as a last hope to re-document an ailing legacy software project. He is currently involved in the Consortium for Software Engineering Research (CSER), and works in joint research projects with CA Technologies Labs. In the past, he worked with IBM Canada in Toronto, klocwork Solutions in Ottawa, and Intuit Canada in Edmonton. He has serverd in the program and steering committees of several international symposiums and conferences such as the 15th IEEE International Symposium on Web Systems Evolution (WSE 2013), and the 34th International Conference on Software Engineering (ICSE 2012). 8

9 Vítor E. Silva Souza Requirements Engineering Ontologies and Semantic Web for Software Engineering University of Espíritu Santo (Ufes), Vítoria, Brazil Vítor E. Silva Souza is a professor at the Department of Informatics of the Federal University of Espírito Santo (Ufes), Brazil. He earned his PhD degree in 2012 at the International Doctoral School on Information and Communication Technology of the University of Trento, Italy under the direction of professor John Mylopoulos. His PhD thesis focuses on Requirements Engineering for Adaptive Systems. Previously, Vítor E. Silva obtained his Master degree from the same university. With his research group at Ufes, he works in the field of Web Engineering, under the orientation of professors Ricardo de Almeida Falbo and Giancarlo Guizzardi. Currently, his research interests are concentrated in the area of Software Engineering, more specifically the fields of Requirements Engineering, the use of Ontologies in Software Engineering, Conceptual Modeling, Web Engineering, and the Semantic Web. Rubby Casallas Model Driven Engineering Applications for Software Product Lines University of Los Andes, Bogotá, Colombia. Rubby Casallas is a Full Professor in the Department of Systems and Computing Engineering, Head of the Software Construction Research Group, and Associate Dean of Graduate Studies and Research at the School of Engineering at University of Los Andes, Colombia. Professor Casallas obtained her PhD degree in Informatics from Joseph Fourier University, Grenoble, France. She is also Specialist on Information Systems and Computer Engineer from University of Los Andes, Bogotá, Colombia. Her research interests include model-driven software development, domain-specific modeling, and the materialization of methodologies, software architectures and technologies into software product lines for optimizing the engineering of software systems. 9

10 Gabriel Tamura Self-Adaptive Software Systems Icesi University, Cali, Colombia Gabriel Tamura is an Associate Professor and Leader of the I2T/DRISO research subgroup of the Department of Information and Communication Technologies at Icesi University (Cali, Colombia). He has been scientific visitor of ADAM, a joint team-project between the INRIA Lille Nord Europe research center and the Laboratory of Fundamental Informatics (LIFL - UMR 8022 CNRS & University of Lille 1). He obtained his Ph.D. in software engineering from University of Lille 1 (Lille, France) and University of Los Andes (Bogotá, Colombia), and he holds a M.Sc. degree and a B.Eng. diploma, both in Systems Engineering and Computing. His current research interests include the engineering of context-driven selfadaptive software systems, the evolution of component-based and service-oriented computing, and the formalization of architecture-based mechanisms for self-adaptation. Norha M. Villegas Self-Adaptive Software Systems Icesi University, Cali, Colombia Norha Villegas is an Assistant Professor in the Department of Information and Communication Technologies, Director of the Computing Systems and Software Engineering bachelor program at Icesi University, Colombia, and an Associate Member at the Faculty of Graduate Studies at University of Victoria, in Canada. Her research interests include context-management, context-aware analytics, self-adaptive and self-managing systems, and runtime software evolution. In general, she is interested in the application of dynamic context-management and self-adaptive software techniques to improve the dynamic and situation-aware capabilities of software systems. She obtained her PhD in software engineering from University of Victoria (Victoria, Canada). In 2011 she received the IBM Canada CAS Research Project of the Year 2011 for the application of context-awareness and self-adaptation to the improvement of online shopping systems. Over the last four years she has co-chaired several workshops on context-awareness and smarter commerce at CASCON (International Conference of the Centre for Advanced Studies on Collaborative Research of IBM Canada). She has served on the program committees for MESOCA (IEEE International Workshop on the Maintenance and Evolution of Service-Oriented Systems), the Dagstuhl seminar book Models@run.time, 28th ACM Symposium on Applied Computing (SAC 2013), ICSE 2013 Software Engineering Education Track, and the ICSE SEAMS symposium (2013, 2014). She is Proceedings Chair for the 30 th International Conference on Software Maintenance and Evolution (ICSM-ICSME 2014). 10

11 References [SLAM13] V. E. Silva, A. Lapouchnian, K. Angelopoulos, and J. Mylopoulos. Requirements-driven Software Evolution. Computer Science - Research and Development. Springer [NFG+06] L. Northrop, P. Feiler, R. Gabriel, J. Goodenough, T. Longstaff, R. Kazman, M. Klein, D. Schmidt, K. Sullivan, and K. Wallnau. Ultra-Large-Scale Systems---The Software Challenge of the Future. Technical report, Carnegie Mellon University Software Engineering Institute, [Dah10] Dahm, W.J.A. Technology Horizons a Vision for Air Force Science & Technology during Technical report, U.S. Air Force, [CLG+09] B. H. Cheng, R. Lemos, H. Giese, P. Inverardi, J. Magee, J. Andersson, B. Becker, N. Bencomo, Y. Brun, B. Cukic, G. Marzo Serugendo, S. Dustdar, A. Finkelstein, C. Gacek, K. Geihs, V. Grassi, G. Karsai, H. M. Kienle, J. Kramer, M. Litoiu, S. Malek, R. Mirandola, H. A. Müller, S. Park, M. Shaw, M. Tichy, M. Tivoli, D. Weyns, and J. Whittle. Software Engineering for Self-Adaptive Systems: A Research Roadmap, pages Springer-Verlag, [TBK99] D. P. Truex, R. Baskerville, and H. Klein. Growing Systems in Emergent Organizations. Communications of the ACM, 42(8): , [TT09] V. X. Tran and H. Tsuji. A Survey and Analysis on Semantics in QoS for Web Services. In Proceedings International Conference on Advanced Information Networking and Applications (AINA 2009), pages IEEE, [TCCD12] G. Tamura, R. Casallas, A. Cleve, and L. Duchien. QoS Contract-Aware Reconfiguration of Component Architectures Using E-Graphs. In Proceedings 7th International Workshop on Formal Aspects of Component Software (FACS 2010), volume 6921 of LNCS, pages Springer, [FR07] R. France and B. Rumpe. Model-driven Development of Complex Software: A Research Roadmap. In Proceedings 2007 Future of Software Engineering (FOSE 2007). IEEE Computer Society, [ACR09] H. Arboleda, R. Casallas and J-C. Royer. Dealing with Fine-Grained Configurations in Model-Driven SPLs. In Proceedings 13th International Software Product Line Conference (SPLC 2009). Carnegie Mellon University, Pittsburgh, PA, USA, 1-10 [IEEE98] IEEE-SA Standards Board. IEEE 219 Standard for Software Maintenance [SL10] H. D. Strowd and G. A. Lewis. T-Check in System-of-Systems Technologies: Cloud Computing. Technical Note, Software Engineering Institute, CMU/SEI-2010-TN-009,