Innovations in Systems and Software Engineering, Volume 3

Volume 3, Number 1, March 2007

• Roy Sterritt:
  Systems and software engineering of autonomic and autonomous systems. 1-2
  Electronic Edition (link) BibTeX
• Ji Zhang, Zhinan Zhou, Betty H. C. Cheng, Philip K. McKinley:
  Specifying real-time properties in autonomic systems. 3-16
  Electronic Edition (link) BibTeX
• Joaquín Peña, Michael G. Hinchey, Roy Sterritt, Antonio Ruiz Cortés:
  Building and implementing policies in autonomous and autonomic systems using MaCMAS. 17-31
  Electronic Edition (link) BibTeX
• Abhishek Dubey, Steven Nordstrom, Turker Keskinpala, Sandeep Neema, Ted Bapty, Gabor Karsai:
  Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems. 33-52
  Electronic Edition (link) BibTeX
• Akio Shiibashi, Naoki Mizoguchi, Kinji Mori:
  High-speed processing in wired-and-wireless integrated autonomous decentralized system and its application to IC card ticket system. 53-60
  Electronic Edition (link) BibTeX
• David W. Bustard, Sa'adah Hassan, David McSherry, Steven Walmsley:
  GRAPHIC illustrations of autonomic computing concepts. 61-69
  Electronic Edition (link) BibTeX
• Sam Lightstone:
  Seven software engineering principles for autonomic computing development. 71-74
  Electronic Edition (link) BibTeX
• Manfred Broy:
  Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones. 75-102
  Electronic Edition (link) BibTeX

Volume 3, Number 2, June 2007

• Lars Grunske, Roger McCowan:
  Systems engineering, test and evaluation: maximising customer satisfaction. 103-104
  Electronic Edition (link) BibTeX
• G. P. Briggs, Tapabrata Ray, J. F. Milthorpe:
  Optimal design of an Australian medium launch vehicle. 105-116
  Electronic Edition (link) BibTeX
• Christian Van der Velden, Cees Bil, Xinghuo Yu, Adrian Smith:
  An intelligent system for automatic layout routing in aerospace design. 117-128
  Electronic Edition (link) BibTeX
• Elena Sitnikova, Trent Kroeger, Stephen Cook:
  Software and systems engineering process capability in the South Australian defence industry. 129-139
  Electronic Edition (link) BibTeX
• Joakim Fröberg, Mikael Åkerholm, Kristian Sandström, Christer Norström:
  Key factors for achieving project success in integration of automotive mechatronics. 141-155
  Electronic Edition (link) BibTeX

Volume 3, Number 3, September 2007

• Christa D. Peters-Lidard, P. R. Houser, Y. Tian, S. V. Kumar, J. Geiger, S. Olden, L. Lighty, B. Doty, P. Dirmeyer, J. Adams, K. Mitchell, E. F. Wood, J. Sheffield:
  High-performance Earth system modeling with NASA/GSFC's Land Information System. 157-165
  Electronic Edition (link) BibTeX
• Andres S. Orrego, Gregory E. Mundy:
  A study of software reuse in NASA legacy systems. 167-180
  Electronic Edition (link) BibTeX
• Norman F. Schneidewind:
  Predicting shuttle software reliability with parameter evaluation. 181-191
  Electronic Edition (link) BibTeX
• Jane Huffman Hayes, Alex Dekhtyar, Senthil Karthikeyan Sundaram, Elizabeth Ashlee Holbrook, Sravanthi Vadlamudi, Alain April:
  REquirements TRacing On target (RETRO): improving software maintenance through traceability recovery. 193-202
  Electronic Edition (link) BibTeX
• Ahmed Samy Sidky, James D. Arthur, Shawn A. Bohner:
  A disciplined approach to adopting agile practices: the agile adoption framework. 203-216
  Electronic Edition (link) BibTeX

Volume 3, Number 4, December 2007

• Fernando Valles-Barajas:
  A requirements engineering process for control engineering software. 217-227
  Electronic Edition (link) BibTeX
• Norita Ahmad, Phillip A. Laplante:
  Reasoning about software using metrics and expert opinion. 229-235
  Electronic Edition (link) BibTeX
• Shawn A. Bohner, Ramya Ravichandar, James D. Arthur:
  Model-based engineering for change-tolerant systems. 237-257
  Electronic Edition (link) BibTeX
• Fei Xue, Lu Yan:
  Formal approach to fault diagnosis in distributed discrete event systems with OBDD. 259-267
  Electronic Edition (link) BibTeX
• Roman Gumzej, Wolfgang A. Halang:
  QoS-oriented design of embedded systems with specification PEARL. 269-279
  Electronic Edition (link) BibTeX
• Sven Apel, Christian Kästner, Martin Kuhlemann, Thomas Leich:
  Pointcuts, advice, refinements, and collaborations: similarities, differences, and synergies. 281-289
  Electronic Edition (link) BibTeX
• Abílio Fernandes, Angelo E. M. Ciarlini, Antonio L. Furtado, Michael G. Hinchey, Marco A. Casanova, Karin Koogan Breitman:
  Adding flexibility to workflows through incremental planning. 291-302
  Electronic Edition (link) BibTeX
• Dawn Lawrie, Christopher Morrell, Henry Feild, David Binkley:
  Effective identifier names for comprehension and memory. 303-318
  Electronic Edition (link) BibTeX
• Norman F. Schneidewind:
  Finding the optimal parameters for a software reliability model. 319-332
  Electronic Edition (link) BibTeX
• Kevin Adams, Denis Gracanin:
  Using adaptive scheduling for increased resiliency in passive asynchronous replication. 333-344
  Electronic Edition (link) BibTeX