References

  1. Peter B. Andrews (1986): An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Academic Press Professional, Inc., San Diego, CA, USA.
  2. Manfred Broy, Franz Huber & Bernhard Schätz (1999): AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. Informatik Forschung und Entwicklung 14, pp. 121–134, doi:10.1007/s004500050132.
  3. Manfred Broy & Ketil Stølen (2001): Specification and Development of Interactive Systems - Focus on Streams, Interfaces, and Refinement. Monographs in Computer Science. Springer, doi:10.1007/978-1-4613-0091-5.
  4. Pavol Cerný, Martin Chmelik, Thomas A. Henzinger & Arjun Radhakrishna (2014): Interface simulation distances. Theor. Comput. Sci. 560, pp. 348–363, doi:10.1016/j.tcs.2014.08.019.
  5. Pavol Cerny, ThomasA. Henzinger & Arjun Radhakrishna (2010): Simulation Distances. In: Paul Gastin & François Laroussinie: CONCUR 2010 - Concurrency Theory, Lecture Notes in Computer Science 6269. Springer Berlin Heidelberg, pp. 253–268, doi:10.1007/978-3-642-15375-4_18.
  6. Marsha Chechik, Benet Devereux, Steve Easterbrook & Arie Gurfinkel (2003): Multi-valued Symbolic Model-checking. ACM Trans. Softw. Eng. Methodol. 12(4), pp. 371–408, doi:10.1145/990010.990011.
  7. Alan M. Davis (1988): A Comparison of Techniques for the Specification of External System Behavior. Commun. ACM 31(9), pp. 1098–1115, doi:10.1145/48529.48534.
  8. Moritz Eysholdt & Heiko Behrens (2010): Xtext: implement your language faster than the quick and dirty way. In: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion. ACM, pp. 307–309, doi:10.1145/1869542.1869625.
  9. G. Hackenberg, M. Irlbeck, V. Koutsoumpas & D. Bytschkow (2012): Applying formal software engineering techniques to smart grids. In: Software Engineering for the Smart Grid (SE4SG), 2012 International Workshop on, pp. 50–56, doi:10.1109/SE4SG.2012.6225719.
  10. Georg Hackenberg, Maximilian Irlbeck, Vasileios Koutsoumpas & Denis Bytschkow (2014): A Rapid Prototyping Approach for Smart Energy Systems Based on Partial System Models. In: Computer Software and Applications Conference Workshops (COMPSACW), 2014 IEEE 38th International, pp. 596–601, doi:10.1109/COMPSACW.2014.100.
  11. Anthony Hall & Roderick Chapman (2002): Correctness by Construction: Developing a Commercial Secure System. IEEE Software 19(1), pp. 18–25, doi:10.1109/52.976937.
  12. Thomas A. Henzinger & Jan Otop (2014): Model Measuring for Hybrid Systems. In: Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, HSCC '14. ACM, New York, NY, USA, pp. 213–222, doi:10.1145/2562059.2562130.
  13. Jonathan Jacky (1996): The Way of Z: Practical Programming with Formal Methods. Cambridge University Press, New York, NY, USA, doi:10.1017/CBO9780511574924.
  14. Rudolf Kruse, Joan E. Gebhardt & F. Klowon (1994): Foundations of Fuzzy Systems, 1st edition. John Wiley & Sons, Inc., New York, NY, USA.
  15. Marta Kwiatkowska, Gethin Norman & David Parker (2004): Probabilistic symbolic model checking with PRISM: a hybrid approach. International Journal on Software Tools for Technology Transfer 6(2), pp. 128–142, doi:10.1007/s10009-004-0140-2.
  16. Luqi & Joseph A Goguen (1997): Formal methods: promises and problems. Software, IEEE 14(1), pp. 73–85, doi:10.1109/52.566430.
  17. C. Matthews (2002): Fuzzy concepts and formal methods: a sample specification for a fuzzy expert system. In: Fuzzy Systems, 2002. FUZZ-IEEE'02. Proceedings of the 2002 IEEE International Conference on 2, pp. 1150–1155, doi:10.1109/FUZZ.2002.1006666.
  18. Chris Matthews & PaulA. Swatman (2000): Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z. In: ZB 2000: Formal Specification and Development in Z and B, Lecture Notes in Computer Science 1878. Springer Berlin Heidelberg, pp. 491–510, doi:10.1007/3-540-44525-0_29.
  19. Philipp Neubeck (2012): A Probabilitistic Theory of Interactive Systems. Dissertation. Technische Universität München, München.
  20. Tobias Nipkow, Lawrence C. Paulson & Markus Wenzel (2002): Isabelle/HOL — A Proof Assistant for Higher-Order Logic. LNCS 2283. Springer.
  21. Klaus Pohl, Harald Hönninger, Reinhold Achatz & Manfred Broy (2012): Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology. Springer, doi:10.1007/978-3-642-34614-9.
  22. Ian Sommerville (2006): Software Engineering: (8th Edition) (International Computer Science). Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA.
  23. Maria Spichkova (2008): Focus on Isabelle: From specification to verification. Department of Electrical and Computer Engineering, Concordia University, Tech. Rep.
  24. L. A. Zadeh (1965): Fuzzy sets. Information and control 8(3), pp. 338–353, doi:10.1016/S0019-9958(65)90241-X.
  25. L. A. Zadeh (1999): Fuzzy Sets As a Basis for a Theory of Possibility. Fuzzy Sets Syst. 100, pp. 9–34, doi:10.1016/S0165-0114(99)80004-9.
  26. L.A Zadeh (1977): Possibility theory vs. probability theory in decision analysis. In: Decision and Control including the 16th Symposium on Adaptive Processes and A Special Symposium on Fuzzy Set Theory and Applications, 1977 IEEE Conference on, pp. 1267–1269, doi:10.1109/CDC.1977.271764.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org