Ausgabe 2/2005
Inhalt (10 Artikel)
Progressive autonomy: a method for gradually introducing autonomy into space missions
Walt Truszkowski, Christopher Rouff, Sidney Bailin, Mike Riley
Systems modeling & requirements specification using ECSAM: an analysis method for embedded & computer-based systems
Jonah Z. Lavi, Joseph Kudish
Tracing requirements to defect reports: an application of information retrieval techniques
Suresh Yadla, Jane Huffman Hayes, Alex Dekhtyar
Formal development of industrial-scale systems in Circus
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
Knowledge-based relevance filtering for efficient system-level test-based model generation
Tiziana Margaria, Harald Raffelt, Bernhard Steffen
Online safety calculations for glide-slope recapture
Jonathan Sprinkle, Aaron D. Ames, J. Mikael Eklund, Ian M. Mitchell, S. Shankar Sastry
Experimental evaluation of software development tools for safety-critical real-time systems
Andrew J. Kornecki, Janusz Zalewski
Energy-efficient bootstrapping for wireless sensor networks
Rajesh Mathew, Mohamed Younis, Sameh M. Elsharkawy