Common use of The Vienna Development Method Clause in Contracts

The Vienna Development Method. Software Abstrac- tion and Program Synthesis, volume 75: Math. Studies of Informa- tion Processing of Lecture Notes in Computer Science. Springer- Verlag, 1979. [BLL+16] ▇▇▇▇▇▇ ▇▇▇▇▇▇, ▇▇▇▇▇ ▇▇▇▇ ▇▇▇▇▇▇, ▇▇▇▇▇▇▇ ▇▇▇▇▇▇▇▇, ▇▇▇▇▇▇ Thule, ▇▇▇▇▇▇ ▇▇▇▇▇ ▇▇▇▇▇▇▇▇▇, ▇▇▇▇ ▇▇▇▇▇▇, ▇▇▇▇▇▇ Pop, Eti- enne Brosse, Jrg ▇▇▇▇▇▇, ▇▇▇▇▇▇▇ ▇▇▇▇▇▇▇▇▇, ▇▇▇▇▇▇ ▇▇▇▇▇▇▇▇▇, ▇▇▇▇▇▇▇▇▇ Kleijn, and ▇▇▇▇ ▇▇▇▇▇ ▇▇▇▇▇. INTO-CPS Tool Chain User Manual. Technical report, INTO-CPS Deliverable, D4.2a, December 2016. [Bro90] Jan F. Broenink. Computer-aided physical-systems modeling and simulation: a bond-graph approach. PhD thesis, Faculty of Elec- trical Engineering, University of ▇▇▇▇▇▇, ▇▇▇▇▇▇▇▇, ▇▇▇▇▇▇▇▇▇▇▇, ▇▇▇▇. [Con13] Controllab Products B.V. ▇▇▇▇://▇▇▇.▇▇▇▇▇.▇▇▇/, January 2013. 20-sim official website. [CSK07] CSK. VDMTools homepage. ▇▇▇▇://▇▇▇.▇▇▇▇▇▇▇▇.▇▇/en/, 2007. [FCC+16] ▇▇▇▇▇ ▇▇▇▇▇▇, ▇▇▇ ▇▇▇▇▇▇▇▇▇▇, ▇▇▇▇▇▇ ▇▇▇▇▇▇, ▇▇▇ ▇▇▇▇▇▇, and‌ ▇▇▇ ▇▇▇▇▇▇▇▇. Final Semantics of VDM-RT. Technical report, INTO-CPS Deliverable, D2.2b, December 2016. [FCL+15] ▇▇▇▇▇ ▇▇▇▇▇▇, ▇▇▇ ▇▇▇▇▇▇▇▇▇▇, ▇▇▇▇▇▇▇ ▇▇▇▇▇▇▇▇, ▇▇▇ ▇▇▇▇▇▇, and ▇▇▇ ▇▇▇▇▇▇▇▇. Initial Semantics of VDM-RT. Technical report, INTO-CPS Deliverable, D2.1b, December 2015. [FE98] ▇▇▇▇▇ ▇▇▇▇▇▇▇▇ and ▇▇▇▇▇ ▇▇▇▇▇▇▇▇. Modelica - A Unified Object- Oriented Language for System Modelling and Simulation. In EC- COP ’98: Proceedings of the 12th European Conference on Object- Oriented Programming, pages 67–90. Springer-Verlag, 1998. [FLS08] ▇▇▇▇ ▇▇▇▇▇▇▇▇▇▇, ▇▇▇▇▇ ▇▇▇▇ ▇▇▇▇▇▇, and Shin Sahara. VDM- Tools: Advances in Support for Formal Modeling in VDM. ACM Sigplan Notices, 43(2):3–11, February 2008. [FPSP09] ▇▇▇▇▇ ▇▇▇▇▇▇▇▇, ▇▇▇▇▇ ▇▇▇▇▇▇▇▇▇, ▇▇▇▇▇▇ Sjlund, and ▇▇▇▇▇▇ Pop. Towards a text generation template language for Modelica. In ▇▇▇▇▇▇▇▇▇ ▇▇▇▇▇▇▇, editor, Proceedings of the 7th International Modelica Conference, pages 193–207. Linkping University Elec- tronic Press, September 2009.

