Innovations in Systems and Software Engineering, Volume 8

Volume 8, Number 1, March 2012

• João M. Fernandes, Dov Dori:
  Model-based approaches and frameworks for embedded software systems. 1-2
  
• Marsha Chechik, Shiva Nejati, Mehrdad Sabetzadeh:
  A relationship-based approach to model integration. 3-18
  
• Francisco Assis M. do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner:
  A model-driven engineering framework for embedded systems design. 19-33
  
• Andreas Polzer, Daniel Merschen, Goetz Botterweck, Andreas Pleuss, Jacques Thomas, Bernd Hedenetz, Stefan Kowalewski:
  Managing complexity and variability of a model-based embedded software product line. 35-49
  
• Sofia Azevedo, Ricardo Jorge Machado, Alexandre Bragança, Hugo Ribeiro:
  On the refinement of use case models with variability support. 51-64
  
• Raphael Mannadiar, Hans Vangheluwe:
  Modular artifact synthesis from domain-specific models. 65-77
  
• Christo Angelov, Wei Guan, Nicolae Marian, Feng Zhou, Krzysztof Sierszecki, Søren Top:
  Component-based analysis of embedded control applications. 79-92
  

Volume 8, Number 2, June 2012

• Ahmed Seffah, Mohamed Taleb:
  Tracing the evolution of HCI patterns as an interaction design tool. 93-109
  
• Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw:
  Game-based verification of contract signing protocols with minimal messages. 111-124
  
• Norman F. Schneidewind:
  Proposed future Internet. 125-173
  

Volume 8, Number 3, September 2012

• Jon G. Hall, Lucia Rapanotti:
  Software engineering as the design theoretic transformation of software problems. 175-193
  
• Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi, Ali Mili:
  Invariant relations, invariant functions, and loop functions. 195-212
  
• Jairus Hihn, Debarati Chattopadhyay, Robert Shishko:
  Risk identification and scoring in early-lifecycle concurrent engineering teams. 213-221
  
• W. Roger Davis, Phillip A. Laplante, Bo I. Sandén:
  A real-time virtual machine implementation for small microcontrollers. 223-241
  

Volume 8, Number 4, December 2012

• Forrest Shull, Raimund L. Feldmann, Carolyn B. Seaman, Myrna Regardie, Sally Godfrey:
  Fully employing software inspections data. 243-254
  
• Mikael Lindvall, William C. Stratton, Deane E. Sibol, Christopher Ackermann, W. Mark Reid, Dharmalingam Ganesan, David McComas, Maureen Bartholomew, Sally Godfrey:
  Connecting research and practice: an experience report on research infusion with software architecture visualization and evaluation. 255-277
  
• Mitrabinda Ray, Durga Prasad Mohapatra:
  Code-based prioritization: a pre-testing effort to minimize post-release failures. 279-292
  
• Muhammad Fahad Khan, Saira Beg:
  Transference and retrieval of voice message over low signal strength in satellite communication. 293-299
  
• Hongmin Ren, Jin Liu:
  Service substitutability analysis based on behavior automata. 301-308
  
• Loraine E. Prokop, Robert L. Hirsh, Carlos Pagan:
  Requirements-based execution time prediction of a partitioned real-time system using I/O and SLOC estimates. 309-320
  

Last update Sat May 18 16:40:04 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page