226 results Refine Results
  1. 61
    by Williams, Ashley James
    Published 2019
    Connect to electronic resource
    Thesis Electronic eBook
    Save to List
    Saved in:
    Finding high-quality grey literature for use as evidence in software engineering research : a thesis submitted in partial fulfilment of the requirements for the Degree of Doctor of Philosophy [in Computer Science] in the [Department of Computer Science and Software Engineering], University of Canterbury /
  2. 62
    by Hussmann, Heinrich, 1959-
    Published 1997
    Book
    Save to List
    Saved in:
    Formal foundations for software engineering methods /
  3. 63
    Published 2003
    Connect to electronic version
    Conference Proceeding Book
    Save to List
    Saved in:
    Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings /
  4. 64
    Published 2004
    Connect to electronic version
    Conference Proceeding Book
    Save to List
    Saved in:
    Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings /
  5. 65
    Published 2005
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /
  6. 66
    Published 2006
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings /
  7. 67
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /
  8. 68
    by Nissanke, Nimal
    Published 1999
    Book
    Save to List
    Saved in:
    Formal specification : techniques and applications /
  9. 69
    Published 1991
    Conference Proceeding Book
    Save to List
    Saved in:
    Fourth Software Engineering Standards Application Workshop : May 20-24, 1991, San Diego, California.
  10. 70
    Published 2006
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    FSTTCS 2006, foundations of software technology and theoretical computer science 26th international conference, Kolkata, India, December 13-15, 2006 : proceedings /
  11. 71
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    FSTTCS 2007 foundations of software technology and theoretical computer science : 27th international conference, New Delhi, India, December 12-14, 2007 : proceedings /
  12. 72
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Fundamental approaches to software engineering 10th international conference, FASE 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /
  13. 73
    Published 2008
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Fundamental approaches to software engineering 11th international conference, FASE 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /
  14. 74
    Published 2009
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Fundamental approaches to software engineering 12th International Conference, FASE 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings /
  15. 75
    Published 2005
    Connect to electronic resource
    Electronic Conference Proceeding Book
    Save to List
    Saved in:
    Fundamental approaches to software engineering 8th international conference, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /
  16. 76
    Published 2006
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Fundamental approaches to software engineering 9th international conference, FASE 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings /
  17. 77
    by Dumas, Marlon
    Published 2018
    Connect to electronic resource
    Electronic eBook
    Save to List
    Saved in:
    Fundamentals of Business Process Management
  18. 78
    Published 2011
    Connect to electronic resource
    Electronic eBook
    Save to List
    Saved in:
    The future of software engineering
  19. 79
    Published 2006
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Generative and transformational techniques in software engineering international summer school, GTTSE 2005, Braga, Portugal, July 4-8, 2005 : revised papers /
  20. 80
    Published 2005
    Connect to electronic resource
    Electronic Conference Proceeding Book
    Save to List
    Saved in:
    Generative programming and component engineering 4th international conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005 : proceedings /

Search Tools: