www.archive-org-2013.com » ORG » Q » QUATIC

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".

    Archived pages: 31 . Archive date: 2013-10.

  • Title: QUATIC 2012
    Descriptive info: .. QUATIC 2012.. 8th International Conference on the Quality of Information and Communications Technology.. Lisbon, Portugal, 3 to 6 September 2012.. Search.. Main menu.. Skip to primary content.. Skip to secondary content.. Home.. Photos.. Call for Papers.. Register.. Program.. Committees.. Keynotes.. Tracks.. Main Track.. Thematic Tracks.. ICT Verification and Validation.. ICT Process Improvement and Assessment.. Quality in ICT Service Management.. Quality in ICT Requirements Engineering.. Quality in ICT Evolution.. Quality in Model Driven Engineering.. Quality in Agile Methods.. Quality in Web and Mobile Engineering.. Quality in Cloud Computing.. Industrial Track.. Tutorials.. SEDES 2012.. Sponsors.. Venue.. Location.. Accommodation.. Conference photos are now available.. here.. (or on.. our Facebook page.. ).. The conference s booklet can be found.. The International Conference on the Quality of Information and Communications Technology (QUATIC) serves as a forum for disseminating advanced methods, techniques and tools for supporting quality approaches to.. ICT.. engineering and management.. Practitioners and researchers are encouraged to exchange ideas and approaches on how to adopt a quality culture in.. process and product improvement and to provide practical studies in varying contexts.. Call for Participation.. We invite researchers and practitioners to participate in this conference, and join us at the beautiful city of Lisbon in September!.. The.. Conference Program.. is organized on a series of.. , each corresponding to a specific topic of interest.. To foster the dissemination of best practices in industry and to allow a lively  ...   of QUATIC’2012, awards will be given to the best papers presented during the meeting.. Authors of selected papers presented in the Main Track, will be invited to submit extended and improved versions to be published in a peer-reviewed journal.. Papers and other presentation materials accepted for the Industrial Track will be published online at the conference website as well as in the Electronic Proceedings of the QUATIC’2012 Industrial Track (with ISBN edited by ACS03).. Previous Editions.. QUATIC is a biennial (formerly triennial) conference promoted by the Sectorial Commission for the Quality in Information and Communication Technologies (.. CS03.. The information on the last four editions can be found online:.. Conference.. City.. Dates.. QUATIC 2010.. Porto.. September 29 to October 2.. QUATIC 2007.. Lisboa.. September 12 to 14.. QUATIC 2004.. October 18 to 20.. QUATIC 2001.. March 12 to 14.. Photos are available on Facebook (.. https://t.. co/xue4FSbf.. 2 months ago.. Because of an unforeseen intervention in QUATIC2012 s web server building, the site will be unavailable during this weekend.. 4 months ago.. Registrations are now available on.. co/sPDjgLw1.. 6 months ago.. Interested in sponsoring QUATIC2012? You can do that! See here for details:.. http://t.. co/B5fG90sB.. 7 months ago.. QUATIC 2012 is still accepting WIP papers! Be sure to submit yours!.. co/epedGrHT.. QUATIC 2012 is.. Promoted by:.. Supported by:.. Sponsored by:.. In cooperation with:.. Published by:.. Site map.. Contact us!.. Copyright © QUATIC 2012.. Pin It..

    Original link path: /
    Open archive

  • Title: QUATIC 2012 - Photos
    Descriptive info: (more available on.. Visit.. to view all available photos.. (more available on our Facebook page) [fbphotos id="415031491891309" limit="30" rand=1] Visit our Facebook page to view all available photos..

    Original link path: /home/photos/
    Open archive

  • Title: QUATIC 2012 - Call for Papers
    Descriptive info: (.. Click here for the.. PDF.. version of this CFP.. version of the Work-In-Progress CFP).. We invite researchers and practitioners to submit a paper to this conference, and join us at the beautiful city of Lisbon in September.. conference program.. , each corresponding to a specific topic of interest:.. ICT Verification Validation: Keynote Talk.. Quality in Web Engineering (merged into Quality in Web and Mobile Engineering track).. Quality in Mobile Engineering (merged into Quality in Web and Mobile Engineering track).. ICT Quality and Business Intelligence (canceled).. To foster the dissemination of best practices in industry, to allow a lively discussion of hot topics and quality concerns in specific  ...   dedicated.. Authors of the best papers accepted in the Thematic Tracks will be invited to submit extended versions for presentation in the Main Track.. Paper submission.. Please follow the specific instructions provided at.. http://2012.. quatic.. org/tracks/thematic-tracks/.. org/tracks/industrial-track/.. Important dates.. Abstract submissions.. Monday.. April 16.. 2012.. Paper submissions.. Thursday.. April 19.. Authors notification.. Friday.. May 11.. Camera-ready.. June 8.. Thematic Tracks Special call for Work-In-Progress.. May 28.. June 18.. June 22.. Invitation to main track.. Extended paper submission.. May 31.. Saturday.. June 16.. Presentation submissions.. April 30.. May 7.. [no_toc](Click here for the PDF version of this CFP) (Click here for the PDF version of the Work-In-Progress CFP) The Internation..

    Original link path: /home/call-for-papers/
    Open archive

  • Title: QUATIC 2012 - Register
    Descriptive info: Before registering please read carefully the information below.. Access.. Attendee status.. Early (until 15/July).. Normal (until 31/July).. Late/On site.. Full access (1).. Regular.. 500€.. 600€.. 700€.. Members of ACM,.. , itSMF, PSTQB, QUATIC program committees, Ordem dos Engenheiros, APQ, TICE.. PT, APSI (20% discount) (2).. 400€.. 480€.. 560€.. Students (BSc, MSc, PhD) (30% discount) (2).. 350€.. 420€.. 490€.. Reduced access (3).. Special price for Student (BSc, MSc, PhD) non-presenters (5).. 100€.. 120€.. 140€.. Reduced access (4).. 1-day attendance for non-presenters (5).. 175€.. 210€.. 245€.. Tutorial (6).. 1-day tutorial for any person registered at the conference.. 1-day tutorial for any person not registered at the conference.. 150€.. Notes:.. (1) Full access:  ...   Reduced access: conference sessions (1 day), conference materials, coffee breaks and lunch.. (5) Not available for SEDES, Thematic and Main Track Presenters.. (6) Full access to the selected 1-day Tutorial.. More Information:.. - Extra copies of the conference proceedings (in.. CD.. , published by Conference Publishing Services), can also be requested in the registration system.. -.. Organizations registering 3 or more participants will benefit of early registration fees until the normal registration deadline (July 30).. For specific instructions please send an email to quatic2012 at gmail.. com.. - For any questions regarding registration, please contact the email.. quatic2012 at gmail.. Access Attendee status Early (until 15/July) Normal (until 31/July) Late/On site..

    Original link path: /register/
    Open archive

  • Title: QUATIC 2012 - Program
    Descriptive info: Contents.. 1.. Day 1 September 3.. 2.. Day 2 September 4.. 3.. Day 3 September 5.. 4.. Day 4 September 6.. 5.. Conference Tracks.. An overview of the program for QUATIC2012 can be found in.. this.. file.. For further details regarding each Track s program and list of papers, please see the.. corresponding page.. Time.. 8:00 9:00.. Registration.. 9:00 10:30.. Thematic Tracks (in parallel).. Verification and Validation.. Room V1.. 33.. Process Improvement and Assessment.. 32.. 31.. Quality in.. Requirements Engineering.. 26.. 25.. 10:30 11:00.. Coffee break.. 11:00 12:30.. 34.. 12:30 14:00.. Lunch.. 14:00 15:30.. 15:30 16:00.. 16:00 17:30.. Evolution.. Service Management.. 19:00 20:30.. Welcome Drink/Reception.. Opening session.. Grand Auditorium.. Welcome by the Conference Chairs.. Welcome by Host Institution José Tribolet (INESC/IST).. Keynote Speaker: Keith Jeffery (STFC, UK).. Coffee break and tool demos.. 14:00 14:45.. Keynote Speaker: Paulo Amaral (UCP, Portugal).. 14:45 15:30.. Industrial Track Panel.. Quality Observatory.. 20:00 23:00.. Gala Dinner/Banquet.. 9:00 10:00.. 10:00 10:30.. Keynote Speaker: Eileen Forrester (SEI/.. CMU.. 14:45 15:45.. Closing session.. Closing Remarks:.. Representative.. Best Paper Awards.. Tutorial.. A Practical Introduction to CMMI for Services.. (Tutorial continued).. The 8th edition of the conference will be organized around the following tracks:.. A set of thematic tracks, corresponding to the topics of interest of  ...   the conference, in parallel with the SEDES and Thematic Track, and on the second and third days, in parallel with the Main Track, it may include the presentation of industry papers, special presentations from conference sponsors, round-tables, birds-of-a-feather sessions, etc.. - Offered during the fourth day of the conference, after the Main Track and the Industrial Track, they will provide an excellent opportunity for practitioners to meet and learn with world class experts.. A Practical Introduction to CMMI for Services (Eileen Forrester).. Program Development with Parameterized Unit Tests and Code Contracts (Ethan Jackson).. Hands-On with Scrum: A Practical approach in Scrum Implementation (Isabel Ferreira).. Doctoral Consortium.. - Meeting in the first day of the conference, a doctoral consortium of Portuguese software engineering students (SEDES) will provide an opportunity for doctoral students to present and discuss their thesis work with faculty and peers and network with other researchers in the field.. Tool Demos.. - Organized in the scope of the Industrial Track, we intend to have selected tool demonstrations by conference participants and conference sponsors running during the coffee breaks.. The conference's booklet can be found here.. An overview of the program for QUATIC2012 can be found in this PDF file.. For further details regarding each Track's program..

    Original link path: /program/
    Open archive

  • Title: QUATIC 2012 - Committees
    Descriptive info: Steering Committee.. Thematic Tracks Chairs.. Program Committee (Main Track).. Thematic Tracks Program Committees.. Organizing Chair:.. Alberto Silva.. IST-UTL.. Organizing Co-Chair:.. António Rito Silva.. Program Chair:.. João Pascoal Faria.. FEUP.. Program Co-Chair:.. Ana Cristina Paiva.. Image Marketing Chair:.. João Sabbo.. /.. Santander Totta Bank.. Image Marketing Co-Chair:.. Rui Maranhão.. Sponsors Chair:.. Susana Fonte.. SINFIC.. Sponsors Co-Chair:.. David Ferreira.. SIQuant.. INESC-ID.. Publication Chair:.. Ricardo Machado.. Univ.. Minho.. Web Chair:.. João Saraiva.. Work-in-Progress Chair:.. Miguel Brito.. Industrial Chair:.. Isabel Ferreira.. Industrial Co-Chair:.. José Carlos Costa.. Elsa Cardoso.. ISCTE-IUL.. SEDES Chair:.. Miguel Goulão.. FCT-UNL.. SEDES Co-Chair:.. Fernando Brito Abreu.. Tutorials Chair:.. Miguel Mira da Silva.. Eda Marchetti,.. ISTI-CNR.. , Italy (.. Verification and Validation).. Karol Frühauf, INFOGEM AG, Switzerland (.. Process Improvement and Assessment).. Eric Dubois, Public Research Centre Henri Tudor, Luxemburg (Quality in.. Service Management).. Maria Lencastre, University of Pernambuco, Brazil (Quality in.. Requirements Engineering).. Tiago L.. Alves, OutSystems, Portugal (Quality in.. Evolution).. Vasco Amaral,.. , Portugal (Quality in Model Driven Engineering).. Panagiotis Sfetsos, Alexander Technological Educational Institution, Greece (Quality in  ...   Alicante.. Ralf Carbon.. Fraunhofer IESE.. Kival Chaves Weber.. SOFTEX.. PBQP.. François Coallier.. ÉTS.. Taz Daughtrey.. James Madison Univ.. Eric Dubois.. Public Research Centre Henri Tudor.. Hugo Ferreira.. Karol Fruëhauf.. INFOGEM.. Pedro Guerreiro.. Universidade do Algarve.. Kai Jakobs.. RWTH Aachen University.. Keith Jeffery.. Science and Technology Facilities Council.. Maria Lencastre.. University of Pernambuco.. Eda Marchetti.. Atif Memon.. of Maryland.. Miguel Mira Da Silva.. Maurizio Morisio.. Politecnico di Torino.. Mark Paulk.. Ana Regina Rocha.. COPPE / Universidade Federal do Rio de Janeiro.. Paulo Rupino da Cunha.. of Coimbra.. Claudio Sant Anna.. Federal University of Bahia.. Gleison Santos.. UNIRIO.. Stephen Seidman.. Texas State University.. Panagiotis Sfetsos.. Alexander Technological Educational Institution.. Maria Clara Silveira.. ESTG-IPG.. Tor Stålhane.. NTNU.. Carlos Soares.. FEP-UP.. Marcello Thiry.. Univali.. / Incremental Tecnologia.. Nikolai Tillman.. Microsoft Research.. Ambrosio Toval.. of Murcia.. Guilherme Travassos.. Universidade Federal do Rio de Janeiro.. Joost Visser.. Software Improvement Group.. George Wilkie.. University of Ulster.. Please consult in the.. thematic tracks pages.. Steering Committee Organizing Chair: Alberto Silva (IST-UTL) Organizing Co-Chair: António Rito Silva (..

    Original link path: /committees/
    Open archive

  • Title: QUATIC 2012 - Conference Keynotes
    Descriptive info: Conference Keynotes.. Quality Aspects in CLOUD Computing.. Keith G Jeffery.. Science and Technology Facilities Council, UK.. September 4, 9:45.. Challenges in Mobile Computing Development.. Paulo Amaral.. Sinfic Universidade Católica Portuguesa, Portugal.. September 4, 14:00.. Formula: A Declarative Approach for Model-driven Development Environments.. Ethan Jackson.. Microsoft Research, USA.. September 5, 9:00.. Canceled due to a medical emergency with the speaker.. Beyond Service Management: The Next Performance Advantage for All Disciplines.. Eileen Forrester.. Software Engineering Institute, USA.. September 5, 14:00.. CLOUD Computing is surrounded by hype and commercial supplier claims.. However, there is emerging experience of real benefits and alongside a set of challenges for CLOUD Computing to reach wide acceptance.. Major problems concern performance, security, privacy and interoperation – all of which have strong quality aspects CLOUD Computing faces not only technical challenges but also legal, business (economic) and environmental (green) challenges.. Quality concerns are pervasive.. Keith Jeffery is currently Director International Relations at STFC (Science and Technology Facilities Council) based at Rutherford Appleton Laboratory.. Keith previously had strategic and operational responsibility for.. with 360,000 users, 1100 servers and 140 staff.. Keith holds 3 honorary visiting professorships, is a Fellow of the Geological Society of London and the British Computer Society, is a Chartered Engineer and Chartered IT Professional and an Honorary Fellow of the Irish Computer Society.. Keith is currently President of ERCIM and President of euroCRIS, and serves on international expert groups, conference boards and assessment panels.. He had advised government on security and green computing.. He chaired the EC Expert Groups on GRIDs and on CLOUD Computing.. Mobility is changing the system development landscape due to the fact that it is the actual technological revolution in the use of informations systems technology and the current main driver of economic innovation and development.. The limitations of the mobile interface and the sense of urgency when using it are the first challenges to be overcome which have been worked around succesfully for the past four years.. But mobile computing has some challenges of its own.. Users demand access to data, information and knowledge spread across multiple Cloud Computing platforms, and marshalled in real time.. In this regard, the evolution of Web Oriented Architectures should take into consideration the needs of the mobile computing environment.. Also, Business Intelligence Architectures, sould include requirements for real time knowledge handling.. And the system s development methodology for mobile computing should also make use of new prototyping architectures adapted to run-time envornments.. The real challenge is to be able to integrate coherently a new computing architecture for mobility with new development methodologies adapted to business and user needs that build on distributed knoledge and conextualization in real-time.. PhD in informations Systems (university of Paris) MBA  ...   its effectiveness in developing a variety of domain specific environments, ranging from authoring and evaluating security policies, via cancer treatment planning, to exploring platform mappings.. In this talk, I will highlight the use of Formula for developing an integrated environment for state machine based modeling, verification, and code generation.. This environment is used within Microsoft to develop and refine.. USB.. 0.. Initial experience for.. 0 shows that the use of Formula leads to rapid and precise domain definitions; that transformations lead to reduction in complexity; and that model finding is key for design analysis.. This is joint work by Wolfram Schulte, Ethan Jackson, Shaz Qadeer, Markus Dahlweid, Sriram Rajamani.. Ethan Jackson is a researcher in the Research in Software Engineering (RiSE) group at Microsoft Research.. His research focuses on the theoretical and practical aspects of model-based development.. He is one of the main developers of the FORMULA modeling framework, which is a cutting-edge specification language and analysis tool for formal modeling of software systems.. Ethan holds a PhD in Computer Science from Vanderbilt University and received a B.. S.. in Computer Engineering from the University of Pittsburgh.. The majority of the US and global economy is now service, rather than manufacturing or trading of tangible goods.. Even the development of goods and systems increasingly takes on the character of service.. Automation of processes and functions into services (service-oriented architecture, web services, cloud service, security as a service) has dominated software engineering thinking for the past several years.. CMMI is a reference model for process improvement meant to enhance the business performance of a wide range of organizations.. Recent data from top CMMI users illustrates the quality and other business results that capable organizations get, such as customer satisfaction, higher income, defect reduction, on-time performance, and decreased costs.. Eileen Forrester, the lead author of the CMMI for Services, will address strategic opportunity not just for traditional service disciplines in.. and elsewhere, but for engineers and developers as well.. Eileen Forrester is the manager of the CMMI for Services program at the Software Engineering Institute, and the lead author of the Addison-Wesley book,.. CMMI for Services, Guidelines for Superior Service.. She was the co-chair of the International Process Research Consortium and the editor of the.. IPRC Process Research Framework.. Forrester is the developer of TransPlant, a transition-planning process, and her current research area is in process-oriented approaches to service delivery, technology change, risk management, and emergent system types.. These approaches include GAIT, the CMMI for Services, OCTAVE, MDA, and multi-model improvement approaches.. She has more than 35 years of experience in technology transition, strategic planning, applied research, process improvement, communication planning, and managing product, service, and non-profit organizations.. Quality Aspects in CLOUD Computing..

    Original link path: /keynotes/
    Open archive

  • Title: QUATIC 2012 - Tracks
    Descriptive info: [subpages sort_column="menu_order"]..

    Original link path: /tracks/
    Open archive

  • Title: QUATIC 2012 - Main Track
    Descriptive info: Foreword by the Chairs.. Program Committee.. 1.. 2.. , Portugal.. Ana Paiva.. The Main Track will occur on the second and third days of the conference.. Each session may include.. and/or extended paper presentations selected among the best papers of the Thematic Tracks, after a two phase review process.. The authors of the best papers accepted in each of the Thematic Tracks were invited to submit extended versions of their papers to the Main Track, which were subsequently evaluated by the Main Track Program Committee members, to choose the best papers to be presented and discussed in the Main Track with a wider audience.. The Main Track program also includes 4 inspiring keynote addresses by world-wide leading experts in the topics covered by the thematic sessions (please check the Keynotes page).. Title.. Authors.. Session 1: Opening Session.. Conference Welcome.. Conference Chairs.. Welcome by the Host Institution.. José Tribolet /INESC/IST).. Keynote 1: Quality Aspects in CLOUD Computing.. Keith G Jeffery (STFC, UK).. Session 2: Selected Papers.. Quality-Aware Mashup Composition: Issues, Techniques  ...   Mobile Computing Development.. Paulo Amaral (Sinfic UCP, Portugal).. A Runtime Quality Measurement Framework for Cloud Database Service Systems.. Markus Klems, David Bermbach, René Weinert.. Session 4: Selected Papers.. Investigating the Impact of Personality and Temperament Traits on Pair Programming: A Controlled Experiment Replication.. Panagiotis Sfetsos, Panagiotis Adamidis, Lefteris Angelis, Ioannis Stamelos, Ignatios Deligiannis.. Complex events specification for properties validation.. Antonia Bertolino, Antinisca Di Marco, Francesca Lonetti.. Session 5: Selected Papers.. Karol Frühauf.. Lessons Learnt in the Implementation of CMMI® Maturity Level 5.. Isabel Lopes Margarido, Raul Moreira Vidal, Marco Vieira.. A metamodel-based approach for customizing and assessing agile methods.. Hajer Ayed, Benoît Vanderose, Naji Habra.. Model-Driven Development for Requirements Engineering: The Case of Goal-Oriented Approaches.. João Araújo, Vasco Amaral, Miguel Goulão, Rui Monteiro, Pedro Patrício.. Session 6: Keynote and Selected Papers.. Keynote 4: Beyond Service Management: The Next Performance Advantage for All Disciplines.. Eileen Forrester (Software Engineering Institute, USA).. Session 7: Closing Session.. Closing Remarks.. António Moitinho (.. Foreword by the Chairs João Pascoal Faria FEUP, Portugal Ana Paiva FEUP..

    Original link path: /tracks/main-track/
    Open archive

  • Title: QUATIC 2012 - Thematic Tracks
    Descriptive info: Call for papers.. Paper submission and selection.. Work-in-progress papers.. We are seeking papers both of a scientific nature and/or containing reports on experiences coming from the industry and services, in any of the following topics, corresponding to the conference Thematic Tracks:.. Papers with the explicit purpose of promoting companies, services or products will not be accepted.. We encourage the authors of papers with a more scientific flavor to take into account the applicability of their work in a company environment and the experience reports from companies to have an adequate scientific framework.. Authors should submit to.. http://www.. easychair.. org/conferences/?conf=quatic2012.. a.. version of their paper.. Papers must be in.. format.. and not exceed 6 pages, including figures, references, and appendices.. Papers must be written in English.. Papers must not have been previously published or submitted elsewhere.. The paper selection process for this conference is innovative, in that it will be organized in three rounds, of increasing quality ratings.. In the first round, each submitted paper will have a blind review by at least 3 members of the respective Track Program Committee.. Accepted papers will be included in the electronic proceedings of QUATIC’2012 published by.. Inclusion in the proceedings is subject to the condition that the authors sign the.. copyright form and at least one of the authors registers for the conference until the early registration deadline.. In the second round, the authors of  ...   a peer-reviewed journal.. Besides that, during the closing session of QUATIC’2012, awards will be given to the best papers presented during the meeting.. Besides regular papers, a small number of work-in-progress (WIP) papers, up to 4 pages in length, may also be accepted in each Thematic Track.. The goal of the WIP papers is to provide an opportunity to present preliminary results, new ideas or opinion statements, without the maturity and completion demands of a full paper, and promote discussion and collaboration with other researchers working in the same area.. Except for the size limit and type of contribution expected, WIP papers follow the same submission, review and publication procedures and deadlines of regular papers.. WIP papers should be submitted through the same.. EasyChair interface.. as regular papers, selecting the appropriate thematic track (any track displayed except the Industrial Track).. WIP papers will be distinguished from regular papers based on the page size.. Accepted WIP papers will be assigned a slot for oral presentation, possibly shorter than for regular papers.. WIP papers are not eligible for the Main Track.. Please check in each Thematic Track.. Call for papers We are seeking papers both of a scientific nature and/or containing reports on experiences coming from the industry and services, in any of the following topics, corresponding to the conference Thematic Tracks: [subpages sort_column="menu_order"] Papers with the explicit purpose of promoting companies, services or prod..

    Original link path: /tracks/thematic-tracks/
    Open archive

  • Title: QUATIC 2012 - ICT Verification and Validation
    Descriptive info: Foreword by the Chair.. Track Committee.. , Italy.. Nowadays some of the mandatory keywords for.. software are heterogeneity, openness and continuous evolution.. These requirements, that represent per se quite difficult tasks to be satisfied, become even more critical when.. applications have also to fulfill technical and semantic interoperability, as well as security and trust concerns.. In this scenario the Verification and Validation (V V) activities, able to evolve in parallel with software development, represent important and fundamental actions for guaranteeing the integrity, adequacy and requirements conformance of the produced artifacts.. New proposals, techniques, methodologies, practical approaches and automatic facilities targeting.. quality assurance become the solutions for speeding up the development process, while reducing the effort and costs of V V phase and improving the faults detection capability.. To this purpose the QUATIC 2012.. Verification and Validation track collects innovative solutions, proposals and experiences with particular attention on approaches and methods that can be easily integrated in the.. lifecycle and can reduce the gap between research and practice.. Thus the papers of this track focus in particular on proposals for: managing testing phase, selecting test cases, monitoring functional and non-functional properties, managing exception handling, exploiting dataset and general information for improving the overall quality.. In industry one of the most critical phases in V V process is test management that can be faced from different perspectives.. The Quatic2012 V V track includes two works in this direction: the former specifically focusing test and risk management, the latter reporting on the experience of a railway signaling company in testing execution.. In particular in “Integrating Test and Risk Management” Simon and Simon analyze the integration of knowledge and experience in Risk and Test management to improve their respective results.. The integration is based on two widely used and acknowledged standards so to enable the industry to leverage synergies between these two critical phases.. Considering.. GUI.. testability problem, an interesting experience within the railways applications is addressed in “A.. Testability Problem: a case study in the railway signaling domain”.. In this paper Bonacchi and coauthors present the solution adopted by a railway signaling company for testing an equipment configuration tool.. The choice of testing techniques and of test case selection strategies is done by considering the available Graphical User Interface built on standard windowing systems, and the potential impact on the safety of the overall signaling system.. With the increasing evolution of software systems, the capability of validating functional and  ...   previous studies and information to avoid analogous defects and mistakes when a similarity exists between their software and the software represented in the public datasets.. Authors in particular explain how to find association rules from the dataset in order to identify the overlaps and determine the strength of the similarity between the datasets.. In “Interactive Multimedia Storyboard for Facilitating Stakeholder Interaction- Supporting Continuous Improvement in IT-Ecosystems” Pham and coauthors propose a new kind of interaction between engineers and stakeholders: a dedicated multimedia storyboard documentation of user requirements, which enables deep stakeholder comprehension without the necessity for learning a sophisticated notation.. The improved comprehension of requirements is useful for validating new ideas and proposing suggestion and corrections.. Chair.. Local Co-Organizing Chair.. Inês Coimbra.. , Pisa, Italy.. Emanuela G.. Cartaxo.. Federal University of Campina Grande, Brazil.. Maria Jose Escalona.. University of Seville, Spain.. Lars Frantzen.. Radboud University Nijmegen.. Sylvia Ilieva.. Sofia University, Bulgaria.. Bixin Li.. Southeast University, Nanjing, China.. Francesca Lonetti.. Eduardo Miranda.. Institute For Software Research, Carnegie Mellon University.. , Pittsburgh, PA.. Ioannis Parisiss.. Laboratoire de Conception et d Intégration de Systèmes.. , Grenoble, France.. Sasikumar Punnekkat.. School of Innovation, Design and Engineering, Mälardalen University, Västerås, Sweden.. Antonino Sabetta.. SAP Research Sophia-Antipolis, France.. Sira Vegas.. School of Computing Universidad Politecnica de Madrid, Spain.. Session 1.. Welcome.. Eda Marchetti, Track Chair.. Keynote talk: On the risks of issuing high-impact standards.. Mario Fusani (System and Software Evaluation Center,.. PISA, Italy).. Session 2: Management, Testing and Monitoring.. Integrating Test and Risk Management.. Daniel Simon, Frank Simon (SQS Software Quality Systems AG, Germany).. A.. Testability Problem: a case study in the railway signalling domain.. Andrea Bonacchi, Alessandro Fantechi (Università di Firenze, Italy), Stefano Bacherini, Matteo Tempestini, Leonardo Cipriani (General Electric Transportation System, Italy).. Antonia Bertolino (.. , Italy), Antinisca Di Marco (University of L Aquila, Italy), Francesca Lonetti (.. , Italy).. Session 3: Related V V Information.. Coordinating Exceptions of Java Systems: Implementation and Formal Verification.. Simone Hanazumi, Ana de Melo (University of São Paulo, Brazil).. Using Association Rules to Identify Similarities between Software Datasets.. Saba Anwar, Zeeshan Rana, Shafay Shamail, Mian Awais (Lahore University of Management Sciences, Pakistan).. Interactive Multimedia Storyboard for Facilitating Stakeholder Interaction- Supporting Continuous Improvement in IT-Ecosystems.. Raphael Pham, Sebastian Meyer, Ingo Kitzmann, Kurt Schneider (Leibniz Universität Hannover, Software Engineering Group, Germany).. Foreword by the Chair Eda Marchetti ISTI-CNR, Italy Nowadays some of the mandatory keywords for ICT software are heterogeneity, openness and continuous evolution.. These requirements, tha..

    Original link path: /tracks/thematic-tracks/ict-verification-and-validation/
    Open archive

  • Archived pages: 31