Modelling systems: Practical tools and techniques in software development second edition

Modelling Systems: Practical Tools and Techniques in Software Development

Volumn , Issue , 2009, Pages 1-288

  Fitzgerald, John ^a   Larsen, Peter Gorm ^b  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

^b AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

FIRMWARE; ONLINE SYSTEMS; SOFTWARE DESIGN;

BUSINESS INFORMATION SYSTEMS; COMMERCIAL APPLICATIONS; CONSTRUCTING MODELS; CURRENT GENERATION; EARLY DESIGN STAGES; MODELLING SYSTEMS; TOOLS AND TECHNIQUES; VIENNA DEVELOPMENT METHODS;

FORMAL METHODS;

EID: 84932607685     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1017/CBO9780511626975     Document Type: Book

References (36)

1. Paul Ammann. A Safety Kernel for Traffic Light Control. In COMPASS’95: Proceedings of the Tenth Annual Conference on Computer Assurance, pages 71–82, June 1995. Gaithersburg, MD.
2. Paul Ammann. A Safety Kernel for Traffic Light Control. IEEE Aerospace and Electronic Systems Magazine, 11(2):13–19, February 1996.
3. Michael Andersen and René Elmstrøm and Poul Bøgh Lassen and Peter Gorm Larsen. Making Specifications Executable – Using IPTES Meta-IV. Microprocessing and Microprogramming, 35(1-5):521–528, September 1992.
4. Juan Bicarregui and John Fitzgerald and Peter Lindsay and Richard Moore and Brian Ritchie. Proof in VDM: A Practitioner's Guide. FACIT, Springer-Verlag, 1994. 245 pages.
5. B. Boehm. Software Engineering Economics. Prentice-Hall International, 1981. 767 pages.
6. Grady Booch and Ivar Jacobson and Jim Rumbaugh. The Unified Modelling Language, version 1.1. Technical Report, Rational Software Corporation, September 1997.
7. Tom M. Brookes and John S. Fitzgerald and Peter Gorm Larsen. Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study. In Marie-Claude Gaudel and Jim Woodcock, editors, FME’96: Industrial Benefit and Advances in Formal Methods, pages 214–227, Springer- Verlag, March 1996. 277.
8. Tim Clement and Ian Cottam and Peter Froome and Claire Jones. The Development of a Commercial “Shrink-Wrapped” Application to Safety Integrity Level 2: the DUST-EXPERT Story. In Safecomp’99, Springer-Verlag, September 1999. LNCS 1698, ISBN 3-540-66488-2.
9. John Fitzgerald and Peter Gorm Larsen and Paul Mukherjee and Nico Plat and Marcel Verhoef. Validated Designs for Objectoriented Systems. Springer, New York, 2005.
10. J. S. Fitzgerald and P. G. Larsen. Triumphs and Challenges for the Industrial Application of Model-Oriented Formal Methods. In T. Margaria and A. Philippou and B. Steffen, editors, Proceedings of the 2nd IEEE International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2007), 2007.
11. J. S. Fitzgerald and P. G. Larsen. Balancing Insight and Effort: the Industrial Uptake of Formal Methods. In Cliff B. Jones and Zhiming Liu and Jim Woodcock, editors, Formal Methods and Hybrid Real-Time Systems, Essays in Honour of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, pages 237–254, Springer, Lecture Notes in Computer Science, Volume 4700, September 2007. ISBN 978-3-540-75220-2.
12. John Fitzgerald and Peter Gorm Larsen and Shin Sahara. VDMTools: advances in support for formal modeling in VDM. Sigplan Notices, 43(2):3–11, February 2008.
13. John Fitzgerald and Peter Gorm Larsen and Tom Brookes and Mike Green. Applications of Formal Methods, chapter 14. Developing a Security-critical System using Formal and Conventional Methods, pages 333–356. Prentice-Hall International Series in Computer Science, 1995.
14. John S. Fitzgerald and Cliff B. Jones. Proof in the Validation of a Formal Model of a Tracking System for a Nuclear Plant. In Juan C. Bicarregui, editor, Proof in VDM: Case Studies, Springer- Verlag, 1998.
15. Norbert E. Fuchs. Specifications are (Preferably) Executable. Software Engineering Journal, 323–334, September 1992.
16. Antony Hall. Using Formal Methods to Develop an ATC Information System. IEEE Software, 12(6):66–76, March 1996.
17. Ian J. Hayes and Cliff B. Jones. Specifications Are not (Necessarily) Executable. Software Engineering Journal, 330–338, November 1989.
18. P. G. Larsen and B. S. Hansen and H. Brunn and N. Plat and H. Toetenel and D. J. Andrews and J. Dawes and G. Parkin and others. Information technology – Programming languages, their environments and system software interfaces – Vienna Development Method – Specification Language – Part 1: Base language. December 1996.
19. Cliff B. Jones. Scientific Decisions which Characterize VDM. In J.M. Wing and J.C.P. Woodcock and J. Davies, editors, FM’99 - Formal Methods, pages 28–47, Springer-Verlag, 1999. Lecture Notes in Computer Science 1708.
20. Taro Kurita and Miki Chiba and Yasumasa Nakatsugawa. Application of a Formal Specification Language in the Development of the “Mobile FeliCa” IC Chip Firmware for Embedding in Mobile Phone. In J. Cuellar and T. Maibaum and K. Sere, editors, FM 2008: Formal Methods, pages 425–429, Springer-Verlag, May 2008.
21. Peter Gorm Larsen. Ten Years of Historical Development: “Bootstrapping” VDM Tools. Journal of Universal Computer Science, 7(8):692–709, 2001.
22. Peter Gorm Larsen and John S. Fitzgerald and Steve Riddle. Practice- oriented courses in formal methods using VDM++. Formal Aspects of Computing, DOI 10.1007/s00165-008-0068-5, February 2008.
23. Peter Gorm Larsen and John Fitzgerald and Tom Brookes. Applying Formal Specification in Industry. IEEE Software, 13(3):48–56, May 1996.
24. Paul Mukherjee and Victoria Stavridou. The Formal Specification of Safety Requirements for Storing Explosives. Formal Aspects of Computing, 5(4):299–336, 1993.
25. P. Naur and B. Randell (Editors). Software Engineering: Report on a Conference sponsored by the NATO Science Committee. 231 pages. Garmisch, Germany, 7th to 11th October 1968, Brussels, Scientific Affairs Division, NATO, January 1969.
26. P. Naur and B. Randell (Editors). The Common Object Request Broker: Architecture and Specification. OMG, July 1996.
27. Sai-Lai Lo and David Riddoch and Duncan Grisby. The omniORB version 3.0 User's Guide. AT&T Laboratories Cambridge, May 2000.
28. Armand Puccetti and Jean Yves Tixadou. Application of VDMSL to the Development of the SPOT4 Programming Messages Generator. In John Fitzgerald and Peter Gorm Larsen, editors, VDM in Practice: Proceedings of the First VDMWorkshop 1999, pages 127–137, September 1999. Available at www.vdmportal.org.
29. John Rushby. Kernels for Safety? In Tom Anderson, editor, Safe and Secure Computer Systems, pages 210–220, Blackwell Scientific Publications, October 1996.
30. Paul R. Smith and Peter Gorm Larsen. Applications of VDM in Banknote Processing. In John S. Fitzgerald and Peter Gorm Larsen, editors, VDM in Practice: Proceedings of the First VDM Workshop 1999, September 1999. Available at www.vdmportal.org.
31. OMG. Unified Modeling Language: Superstructure. August 2005. Available at http://www.uml.org.
32. The VDM Tool Group. VDM-SL Toolbox User Manual. Technical Report, CSK Systems, January 2008. Available at http://www.vdmtools.jp/en/.
33. Sunil Vadera and F. Meziane and M. Huang. Experience with mural in Formalising Dust-Expert. Information and Software Technology, 43:231–240, 2001.
34. Marcel Verhoef and Peter Gorm Larsen and Jozef Hooman. Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. In Jayadev Misra and Tobias Nipkow and Emil Sekerinski, editors, FM 2006: Formal Methods, pages 147–162, Springer-Verlag, 2006.
35. Marcel Verhoef and Peter Gorm Larsen. Interpreting Distributed System Architectures Using VDM++ – A Case Study. In Brian Sauser and Gerrit Muller, editors, 5th Annual Conference on Systems Engineering Research, March 2007. Available at http://www.stevens.edu/engineering/cser/.
36. Marcel Verhoef and Peter Visser and Jozef Hooman and Jan Broenink. Co-simulation of Real-time Embedded Control Systems. In Jim Davies and Jeremy Gibbons, editors, Integrated Formal Methods: Proceedings of the 6th International Conference, pages 639–658, Springer-Verlag, July 2007.