Design of formal languages and interfaces: "Formal" does not mean "unreadable"

Emerging Research and Trends in Interactivity and the Human-Computer Interface

Volumn , Issue , 2013, Pages 301-314

  Spichkova, Maria ^a  

^a RMIT UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES;

ENGINEERING PSYCHOLOGY; SPECIFICATION PHASE; SYSTEM DEVELOPMENT PROCESS; TOOL SUPPORT;

FORMAL METHODS;

EID: 84902354683     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.4018/978-1-4666-4623-0.ch015     Document Type: Chapter

References (57)

1. Apostolopoulos, G., Peris, V., & Saha, D. (1999). Transport layer security: How much does it really cost? In Proceedings of the Conf. on Computer Communications (IEEE Infocom). IEEE Computer Society.
2. Broy, M., & Stølen, K. (2001). Specification and development of interactive systems: Focus on streams, interfaces, and refinement. Berlin: Springer. doi:10.1007/978-1-4613-0091-5.
3. Constantine, L.) (2003). Canonical abstract prototypes for abstract visual and interaction design. In Proceedings of Interactive Systems: Design, Specification, and Verification (Vol. 2844). Berlin: Springer. doi:10.1007/978-3-540-39929-2_1.
4. Constantine, L. L., & Lockwood, L. A. D. (1999). Software for use: A practical guide to the models and methods of usage-centered design. Reading, MA: Addison-Wesley.
5. Constantine, L. L., & Lockwood, L. A. D. (2002). Usage-centered engineering for web applications. In Proceedings of IEEE Software. IEEE.
6. Dhillon, B. (2004). Engineering usability: Fundamentals, applications, human factors, and human error. American Scientific Publishers.
7. Feilkas, M., Hölzl, F., Pfaller, C., Rittmann, S., Schätz, B., Schwitzer, W., et al. (2011). A refined top-down methodology for the development of automotive software systems-The keylessentry system case study (Technical Report TUM-I1103). Munich, Germany: TU München.
8. Feilkas, M., Fleischmann, A., Hölzl, F., Pfaller, C., Scheidemann, K., Spichkova, M., & Trachtenherz, D. (2009). A top-down methodology for the development of automotive software (Technical Report TUM-I0902). Munich, Germany: TU München.
9. Følstad, A., Law, E., & Hornbæk, K. (2012). Analysis in practical usability evaluation: A survey study. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. ACM.
10. Fuchs, E. N., & Schwitter, R. (1995). Specifying logic programs in controlled natural language. In Proceedings CLNLP 95, ELSNET/COMPULOGNET/ EAGLES Workshop on Computational Logic for Natural Language Processing. Edinburgh, UK: University of Edinburgh.
11. Fuchs, E. N., & Schwitter, R. (2007). Web-annotations for humans and machines. In Proceedings of the 4th European Semantic Web Conference (ESWC 2007), (LNCS). Berlin: Springer.
12. Heumann, J. (2002). Use cases, usability requirements, and user interfaces. In Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2002). ACM.
13. Huber, F., Schätz, B., Schmidt, A., & Spies, K.) (1996). AutoFocus-A tool for distributed systems specification. In Proceedings of of FTRTFT'96, (LNCS) (Vol. 1135). Berlin: Springer.
14. Hölzl, F., & Spichkova, M. & Trachtenherz. D. (2010). Safety-critical system development methodology (Technical Report TUM-I1020). Munich, Germany: TU München.
15. Klare, G. R. (2000). Readable computer documentation. ACM Journal of Computer Documentation, 24(3), 148-168. doi:10.1145/344599.344645.
16. Kuhn, T. (2010). Controlled English for knowledge representation. (PhD Thesis). University of Zurich, Zurich, Switzerland.
17. Leuxner, C., Sitou, W., & Spanfelner, B.(2010). A formal model for work flows. In Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Method (pp. 135-144). IEEE.
18. Leveson, N. G., & Turner, C. S. (1993). An investigation of the therac-25 accidents. IEEE Computer, 26(7), 18-41. doi:10.1109/MC.1993.274940.
19. Macias, B., & Pulman, S. (1993). Natural language processing for requirements specifications. In F. Redmill, & T. Anderson (Eds.), Safety-Critical Systems, Current Issues, Techniques and Standards. London: Chapman & Hall.
20. Miller, E. (1987). The therac-25 experience. In Proceedings of the Conf. State Radiation Control Program Directors. IEEE.
21. Redmill, F., & Rajan, J. (1997). Human factors in safety-critical systems. London: Butterworth-Heinemann.
22. Schätz, B.(2004). Mastering the complexity of reactive systems: The AUTOFOCUS approach. In Formal Methods for Embedded Distributed Systems: How to Master the Complexity (pp. 215-258). Boston: Kluwer Academic Publishers. doi:10.1007/1-4020-7997-4_7.
23. Shackel, B., & Richardson, S. J. (1991). Human factors for informatics usability. Cambridge, UK: Cambridge University Press.
24. Spichkova, M. (2007). Specification and seamless verification of embedded real-time systems: Focus on isabelle. (PhD Thesis). Munich, Germany: TU München.
25. Spichkova, M. (2011). Architecture: Requirements + decomposition + refinement. Softwaretechnik-Trends, 32(4).
26. Spichkova, M. (2011). Focus on processes (Technical Report TUM-I1115). Munich, Germany: TU München.
27. Spichkova, M. (2012). Component composition: Formal specification and verification of cryptographic properties (Technical Report TUM-I124). Munich, Germany: TU München.
28. Spichkova, M., Hölzl, F., & Trachtenherz, D. (2012). Verified system development with the autofocus tool chain. In Proceedings of the 2nd Workshop on Formal Methods in the Development of Software (WS-FMDS). WS-FMDS.
29. Spichkova, M., Zhu, X., & Mou, D. (2013). Do we really need to write documentation for a system? CASE tool add-ons: Generator+editor for a precise documentation. In Proceedings of the International Conference on Model-Driven Engineering and Software Development (MODELSWARD' 13). MODELSWARD.
30. Volpert, W. (1991). Work design for human development. In C. Floyd et al. (Eds.), Software Development and Reality Construction. Berlin: Springer-Verlag.
31. Wickens, C. D., & Hollands, J. G. (2000). Engineering psychology and human performance. Englewood Cliffs, NJ: Prentice Hall.
32. Abrial, J.-R. (1996). The b-book: Assigning programs to meanings. Cambridge, UK: Cambridge University Press. doi:10.1017/CBO9780511624162.
33. Broy, M. (1991). Towards a formal foundation of the specification and description language SDL. Formal Aspects of Computing, 3(1), 21-57. doi:10.1007/BF01211434.
34. Broy, M., Fox, J., Hölzl, F., Koss, D., Kuhrmann, M., Meisinger, M., & Wild, D. (2007). Serviceoriented modeling CoCoME with focus/autofocus. In The Common Component Modeling Example: Comparing Software Component Models (LNCS)(Vol. 5153, pp. 177-206). Berlin: Springer. doi:10.1007/978-3-540-85289-6_8.
35. Bauer, V., Broy, M., Irlbeck, M., Leuxner, C., Spichkova, M., Dahlweid, M., & Santen, T. (2013). Survey of modeling and engineering aspects of self-adapting & self-optimizing systems (Technical Report TUM-I130307). Munich, Germany: TU München.
36. Campetelli, A., Hölzl, F., & Neubeck, P. (2011). User-friendly model checking integration in model-based development. In Proceedings of International Conference on Computer Applications in Industry and Engineering. IEEE.
37. Dekker, S. (2006). The field guide to understanding human error (2nd ed.). Lund, Sweden: Lund University School of Aviation.
38. Dekker, S. (2011). Drift into failure. London: Ashgate.
39. DeMarco, T. (1979). Structured analysis and system specification. Englewood Cliffs, NJ: Prentice Hall.
40. Dhillon, B. S. (2009). Human reliability, error, and human factors in engineering maintenance: with reference to aviation and power generation. Boca Raton, FL: CRC Press. doi:10.1201/9781439803844.
41. Dhillon, B. S. (2012). Safety and human error in engineering systems. Boca Raton, FL: CRC Press. doi:10.1201/b12534.
42. Fuchs, N. E., & Schwertel, U. (2003). Reasoning in attempt to controlled English. In F. Bry, N. Henze, & J. Maluszynski (Eds.), Principles and Practice of Semantic Web Reasoning, International Workshop PPSWR (LNCS), (Vol. 2901). Berlin: Springer.
43. Kaljurand, K.) (2009). Paraphrasing controlled english texts In Proceedings of the CEUR Workshop CEUR.
44. Klein, C., Prehofer, C., & Rumpe, B. (1997). Feature specification and refinement with state transition diagrams. In P. Dini (Ed.), Fourth IEEE Workshop on Feature Interactions in Telecommunications Networks and Distributed Systems. Boca Raton, FL: IOS-Press.
45. Kuhn, T. Royer, L., Fuchs, N. E., & Schroeder, M. (2006). Improving text mining with controlled natural language: A case study for protein interactions. In U. Leser, B. Eckman, & F. Naumann (Eds.), Proceedings of the 3rd International Workshop on Data Integration in the Life Sciences 2006 (DILS'06), (LNBI). Berlin: Springer.
46. Kuhn, T. (2010). Codeco: A grammar notation for controlled natural language in predictive editors. In Proceedings CEUR Workshop. CEUR.
47. Kuhn, T. (2013). A principled approach to grammars for controlled natural languages and predictive editors. Journal of Logic Language and Information, 22(1). doi:10.1007/s10849-012-9167-z.
48. Morgan, C. (1994). Programming from specifications. Englewood Cliffs, NJ: Prentice Hall.
49. Mosses, P. D. (1997). CoFI: The common framework initiative for algebraic specification and development. In M. Bidoit & M. Dauchet (Eds.), Theory and Practice of Software Development (TAPSOFT '97), 7th International Jiont Conference CAAP/FASE (LNCS), (Vol. 1214). Berlin: Springer.
50. Potter, B., Sinclair, J., & Till, D. (1996). An introduction to formal specification and Z. Englewood Cliffs, NJ: Prentice Hall.
51. Ratiu, D. (2009). Intentional meaning of programs. (PhD Thesis). Munich, Germany: TU München.
52. Schätz, B., & Giese, H. (2007). Models of reactive systems: communication, concurrency, and causality. In H. Giese, G. Karsai, E. Lee, B. Rumpe, & B. Schätz (Eds.), Proceedings of the 2007 International Dagstuhl conference on Modelbased engineering of embedded real-time systems (MBEERTS'07). Berlin: Springer.
53. Schätz, B.) (2011). 10 years model-driven-What did we achieve? In Proceedings of the 2011 Second Eastern European Regional Conference on the Engineering of Computer Based Systems (ECBSEERC '11). IEEE Computer Society.
54. Schwitter, R. (1998). Kontrolliertes Englisch für anforderungsspezifikationen. (PhD thesis). University of Zurich, Zurich, Switzerland.
55. Spichkova, M. (2012). Towards focus on time. In Proceedings of the 12th International Workshop on Automated Verification of Critical Systems (AVoCS'12). AVoCS.
56. Spichkova, M. (Ed.). (2012). Seminar: Human factors in software engineering (Technical Report TUM-I1216). Munich, Germany: TU München.
57. Spivey, M. (1988). Understanding Z: A specification language and its formal semantics. Cambridge, UK: Cambridge University Press.