Computer Integration within Problem Solving Process
- 1 Department of Computer Science, The University of Iowa, Iowa City, USA
Abstract
The complexity of current software tools increases with the complexity of problem solving tasks they are designed to assist and are mainly dedicated to computer educated people. On the other hand current computer technology is deeply involved in people’s everyday life. This gap deepens and stresses software technology and computer education. The purpose of this paper is to discuss the feasibility of a new computer based problem solving methodology based on software tools that can be manipulated through the use of natural language. By computational emancipation the natural language becomes a family of non-ambiguous languages. This means that every problem solver uses a non-ambiguous natural language, termed here as Domain Algorithmic Language, DAL. Here we show how to develop software tools dedicated to the problem domain and illustrate the methodology we propose with the software tools required by teaching high school algebra.
- Rus, T. (2013) Computer Integration within Problem Solving Process. Proceedings of RoEduNet 11th International Conference, Sinaia, 17-19 January 2013, 7-19.
- Falbo, R.A. (2016) An Ontology Pattern Language for Service Modeling. Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, 4-8 April 2016, 321-326. https://doi.org/10.1145/2851613.2851840
- Rus, T. (2016) Milestones for Computing Future. Open Journal of Software Engineering and Applications, 9, 52-56. https://doi.org/10.4236/jsea.2016.92003
- Software as a Service (SAAS). en.wikipedia.org/wiki/Software as a service, 2010.
- Srinivasan, N. and Getov, V. (2011) Navigating the Cloud Computing Landscape—Technologies, Services, and Adopters. Computer, 44, 22-23. https://doi.org/10.1109/MC.2011.91
- Polya, G. (1973) How to Solve It. Second Edition, Princeton University Press, Princeton.
- Rus, T. and Rus, D. (1993) Systems Methodology for Software. World Scientific, Singapore.
- Bui, C.K. (2013) An Evolutional Domain Oriented Approach to Problem Solving Based on Web Service Composition. PhD Thesis, The University of Iowa, Department of Computer Science, Iowa City.
- Sipser, M. (2006) Introduction to the Theory of Computation. Second Edition, Thomson Course Technology, Boston.
- McBride, B. (2004) The Resource Description Framework (RDF) and Its Vocabulary Description Language RDFS. Springer, Berlin, 51-65. https://doi.org/10.1007/978-3-540-24750-0_3
- Kline, G. and Caroll, J. (2004) W3c, Resource Description Framework (RDF): Concepts and Abstract Syntax. http://www.w3.org/TR/rdf-concepts
- Takeuti, G. and Zaring, W. (1971) Introduction to Axiomatic Set Theory. Springer-Verlag, Berlin. https://doi.org/10.1007/978-1-4684-9915-5
- Badder, F., Calvanese, D., McGuinnes, D., Nardi, D. and Patel-Schneider, P. (2005) The Description Logic Handbook. Cambridge University Press, Cambridge.
- McGuinness, D. and van Harmelen, F. (2003) OWL Overview, OWL Web Ontology Language Overview. W3C Proposed Recommendation, 15 December 2003. http://www.w3.org/TR/2003/PR-owl-features-20031215
- Aho, A., Sethi, R. and Ullman, J. (1986) Compilers: Principles, Techniques, and Tools. Addison-Wesley, Boston.
- Guarino, N. and Welty, C. (2000) A Formal Ontology of Properties. In: Dieng, R., Ed., Proceedings of 12th International Conference on Knowledge Engineering and Knowledge Management, Springer Verlag, Berlin, 97-112. https://doi.org/10.1007/3-540-39967-4_8