The SCEAS System
Navigation Menu

Search the dblp DataBase


Alan Wassyng: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ryszard Janicki, Alan Wassyng
    On tabular expressions. [Citation Graph (0, 0)][DBLP]
    CASCON, 2003, pp:92-106 [Conf]
  2. Alan Wassyng, Mark Lawford
    Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:133-153 [Conf]
  3. Alan Wassyng, Mark Lawford, Xiayong Hu
    Timing Tolerances in Safety-Critical Software. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:157-172 [Conf]
  4. Daniel M. Berry, Daniela Damian, Anthony Finkelstein, Don Gause, Robert Hall, Alan Wassyng
    To do or not to do: If the requirements engineering payoff is so good, why aren't more companies doing it? [Citation Graph (0, 0)][DBLP]
    RE, 2005, pp:447- [Conf]
  5. Ryszard Janicki, Alan Wassyng
    Tabular Expressions and Their Relational Semantics. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:4, pp:343-370 [Journal]
  6. Alan Wassyng, Mark Lawford
    Software tools for safety-critical software development. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:4-5, pp:337-354 [Journal]

  7. Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. [Citation Graph (, )][DBLP]

  8. Formal Verification of the Implementability of Timing Requirements. [Citation Graph (, )][DBLP]

  9. On Software Certification: We Need Product-Focused Approaches. [Citation Graph (, )][DBLP]

  10. A Product-Focused Approach to Software Certification. [Citation Graph (, )][DBLP]

  11. A Software Certification Consortium and its Top 9 Hurdles. [Citation Graph (, )][DBLP]

Search in 0.079secs, Finished in 0.079secs
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