Journals in DBLP

Information & Software Technology
2003, volume: 45, number: 11

1. Rachida Dssouli, Ferhat Khendek
   Preface. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2003, v:45, n:11, pp:699- [Journal]
   
2. Loïc Hélouët
   Distributed system requirement modeling with message sequence charts: the case of the RMTP2 protocol. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2003, v:45, n:11, pp:701-714 [Journal]
   
3. Aziz Salah, Rachida Dssouli, Guy Lapalme
   Implicit integration of scenarios into a reduced timed automaton. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2003, v:45, n:11, pp:715-725 [Journal]
   
4. Reinhard Gotzhein
   Consolidating and applying the SDL-pattern approach: a detailed case study. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2003, v:45, n:11, pp:727-741 [Journal]
   
5. Vangalur S. Alagar, Ramesh Achuthan, M. Haydar, D. Muthiayen, Olga Ormandjieva, Mao Zheng
   A rigorous approach for constructing self-evolving real-time reactive systems. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2003, v:45, n:11, pp:743-761 [Journal]
   
6. Robert L. Probert, Yanping Chen, Behrad Ghazizadeh, D. Paul Sims, Maurus Cappa
   Formal verification and validation for e-commerce: theory and best practices. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2003, v:45, n:11, pp:763-777 [Journal]
   
7. John Mullins, Stéphane Lafrance
   Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2003, v:45, n:11, pp:779-790 [Journal]