Search ResultsElectronic Resources
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Industrial applications of formal methods to model, design, and analyze computer systems : an international survey
      1. 
      Industrial applications of formal methods to model, design, and analyze computer systems : an international survey
      by 
      Craigen, Dan, 1953-
      ScienceDirect https://www.sciencedirect.com/science/book/9780815513629
      Format: 
      Excerpt: 
      representative of industrial-grade projects and span a variety of application domains. The study had three main
      Cover image for Information system development process : proceedings of the IFIP WG8.1 Working Conference on Information Development Process, Como, Italy, 1-3 September, 1993
      2. 
      Information system development process : proceedings of the IFIP WG8.1 Working Conference on Information Development Process, Como, Italy, 1-3 September, 1993
      by 
      IFIP WG8.1 Working Conference on Information System Development Process (1993 : Como, Italy)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444815941
      Format: 
      Excerpt: 
      . CONCLUSIONS; ACKNOWLEDEGEMENTS; REFERENCES; Chapter 7. Utilizing Scenarios in the Software Development Process