Static Analysis of Functional Programs

In this paper, the static analysis of programs in the functional programming language Miranda* is described based on two graph models. A new control-flow graph model of Miranda definitions is presented, and a model with four classes of callgraphs. Standard software metrics are applicable to these models. A Miranda front end for Prometrix, ¿, a tool for the automated analysis of flowgraphs and callgraphs, has been developed. This front end produces the flowgraph and callgraph representations of Miranda programs. Some features of the metric analyser are illustrated with an example program. The tool provides a promising access to standard metrics on functional programs

Material Thermal Inputs of Iowa Materials for MEPDG, 2011

The thermal properties of concrete materials, such as coeffi cient of thermal expansion (CTE), thermal conductivity, and heat capacity, are required by the MEPDG program as the material inputs for pavement design. However, a limited amount of test data is available on the thermal properties of concrete in Iowa. The default values provided by the MEPDG program may not be suitable for Iowa concrete, since aggregate characteristics have signifi cant infl uence on concrete thermal properties

Media Usage in Post-Secondary Education and Implications for Teaching and Learning

The Web 2.0 has permeated academic life. The use of online information services in post-secondary education has led to dramatic changes in faculty teaching methods as well as in the learning and study behavior of students. At the same time, traditional information media, such as textbooks and printed handouts, still form the basic pillars of teaching and learning. This paper reports the results of a survey about media usage in teaching and learning conducted with Western University students and instructors, highlighting trends in the usage of new and traditional media in higher education by instructors and students. In addition, the survey comprises part of an international research program in which 20 universities from 10 countries are currently participating. Further, the study will hopefully become a part of the ongoing discussion of practices and policies that purport to advance the effective use of media in teaching and learning

Control, Process Facilitation, and Requirements Change in Offshore Requirements Analysis: The Provider Perspective

Process, technology, and project factors have been increasingly driving organizations to offshore early software development phases, such as requirements analysis. This emerging trend necessitates greater control and process facilitation between client and vendor sites. The effectiveness of control and facilitation has, however, not been examined within the context of requirements analysis and change. In this study, we examine the role of control and facilitation in managing changing requirements and on success of requirements gathering in the Indian offshore software development environment. Firms found that control by client-site coordinators had a positive impact on requirements analysis success while vender site-coordinators did not have similar influence. Process facilitation by client site-coordinators affected requirements phase success indirectly through control. The study concludes with recommendations for research and practice

The Use of Geographical Information Systems in the Urban Communes of Łódź Metropolitan Area

The article presents the results of pilot studies carried out in the cities of Łódź Metropolitan Area. The study concerned the use of geographical information system by the employees of offices of these cities. The interest in the subject of GIS in Polish urban communes results from the assumptions of the EU INSPIRE Directive and the necessity of its implementation in the basic units of territorial division of Poland. The aim of the research was the analysis of the impact of GIS on the sphere of the public participation in the process of local management and the possible use of GIS in the decision making in communes. Research showed what kind of software was used in analyzed communes

Designing Scalable Business Models

Digital business models are often designed for rapid growth, and some relatively young companies have indeed achieved global scale. However despite the visibility and importance of this phenomenon, analysis of scale and scalability remains underdeveloped in management literature. When it is addressed, analysis of this phenomenon is often over-influenced by arguments about economies of scale in production and distribution. To redress this omission, this paper draws on economic, organization and technology management literature to provide a detailed examination of the sources of scaling in digital businesses. We propose three mechanisms by which digital business models attempt to gain scale: engaging both non- paying users and paying customers; organizing customer engagement to allow self- customization; and orchestrating networked value chains, such as platforms or multi-sided business models. Scaling conditions are discussed, and propositions developed and illustrated with examples of big data entrepreneurial firms