References

  1. Guy H. Broadfoot (2005): ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software. In: Fitzgerald, pp. 548–551, doi:10.1007/11526841_39.
  2. Hugo Bruneliere, Jordi Cabot, Frédéric Jouault & Frédéric Madiot (2010): MoDisco: A Generic and Extensible Framework for Model Driven Reverse Engineering. In: Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, ASE '10. ACM, New York, NY, USA, pp. 173–174, doi:10.1145/1858996.1859032.
  3. Verum Software Technologies B.V.: Homepage Verum. Available at http://www.verum.com/.
  4. Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann & Margus Veanes (2005): Testing Concurrent Object-Oriented Systems with Spec Explorer. In: Fitzgerald, pp. 542–547, doi:10.1007/11526841_38.
  5. R. Doornbos, J. Hooman & B. van Vlimmeren (2012): Complementary verification of embedded software using ASD and Uppaal. In: Innovations in Information Technology (IIT), 2012 International Conference on, pp. 60–65, doi:10.1109/INNOVATIONS.2012.6207775.
  6. John A. Fitzgerald, Ian J. Hayes & Andrzej Tarlecki (2005): FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings. Lecture Notes in Computer Science 3582. Springer.
  7. The Eclipse Foundation: Acceleo - transforming models into code. Available at http://www.eclipse.org/acceleo/.
  8. The Eclipse Foundation: Eclipse Modeling Framework Project (EMF). Available at http://www.eclipse.org/modeling/emf/.
  9. The Eclipse Foundation: MoDisco Homepage. Available at http://www.eclipse.org/MoDisco/.
  10. The Eclipse Foundation: QVTo. Available at http://wiki.eclipse.org/QVTo.
  11. Philippa J. Hopcroft & Guy H. Broadfoot (2005): Combining the Box Structure Development Method and CSP for Software Development. Electr. Notes Theor. Comput. Sci. 128(6), pp. 127–144, doi:10.1016/j.entcs.2005.04.008.
  12. OMG (2005): MOF QVT Final Adopted Specification. Object Modeling Group. Available at http://fparreiras/papers/mof_qvt_final.pdf.
  13. David Steinberg, Frank Budinsky, Marcelo Paternostro & Ed Merks (2009): EMF: Eclipse Modeling Framework 2.0, 2nd edition. Addison-Wesley Professional.
  14. Spec Explorer Team: Spec Explorer 2010 Visual Studio Power Tool. Available at http://visualstudiogallery.msdn.microsoft.com/271d0904-f178-4ce9-956b-d9bfa4902745/.
  15. Margus Veanes, Colin Campbell, Wolfram Schulte & Nikolai Tillmann (2005): Online testing with model programs. In: Michel Wermelinger & Harald Gall: ESEC/SIGSOFT FSE. ACM, pp. 273–282, doi:10.1145/1081706.1081751.
  16. Vivek Vishal, Mehmet Kovacioglu, Rachid Kherazi & Mohammad Reza Mousavi (2012): Integrating Model-Based and Constraint-Based Testing Using SpecExplorer. In: ISSRE Workshops. IEEE, pp. 219–224, doi:10.1109/ISSREW.2012.88. Available at http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6403648.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org