The SCEAS System
Navigation Menu

Search the dblp DataBase


Frank Salger: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.007secs, Finished in 0.007secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002