Integrated software methodologies – An engineering approach

References

• Ainsworth , M . 2008 . Prototyping versus formal development . In Redmill , F . & Anderson , T . Improvements in Systems Safety . Proccedings of the Sixteenth Safety-critical Symposium , Bristol , UK , 5–7 February 2008 . Springer 195 207 .
   Google Scholar
• Archinoff , G.H. , Hohendorf , R.J. , Wassyng , A. , Quigley , B Borsch , M.R . 1990 . Verification of the shutdown system software at the Darlington nuclear generating station . International Conference on Control and Instrumentation in Nuclear Installations, Glasgow, UK Glasgow , The Institution of Nuclear Engineers .
   Google Scholar
• Bartussek , W Parnas , D.L . 1978 . Using assertions about traces to write abstract specifications for software modules . In: Proceedings of the 2nd Conference of European Cooperation in Informatics, Venice, 1978. Lecture Notes in Computer Science 65 : 211 236 . Berlin , Springer ; reprinted in Gehani, N. & McGettrick, A.D. (Eds), Software Specification Techniques 1985: 111–130.
   Google Scholar
• Bharadwaj , R Heitmeyer , C.L . 2000 . Developing high assurance avionics systems with the SCR requirements method . Proceedings of the 19th Digital Avionics Systems Conference, Philadelphia 1 8 .
   Google Scholar
• Darimont , R. , Delor , E. , Massonet , P Van Lamsweerde , A . 1977 . GRAIL/KAOS: An environment for goal-driven requirements engineering . Proceedings of the 19th International Conference on Software Engineering 612 613 .
   Google Scholar
• Heitmeyer , C. 2002 . “ Software cost reduction ” . In Encyclopedia of Software Engineering , 2nd edition , Edited by: Marciniak , J.J. 1374 – 1380 . New York : JohnWiley & Sons .
   Google Scholar
• Heitmeyer , C. , Bull , A. , Gasarch , C Labaw , B . 1995 . Toolset for specifying and analyzing requirements . 10th Annual Conference on Computer Assurance, Gaithersburg, Maryland . 109 122 .
   Google Scholar
• Heitmeyer , C. , Kirby , J. , Labawb Bharadwaj , R . 1998 . Toolset for specifying and analyzing software requirements . Proceedings of 10th International Conference on Computer Aided Verification, Vancouver, BC, Canada. Lecture Notes in Computer Science 1427 : 526 531 .
   Google Scholar
• Janicki , R. , Parnas , D.L. and Zucker , J. 1997 . “ Tabular representations in relational documents ” . In Relational Methods in Computer Science , Edited by: Brink , C. , Kahl , W. and Schmidt , G. 184 – 196 . Advances in Computing Science 12 .
   Google Scholar
• Khedri , R Bourguiba , I . 2004 . Formal derivation of functional architecture design . In Cuellar , J.R . & Liu , Z . Proceedings of Second International Conference on Software Engineering and Formal Methods, Beijing 356 365 .
   Google Scholar
• Lawford , M. , McDougall , J. , Froebel , P Moum , G . 2000 . Practical application of functional and relational methods for the specification and verification of safety critical software . Proceedings of AMAST 2000, Iowa City, Iowa, USA. Lecture Notes in Computer Science 1816 : 73 88 .
   Google Scholar
• Moum , G . 2000 . Systematic design verification procedure , Revision 02, NK38-MAN-68000-001. Ontario Power Generation, Darlington NGD Shutdown System Trip Computer Software. Proprietary . 104 pp.
   Google Scholar
• Owre , S. , Rushby , J. and Shankar , N. 1997 . “ Integration in PVS: tables, types, and model checking ” . In Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science Edited by: Brinksma , H. Vol. 1217 , 366 – 383 .
   Google Scholar
• Parnas , D.L. 1972 . On the criteria to be used in decomposing systems into modules . Communications of the ACM , 15 ( 12 ) : 1053 – 1058 .
   Web of Science ®Google Scholar
• Parnas , D.L. and Clements , P. 1996 . A rational design process: how and why to fake it . IEEE Transactions Software Engineering , 12 ( 2 ) : 251 – 257 .
   Web of Science ®Google Scholar
• Parnas , D.L. and Madey , J. 1995 . Functional documents for computer systems . Science of Computer Programming , 25 : 41 – 61 .
   Web of Science ®Google Scholar
• Post , H. , Sinz , C. , Merz , F. , Gorges , T Kropf , T . 2009 . Linking functional requirements and software verification . Proceedings of the 17th IEEE International Requirements in Engineering Conference . 295 302 .
   Google Scholar
• Rumbaugh , J. , Jacobson , I. and Booch , G. 2004 . The Unified Modeling Language Reference Manual , 2nd edition , 567 Boston : Pearson Higher Education .
   Google Scholar
• Thompson , J.M. , Heimdahl , M.P.E Miller , S.P . 1999 . Specification-based prototyping for embedded systems . Proceedings of the 7th European Software Engineering Conference/ACM SIGSOFT Foundations of Software Engineering. Lecture Notes in Computer Science 1687 : 163 179 .
   Google Scholar
• Wassyng , A. and Lawford , M. 2003 . “ Lessons learned from a successful implementation of formal methods in an industrial project ” . In International Symposium of Formal Methods Europe Proceedings , Edited by: Araki , K. , Gnesi , S. and Mandrioli , D. 133 – 153 . Lecture Notes in Computer Science 2805 .
   Google Scholar
• Wassyng , A. and Lawford , M. 2006 . Software tools for safety-critical software development . International Journal of Software Tools for Technology Transfer , 8 ( 4–5 ) : 337 – 354 .
   Google Scholar
• Whalen , M. , Cofer , D. , Miller , S. , Krogh , B.H. and Storm , W. 2008 . “ Integration of formal analysis into a model-based software development process ” . In Proceedings of Formal Methods in Industry Critical Systems, 2007 , Edited by: Leue , S. and Merino , P. 68 – 84 . Lecture Notes in Computer Science 4916 .
   Google Scholar