Search the dblp DataBase

Publications of Author

1. Mila E. Majster-Cederbaum, Frank Salger
   A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic. [Citation Graph (0, 0)][DBLP]
   ASIAN, 1999, pp:379-380 [Conf]
   
2. Mila E. Majster-Cederbaum, Frank Salger, Maria Sorea
   A Priori Verification of Reactive Systems. [Citation Graph (0, 0)][DBLP]
   FORTE, 2000, pp:35-50 [Conf]
   
3. Mila E. Majster-Cederbaum, Frank Salger
   Correctness by Construction: Towards Verification in Hierarchical System Development. [Citation Graph (0, 0)][DBLP]
   SPIN, 2000, pp:163-180 [Conf]
   
4. Mila E. Majster-Cederbaum, Frank Salger
   Towards the hierarchical verification of reactive systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:318, n:3, pp:243-296 [Journal]
   
5. 
   Assessments in global software development: a tailorable framework for industrial projects. [Citation Graph (, )][DBLP]
   
   
6. 
   Knowledge transfer in global software development: leveraging acceptance test case specifications. [Citation Graph (, )][DBLP]
   
   
7. 
   On the Use of Handover Checkpoints to Manage the Global Software Development Process. [Citation Graph (, )][DBLP]
   
   
8. 
   Software Architecture Evaluation in Global Software Development Projects. [Citation Graph (, )][DBLP]
   
   
9. 
   Comprehensive Architecture Evaluation and Management in Large Software-Systems. [Citation Graph (, )][DBLP]
   
   
10. 
    Integrated specification and quality assurance for large business information systems. [Citation Graph (, )][DBLP]