Online First Articles

ISSN: 1614-5046 (Print) 1614-5054 (Online)

Articles not assigned to an issue (18 articles)

  1. No Access

    SI: QUATIC 2010

    Web-GIS models: accomplishing modularity with aspects

    Matias Urbieta, Ana Oliveira, João Araújo…
    Look Inside Get Access

  2. No Access

    Original Paper

    UI-design driven model-based testing

    Judy Bowen, Steve Reeves
    Look Inside Get Access

  3. No Access

    SI: QUATIC 2010

    Testing operational transformations in model-driven engineering

    Andrea Ciancone, Antonio Filieri…
    Look Inside Get Access

  4. No Access

    SI: SAC-SVT'12

    Special issue: software verification and testing

    Mohammad Reza Mousavi, Jun Pang
    Get Access

  5. No Access

    SI: QUATIC 2010

    Applying grounded theory to understand software process improvement implementation: a study of Brazilian software organizations

    Mariano Angel Montoni…
    Look Inside Get Access

  6. No Access

    SI: QUATIC 2010

    The DynaRIA tool for the comprehension of Ajax web applications by dynamic analysis

    Domenico Amalfitano, Anna Rita Fasolino…
    Look Inside Get Access

  7. No Access

    SI: SAC-SVT'12

    A verification environment for bigraphs

    Gian Perrone, Søren Debois…
    Look Inside Get Access

  8. No Access

    SI: QUATIC 2010

    Investigating the evolution of code smells in object-oriented systems

    Alexander Chatzigeorgiou, Anastasios Manakos
    Look Inside Get Access

  9. No Access

    SI: FMIS

    Reusing models and properties in the analysis of similar interactive devices

    Michael D. Harrison, José Creissac Campos…
    Look Inside Get Access

  10. No Access

    SI: FMIS

    Using PVS to support the analysis of distributed cognition systems

    Paolo Masci, Paul Curzon, Dominic Furniss…
    Look Inside Get Access

  11. No Access

    SI: SAC-SVT'12

    Precise shape analysis using field sensitivity

    Sandeep Dasgupta, Amey Karkare…
    Look Inside Get Access

  12. No Access

    SI: SAC-SVT’12

    An experience report on the verification of autonomic protocols in the cloud

    Gwen Salaün, Fabienne Boyer, Thierry Coupaye…
    Look Inside Get Access

  13. No Access

    SI: FMIS

    The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps

    Paolo Masci, Rimvydas Rukšėnas…
    Look Inside Get Access

  14. No Access

    SI: FMIS

    Is my configuration any good: checking usability in an interactive sensor-based activity monitor

    Muffy Calder, Phil Gray, Chris Unsworth
    Look Inside Get Access

  15. No Access

    SI: SAC-SVT’12

    Scaling symbolic execution using staged analysis

    Junaid Haroon Siddiqui, Sarfraz Khurshid
    Look Inside Get Access

  16. No Access

    Original Paper

    SRM: a staged reliability model for Web service

    Chunli Xie, Bixin Li, Hareton Leung
    Look Inside Get Access

  17. No Access

    Original Paper

    A requirements-based, bottom-up SLOC estimate and analysis of NASA’s Orion crew exploration vehicle spacecraft flight software

    Lorraine E. Prokop
    Look Inside Get Access

  18. No Access

    Original Paper

    A formal model of composing components: the TLA+ approach

    Ondrej Rysavy, Jaroslav Rab
    Look Inside Get Access