The Vienna Development Method. Software Abstrac- tion Ab- straction and Program Synthesis, volume 75: Math. Studies of Informa- tion Information Processing of Lecture Notes in Computer Science. Springer- Springer-Verlag, 1979. [BLL+16BLL+17] ▇▇▇▇▇▇ ▇▇▇▇▇▇, ▇▇▇▇▇ ▇▇▇▇ ▇▇▇▇▇▇, ▇▇▇▇▇▇▇ ▇▇▇▇▇▇▇▇, ▇▇▇▇▇▇ Thule, ▇▇▇▇▇▇ ▇▇▇▇▇ ▇▇▇▇▇▇▇▇▇, ▇▇▇▇ ▇▇▇▇▇▇, ▇▇▇▇▇▇ Pop, Eti- enne Brosse, Jrg J¨org ▇▇▇▇▇▇, ▇▇▇▇▇▇▇ ▇▇▇▇▇▇▇▇▇, ▇▇▇▇▇▇ ▇▇▇▇▇▇▇▇▇, ▇▇▇▇▇▇▇▇▇ Kleijn, and ▇▇▇▇ ▇▇▇▇▇ ▇▇▇▇▇. INTO-CPS Tool Chain User Manual. Technical report, INTO-CPS Deliverable, D4.2aD4.3a, December 20162017. [Bro90] Jan F. Broenink. Computer-aided physical-systems modeling and simulation: a bond-graph approach. PhD thesis, Faculty of Elec- trical Engineering, University of ▇▇▇▇▇▇, ▇▇▇▇▇▇▇▇, ▇▇▇▇▇▇▇▇▇▇▇, ▇▇▇▇. [BTJHL17] ▇▇▇▇▇▇ ▇▇▇▇▇▇, ▇▇▇▇▇ W. V. ▇▇▇▇-▇▇▇▇▇▇▇▇▇, ▇▇▇▇▇ ▇▇▇▇▇▇▇▇▇, and ▇▇▇▇▇▇▇ ▇▇▇▇▇▇▇▇. Code-generating VDM for Embedded Devices. In ▇▇▇▇ ▇▇▇▇▇▇▇▇▇▇, ▇▇▇▇▇ W. V. ▇▇▇▇-▇▇▇▇▇▇▇▇▇, and ▇▇▇▇▇▇▇▇ ▇▇▇, editors, Proceedings of the 15th Overture Work- shop, pages 1–15. Newcastle University, Computing Science. Technical Report Series. CS-TR- 1513, September 2017. [CDK05] ▇▇▇▇▇▇ ▇ ▇▇▇▇▇▇▇▇▇, ▇▇▇▇ ▇▇▇▇▇▇▇▇▇, and ▇▇▇ ▇▇▇▇▇▇▇▇. Dis- tributed systems: concepts and design. ▇▇▇▇▇▇▇ education, 2005. [Con13] Controllab Products B.V. ▇▇▇▇://▇▇▇.▇▇▇▇▇.▇▇▇/, January 2013. 20-sim official website. [CSK07] CSK. VDMTools homepage. ▇▇▇▇://▇▇▇.▇▇▇▇▇▇▇▇.▇▇/en/, 2007. [FCC+16] ▇▇▇▇▇ ▇▇▇▇▇▇, ▇▇▇ ▇▇▇▇▇▇▇▇▇▇, ▇▇▇▇▇▇ ▇▇▇▇▇▇, ▇▇▇ ▇▇▇▇▇▇, and‌ and ▇▇▇ ▇▇▇▇▇▇▇▇. Final Semantics of VDM-RT. Technical report, INTO-CPS Deliverable, D2.2b, December 2016. [FCL+15] ▇▇▇▇▇ ▇▇▇▇▇▇, ▇▇▇ ▇▇▇▇▇▇▇▇▇▇, ▇▇▇▇▇▇▇ ▇▇▇▇▇▇▇▇, ▇▇▇ ▇▇▇▇▇▇, and ▇▇▇ ▇▇▇▇▇▇▇▇. Initial Semantics of VDM-RT. Technical report, INTO-CPS Deliverable, D2.1b, December 2015. [FE98] ▇▇▇▇▇ ▇▇▇▇▇▇▇▇ and ▇▇▇▇▇ ▇▇▇▇▇▇▇▇. Modelica - A Unified Object- Object-Oriented Language for System Modelling and SimulationSimula- tion. In EC- COP ECCOP ’98: Proceedings of the 12th European Conference Confer- ence on Object- Object-Oriented Programming, pages 67–90. Springer-Springer- Verlag, 1998. [FLS08] ▇▇▇▇ ▇▇▇▇▇▇▇▇▇▇, ▇▇▇▇▇ ▇▇▇▇ ▇▇▇▇▇▇, and Shin Sahara. VDM- Tools: Advances in Support for Formal Modeling in VDM. ACM Sigplan Notices, 43(2):3–11, February 2008. [FPSP09] ▇▇▇▇▇ ▇▇▇▇▇▇▇▇, ▇▇▇▇▇ ▇▇▇▇▇▇▇▇▇, ▇▇▇▇▇▇ Sjlund, and ▇▇▇▇▇▇ Pop. Towards a text generation template language for Modelica. In ▇▇▇▇▇▇▇▇▇ ▇▇▇▇▇▇▇, editor, Proceedings of the 7th International Modelica Conference, pages 193–207. Linkping University Elec- tronic Press, September 2009.