Innovations in Systems and Software Engineering, Volume 2

Volume 2, Number 1, March 2006

• Federico Pecora, Riccardo Rasconi, Gabriella Cortellessa, Amedeo Cesta:
  User-oriented problem abstractions in scheduling. 1-16
  Electronic Edition (link) BibTeX
• Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu:
  From Statecharts to Verilog: a formal approach to hardware/software co-specification. 17-38
  Electronic Edition (link) BibTeX
• Ali Mili, Frederick T. Sheldon, Lamia Labed Jilani, Alex Vinokurov, Alexander Thomasian, Rahma Ben Ayed:
  Modeling security as a dependability attribute: a refinement-based approach. 39-48
  Electronic Edition (link) BibTeX
• Leo Freitas, Jim Woodcock, Ana Cavalcanti:
  State-rich model checking. 49-64
  Electronic Edition (link) BibTeX

Volume 2, Number 2, July 2006

• Karine Arnout, Bertrand Meyer:
  Pattern Componentization: The Factory Example. 65-79
  Electronic Edition (link) BibTeX
• Kalpesh Kapoor:
  Formal Analysis of Coupling Hypothesis for Logical Faults. 80-87
  Electronic Edition (link) BibTeX
• Sue Black:
  Is ripple effect intuitive? A pilot study. 88-98
  Electronic Edition (link) BibTeX
• Markus Bajohr, Tiziana Margaria:
  MaTRICS: A service-based management tool for remote intelligent configuration of systems. 99-111
  Electronic Edition (link) BibTeX

Volume 2, Numbers 3-4, December 2006

• Antonio Mendes da Silva Filho, Ivanilton Polato:
  Component behavior-based adaptation in embedded software. 113-119
  Electronic Edition (link) BibTeX
• Norman F. Schneidewind:
  Allocation and analysis of reliability: multiple levels: system, subsystem, and module. 121-136
  Electronic Edition (link) BibTeX
• Albert Elcock, Phillip A. Laplante:
  Testing software without requirements: using development artifacts to develop test cases. 137-145
  Electronic Edition (link) BibTeX
• Peter T. Breuer, Simon Pickin:
  Symbolic approximation: an approach to verification in the large. 147-163
  Electronic Edition (link) BibTeX
• Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. Ghose:
  Formalization and assessment of regulatory requirements for safety-critical software. 165-178
  Electronic Edition (link) BibTeX
• Norman F. Schneidewind:
  Software reliability engineering process. 179-190
  Electronic Edition (link) BibTeX