The SCEAS System
Navigation Menu

Conferences in DBLP

Conference on Software Engineering and Formal Methods (SEFM) (sefm)
2003 (conf/sefm/2003)

  1. R. Geoff Dromey
    From Requirements to Design: Formalizing the Key Steps. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:2-0 [Conf]
  2. Tim Miller, Paul A. Strooper
    Supporting the Software Testing Process through Specification Animation. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:14-23 [Conf]
  3. Richard O. Sinnott
    Architecting Specifications for Test Case Generation. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:24-0 [Conf]
  4. Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
    Weak Bisimulation for Probabilistic Timed Automata and Applications to Security. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:34-43 [Conf]
  5. Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
    Refinement Operators and Information Flow Security. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:44-53 [Conf]
  6. Marco Carbone, Mogens Nielsen, Vladimiro Sassone
    A Formal Model for Trust in Dynamic Networks. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:54-0 [Conf]
  7. Davide Sangiorgi
    Taming Mobile Processes Using Types. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:64-0 [Conf]
  8. Hongwei Xi
    Facilitating Program Verification with Dependent Types. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:72-81 [Conf]
  9. Geoffrey Watson, Colin J. Fidge
    A Partial-Correctness Semantics for Modelling Assembler Programs. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:82-90 [Conf]
  10. Bernhard Beckert, Peter H. Schmitt
    Program Verification Using Change Information. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:91-0 [Conf]
  11. Egidio Astesiano, Gianna Reggio
    Towards a Well-Founded UML-Based Development Method. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:102-0 [Conf]
  12. Boris Litvak, Shmuel S. Tyszberowicz, Amiram Yehudai
    Behavioral Consistency Validation of UML Diagrams. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:118-125 [Conf]
  13. Yan Jin, Charles Lakos, Robert Esser
    Component-Based Design and Analysis: A Case Study. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:126-0 [Conf]
  14. Muan Yong Ng, Michael J. Butler
    Towards Formalizing UML State Diagrams in CSP. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:138-0 [Conf]
  15. Doug Goldson, Greg Reeve
    Semantic Properties of mu-Charts. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:148-155 [Conf]
  16. Rahul Bhatt, Dave LaFollette, Arjun Kapur
    The Fallacy of Spec-Based Design. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:156-0 [Conf]
  17. Nadia Bouassida, Hanêne Ben-Abdallah, Faïez Gargouri, Abdelmajid Ben Hamadou
    Formalizing the Framework Design Language F-UML. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:164-172 [Conf]
  18. Roger Duke, Luke Wildman, Brad Long
    Modelling Java Concurrency with Object-Z. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:173-181 [Conf]
  19. Frank Feiks, David Hemer
    Specification Matching of Object-Oriented Components. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:182-190 [Conf]
  20. Tim McComb, Graeme Smith
    Animation of Object-Z Specifications Using a Z Animator. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:191-0 [Conf]
  21. Ulka Shrotri, Purandar Bhaduri, R. Venkatesh
    Model Checking Visual Specification of Requirements. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:202-209 [Conf]
  22. Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter
    Formal Verification of ASM Designs Using the MDG Tool. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:210-219 [Conf]
  23. David Déharbe, Silvio Ranise
    Light-Weight Theorem Proving for Debugging and Verifying Units of Code. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:220-228 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002